tenet 开源项目推荐（20 个）

willin /leader.js.cool

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

chenxvb /Unicorn-Trace

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

Garbrandt /tenet

tenet makes it easy and fast to build cms.

lazy-cat-io /tenet

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

Interlagos /TENet-kws

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

Mimic-Bot-Society /TheProtagonistBot

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

dangerousmanjay /pytenet

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

keithadler /penrose-lean

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.

imakshat47 /Tenet-API

该项目在 GitHub 上没有填写描述

gr0grig /x64dbg-tenet

The x64dbg plugin for recording traces in Tenet format

keithadler /lean-to-dot-net

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.

EGKrb /x64dbg-traceexport

Convert x64dbg execution traces (.trace64/.trace32) to JSON/CSV (Tenet planned) — the TraceExport feature as a standalone x64dbg plugin candidate. See x64dbg/x64dbg#4006.

arepodesir /arepodesir

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

keithadler /lean-x509

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

keithadler /lean-pkcs7cms

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.

zen-tools /py-tenet

ISP TeNeT API client

keithadler /lean-aes

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.

keithadler /lean-restic

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.

JeiKeiLim /tenet-example-tetrimino

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.

JeiKeiLim /markline

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