Pinned Loading

1. Thetis26-public Thetis26-public Public

   C++ library for lock-less/wait-free/networking

   C++ 2 1

2. rust-secure-memory-public rust-secure-memory-public Public

   Memory enclave example with a demo app (encrypted file editor)

   Makefile 1

3. numerical-algorithms numerical-algorithms Public

   Lean 1

4. fpga-meta-compiler-public fpga-meta-compiler-public Public

   Meta Compiler for FGPA development, mainly aimed at hardware acceleration

   Rust 1

5. leanlift leanlift Public

   Formal tool for dev. of mission critical systems.

   Rust

6. simple-tools simple-tools Public

   Tools and libraries for local agents (or frontier agents with less tokens/faster models)