Surmount Systems

Popular repositories Loading

1. gabriel gabriel Public

   'While I, Daniel, was watching the vision and trying to understand it, there before me stood one who looked like a man. And I heard a man’s voice from the Ulai calling, “Gabriel, tell this man the …

   Rust 7 2

2. systems-lean systems-lean Public

   Freestanding high assurance Lean 4 implemented with no runtime GC and linear type multiplicities, compiles AOT to CompCert C

   Lean 7 1

3. grok-oss grok-oss Public

   Forked from xai-org/grok-build

   Unofficial open source fork of SpaceXAI's coding agent harness and TUI. Fullscreen, mouse interactive, extensible. (PRs accepted here)

   Rust 4

4. colibri colibri Public

   Forked from JustVugg/colibri

   Run GLM-5.2 (744B MoE) on a 25GB-RAM consumer machine — pure C, zero deps, experts streamed from disk. Tiny engine, immense model. 🐦

   C 3

5. beastdb beastdb Public

   High-assurance, high-performance embedded KV store in Systems Lean / Nix (wip)

   Lean 2

6. specs specs Public

   Surmount miscellaneous technical specifications

   Lean 2