Popular repositories Loading

1. Block-Level-Transcoder Block-Level-Transcoder Public

   CLT upgrades for Qwen3.5

2. SAE-G SAE-G Public

   Generalized SAE

   Rust

3. mech-lab mech-lab Public

   Mechanistic interpretability that ships: MAIR-backed evidence bundles, receipts, and comparison packets.

   Python 1

4. axiom-lean-engine axiom-lean-engine Public

   Forked from AxiomMath/axiom-lean-engine

   Lean evaluation and metaprogramming utilities for provers.

   Python

5. AXLE-artifacts AXLE-artifacts Public

   Forked from AxiomMath/axiom-lean-engine

   AXLE-compatible proof outputs. Portable artifact specification and tooling for including deterministic .axle bundles, Merkle DAG content addressing, structural verification, and receipt attestation.

   Rust

6. BIL-Kernel BIL-Kernel Public

   Forked from AxiomMath/axiom-lean-engine

   AXLE-compatible Rust kernel for bankable AI assurance evidence.

   Rust