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
- kaizen-cli Public
Architecture-first AI for software modernization. Plan first, spend against the plan, produce artifacts you can show.
- 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.
- 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.
- libbzip2-rs Public
- libpcap-rs Public
- libogg-rs Public
- libtiff-rs Public
- tractor-frontier 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…