Future Present Labs

Popular repositories Loading

1. swarf swarf Public

   Write English. Make chips.

   Rust 4

2. mia-eurorack mia-eurorack Public

   Forked from pichenettes/eurorack

   MIA - Mutable Instruments Eurorack modules

   C++ 4 1

3. alchemy-template-rust alchemy-template-rust Public

   Forked from hermetic-modular/alchemy-template

   A Template for an Alchemy Labs firmware that calls out to Rust.

   Rust 2

4. ns-verify ns-verify Public

   Future Present Labs Continuous Verification Bureau — independent Lean kernel verification of the 2026 Navier-Stokes / Euler resolutions, at pinned upstream SHAs. Trust the kernel, not the credentials.

   Shell 2

5. FuturePresentLabs FuturePresentLabs Public

   Software Development & Mechatronics Consultancy

   1

6. agent-skills agent-skills Public

   Monorepo for Future Present Labs agent skills

   Python 1