tenet

不可替代的团队领袖培养计划

基于 Unicorn 引擎的轻量级 ARM64 动态追踪模拟工具。支持 IDA Pro、生成 Tenet 日志、本地代码模拟、内存转储、寄存器状态追踪和指令级日志记录。

tenet makes it easy and fast to build cms.

A Clojure(Script) library, which helps to create explicit and understandable results to unify and simplify the data flow

Tensorflow implementation of "Small-Footprint Keyword Spotting with Multi-Scale Temporal Convolution"(INTERSPEECH 2020)

Simple reply reddit bot for r/Tenet -> u/TheProtagonistBot

☮️ Don’t try to understand it. Feel it.

The x64dbg plugin for recording traces in Tenet format

Hello Reality! Please, support my productions, if you can! ~ 🩷

Penrose diagrams in core Lean: a box is a matrix, a wire is an index, joining wires sums over it. The zig-zag, transpose, trace and sliding rules proved for every dimension and every matrix. MIT.

An independent reader for restic backups: restic's encryption and pack format proved in Lean 4, re-checked by Tenet. Check, restore and unlock with your password.

X.509 in core Lean: canonical DER, SHA-256 and RSA, and Lean's kernel validating a real certificate chain end to end. MIT.

Prove a function in Lean 4, call it from C#. lean2il re-checks every proof with Tenet, an independent Lean kernel, compiles the kernel terms to .NET IL, and writes the docs from the Lean. With a VS Code extension.

PKCS #7 / CMS signatures (RFC 5652) in core Lean: a checker proved equal to the signing rules, Lean's kernel verifying real signatures, and seven verifiers compared. MIT.

ISP TeNeT API client

AES-256 from FIPS-197 in Lean 4: test vectors, decrypt∘encrypt = id, S-box uniformity 4 and nonlinearity 112, branch number 5, ≥25 active S-boxes in any 4 rounds. Kernel-checked, re-checked by Tenet.

Tenet v26.5.1 autonomous build example: a browser-based tetrimino falling-block puzzle game with React, TypeScript, generated audio, local leaderboard, and recorded Tenet run artifacts.

Markdown-native social posting service with feeds, stars, friends, notifications, admin tools, and Docker Compose.