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. 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

3. 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

4. site site Public

   Lean 1

5. zed zed Public

   Forked from zed-industries/zed

   Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

   Rust 1

6. lean4-skills lean4-skills Public

   Forked from cameronfreer/lean4-skills

   Lean 4 theorem proving skill and workflow pack for AI coding agents

   Shell 1