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. crucible-notes crucible-notes Public

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

   Python 58 14

4. TheArtisanAI/artisan-upscaler TheArtisanAI/artisan-upscaler Public

   V2 Incoming!

   Python

5. go-brrr go-brrr Public

   Higher level programming analysis toolkit

   Rust 1

6. symbiotic symbiotic Public

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

   Rust