Pinned Loading

1. FX FX Public

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

   Rust

2. crucible crucible Public

   Performant next-gen ML framework

   C++

3. go-brrr go-brrr Public

   Higher level programming analysis toolkit

   Rust

4. nvopen-tools nvopen-tools Public

   Attempt to reverse engineer and document nvidia compiler suite

   C 13

5. z3 z3 Public

   Forked from Z3Prover/z3

   The Z3 Theorem Prover

   C++

6. symbiotic symbiotic Public

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

   Rust