Pinned Loading

1. JardarIversen/ainm-2026 JardarIversen/ainm-2026 Public

   Rust 18 14

2. LogosLang LogosLang Public

   A self-hosting systems language where the compiler, types, proofs, and syntax all live in one structure the language can read and rewrite.

   Rust 12

3. Memra Memra Public

   Rust

4. LogosMath LogosMath Public

   The best math program in the Future

   Rust

5. verztable verztable Public

   Port of Verstable from C to Zig. Verstable is one of the leading C/C++ hash table in speed but is quirky to use. With zig's comptime we get rid of the quirkiness and we're left with a generic and r…

   Zig 14

6. Map Map Public

   A Map I made when I was in the military

   C++