Pinned Loading

1. FX FX Public

   FX is a compiler, proof assistant and a programming language built on graded dependent type theory

   Lean 40 1

2. crucible crucible Public

   Performant next-gen ML framework

   C++ 1

3. go-brrr go-brrr Public

   Higher level programming analysis toolkit

   Rust 1

4. crucible-notes crucible-notes Public

   Reverse engineering notes. Personal reference only. Everything here is a best-guess reconstruction.

   Python 48 8

5. z3 z3 Public

   Forked from Z3Prover/z3

   The Z3 Theorem Prover

   C++ 1

6. symbiotic symbiotic Public

   High-resolution performance profiling with hardware PMU counters, eBPF, and tracing integration

   Rust