Skip to content

@SurmountSystems Surmount Systems

Change the repository type filter

All

    Repositories list

    35 repositories

    • grok-oss

      Public
      Unofficial open source fork of SpaceXAI's coding agent harness and TUI. Fullscreen, mouse interactive, extensible. (PRs accepted here)
      rusttuigrok
      rusttuigroktui-rsagentic-harnessgrok-buildgrok-build-cli
      Rust
      •
      Apache License 2.0
      •4.9k•4•26•0•Updated Aug 20, 2026Aug 20, 2026

    • lean4-skills

      Public
      Lean 4 theorem proving skill and workflow pack for AI coding agents
      Shell
      •
      MIT License
      •44•0•0•0•Updated Aug 19, 2026Aug 19, 2026

    • site

      Public
      HTML
      •0•1•0•0•Updated Aug 19, 2026Aug 19, 2026

    • s4

      Public
      Surmount Systems Singularity Simulation
      Rust
      •
      The Unlicense
      •0•0•0•0•Updated Aug 17, 2026Aug 17, 2026

    • zed

      Public
      Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
      Rust
      •
      Other
      •10k•1•0•0•Updated Aug 17, 2026Aug 17, 2026

    • specs

      Public
      Surmount miscellaneous technical specifications
      Lean
      •
      Other
      •0•1•0•0•Updated Aug 17, 2026Aug 17, 2026

    • colibri

      Public
      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
      •
      Apache License 2.0
      •2.8k•3•0•0•Updated Aug 17, 2026Aug 17, 2026

    • surmount-server

      Public
      Self-hosted server for Surmount Systems
      Rust
      •
      Other
      •0•1•0•0•Updated Aug 8, 2026Aug 8, 2026

    • wild-child

      Public
      A provably faster linker
      Rust
      •
      Apache License 2.0
      •136•0•0•0•Updated Aug 4, 2026Aug 4, 2026

    • bitcoin-core

      Public
      Bitcoin Core integration/staging tree
      C++
      •
      MIT License
      •39k•0•0•0•Updated Aug 1, 2026Aug 1, 2026

    • stalwart

      Public
      All-in-one Mail & Collaboration server. Secure, scalable and fluent in every protocol (IMAP, JMAP, SMTP, CalDAV, CardDAV, WebDAV).
      Rust
      •893•0•0•0•Updated Jul 29, 2026Jul 29, 2026

    • secp256k1

      Public
      Optimized C library for EC operations on curve secp256k1
      C
      •
      MIT License
      •1.2k•0•0•0•Updated Jul 23, 2026Jul 23, 2026

    • dragon-npu

      Public
      🐉 Revolutionary NPU framework for Linux | 24,988 FPS face recognition | AMD XDNA support | World's first complete NPU stack
      Python
      •
      MIT License
      •6•0•0•0•Updated Jul 21, 2026Jul 21, 2026

    • headroom

      Public
      Compress tool outputs, logs, files, and RAG chunks before they reach the LLM. 60-95% fewer tokens, same answers. Library, proxy, MCP server.
      Python
      •
      Apache License 2.0
      •5.2k•0•0•0•Updated Jul 20, 2026Jul 20, 2026

    • awesome-unencumbered-software

      Public
      A collaborative registry of awesome unencumbered public-domain software projects.
      Ruby
      •
      The Unlicense
      •14•0•0•0•Updated Jul 15, 2026Jul 15, 2026

    • bitcoin

      Public
      Bitcoin Swords
      C++
      •
      MIT License
      •39k•0•0•0•Updated Jul 8, 2026Jul 8, 2026

    • bao-tree

      Public
      An implementation of BLAKE3 verified streaming
      Rust
      •
      Apache License 2.0
      •11•0•0•0•Updated Jul 6, 2026Jul 6, 2026

    • vibe-palace

      Public
      Go
      •
      Other
      •1•0•0•0•Updated Jun 24, 2026Jun 24, 2026

    • rusty-can

      Public
      Rust
      •
      Apache License 2.0
      •1•0•0•0•Updated Jun 22, 2026Jun 22, 2026

    • nix-bitcoin

      Public
      A collection of Nix packages and NixOS modules for easily installing full-featured Bitcoin nodes with an emphasis on security.
      Nix
      •
      MIT License
      •151•0•0•0•Updated May 20, 2026May 20, 2026

    • tokei

      Public
      Count your code, quickly.
      Rust
      •
      Other
      •698•0•0•0•Updated May 6, 2026May 6, 2026

    • pqconnect

      Public
      PQConnect - A new easy-to-install layer of Internet security (git mirror)
      Python
      •
      Other
      •2•0•0•0•Updated May 3, 2026May 3, 2026

    • index-crates-cooldown

      Public
      Rust
      •
      Apache License 2.0
      •2•0•0•0•Updated Apr 24, 2026Apr 24, 2026

    • gabriel-v3

      Public
      Rust
      •1•0•5•1•Updated Mar 12, 2025Mar 12, 2025

    • rust-bitcoin

      Public
      Rust Bitcoin library
      Rust
      •
      Creative Commons Zero v1.0 Universal
      •1k•0•0•0•Updated Dec 6, 2024Dec 6, 2024

    • 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 …
      Rust
      •2•7•12•5•Updated Oct 13, 2024Oct 13, 2024

    • ApresSQI

      Public
      Code accompanying the paper "ApresSQI: Extra Fast Verification for SQIsign Using Extension-Field Signing".
      Python
      •
      Other
      •1•0•0•0•Updated Jun 17, 2024Jun 17, 2024

    • rust-secp256k1

      Public
      Rust language bindings for Bitcoin secp256k1 library.
      C
      •
      Creative Commons Zero v1.0 Universal
      •318•0•0•0•Updated Jun 11, 2024Jun 11, 2024

    • pybtc

      Public
      Python
      •
      MIT License
      •2•0•0•0•Updated Jun 9, 2024Jun 9, 2024

    • awesome-uncopyright

      Public
      Curated list of all things public domain.
      Creative Commons Zero v1.0 Universal
      •36•0•0•0•Updated May 30, 2024May 30, 2024
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.