Pinned Loading

1. perp-options-clob perp-options-clob Public

   perpetuals options central limit order book engine in Rust (zkLighter-style channel matching): the matching core, portfolio margin, oracle defense, funding economics, and liquidation cascade of a p…

   Rust 1

2. magnetar magnetar Public

   Post-quantum RV64I zkVM from standard hashes (SHA-3 + BLAKE3) — the complete Construction-3 protocol in Rust: Virtual Spartan, BinaryTwist/Shout, BinaryRouter, MosaicPCS, ring switching.

   Rust 2 1

3. dsec-rs dsec-rs Public

   Deep Rust reimplementation of DeepSeek Elastic Compute (DSec) — sandbox infrastructure for agentic RL training at scale, with a PufferLib core port

   Rust 5

4. volos-perpetual-options-platform volos-perpetual-options-platform Public

   Perpetual options strategy terminal & trading platform — Rust CLOB matching engine, strategy-level RFQ (25 legs), multi-venue smart order router (Derive/Paradex/Paradigm), 118-strategy catalog, SPA…

   TypeScript 1

5. deepgemm-rs deepgemm-rs Public

   Rust port of DeepGEMM: FP8/FP4 (native Blackwell tcgen05 mxf4)/BF16 GEMM + MoE grouped GEMM + MLA indexer MQA logits for DeepSeek-V4/MiMo inference on B200

   Rust 1

6. flint flint Public

   Cloud sandboxes + agent orchestration — boat.dev-class platform with the prime-agent RLM runtime (persistent kernels, subagents, A2A, goals, heartbeats, factory, MCP) and a full ACP editor bridge (…

   TypeScript