Pinned Loading

1. lean4 lean4 Public

   Forked from leanprover/lean4

   Lean 4 programming language and theorem prover

   Lean 4

2. proof_forge proof_forge Public

   Lean 4 multi-target compiler: one portable program source → EVM, Solana, NEAR, Noir with fail-closed semantics (proof-forge-next)

   Lean 7 1

3. lean-agent lean-agent Public

   Lean 4 coding agent with native libcurl FFI, OpenAI-compatible providers, JSONL sessions, REPL, and OMP-style project extensions.

   Lean

4. zig2lean zig2lean Public

   Lean

5. classic_system classic_system Public

   Interactive I Ching / Yijing systems-thinking atlas for Chinese classics, hexagrams, and digital humanities.

   TypeScript 1

6. hyper-grok-build hyper-grok-build Public

   Forked from xai-org/grok-build

   SpaceXAI's coding agent harness and TUI. Fullscreen, mouse interactive, extensible.

   Rust 7 1