PinnedLoading

1. micro-mittenmicro-mittenPublic

   You might not need your garbage collector

   Rust 540 11

2. trait-evaltrait-evalPublic

   We all know Rust's trait system is Turing complete, so tell me, why aren't we exploiting this???

   Rust 366 8

3. obakeobakePublic

   Versioned data-structures for Rust

   Rust 203 9

4. rust-lang/rustrust-lang/rustPublic

   Empowering everyone to build reliable and efficient software.

   Rust 102k 13.2k

5. frex-project/agda-fragmentfrex-project/agda-fragmentPublic

   Algebraic proof discovery in Agda

   Agda 32 2

6. antidotfilesantidotfilesPublic

   `nix-darwin` configuration

   Emacs Lisp