Popular repositories Loading
-
-
-
benchmarks
benchmarks PublicArchitectural-weakness fingerprinting for AI software-engineering agents
Python
-
kaizen-cli
kaizen-cli PublicArchitecture-first AI for software modernization. Plan first, spend against the plan, produce artifacts you can show.
Python
-
homebrew-tap
homebrew-tap PublicHomebrew tap for kaizen-cli — architecture-driven modernization
Ruby
-
Repositories
- libtiff-rs Public
- libbzip2-rs Public
- libbzip2-contract-honored-rs Public
bzip2 1.0.8 — the contract-honored drop-in: caller allocator + preserved aliasing + C ABI, boundary unsafe retained and proven Miri-sound (Stacked + Tree Borrows). Single-block today; multi-block is the growing frontier.
- tractor-frontier Public
- qoi-safe-c Public
Three roads to a memory-safe QOI decoder: safe-Rust + hardened-C, differentially checked byte-identical to the reference over a valid+hostile corpus
- tractor-cost-smart Public
- libpcap-rs Public
- PUBLIC-Test-Corpus Public Forked from DARPA-TRACTOR-Program/PUBLIC-Test-Corpus
Working fork of the DARPA TRACTOR public corpus — exercising a faithful, differentially-certified C→Rust translation pipeline.
- libogg-rs Public
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…