Lists (1)
Stars
Minimal open-source implementation of AlphaProof [WIP]
A Model Context Protocol server allows to interact with Twitter, enabling posting tweets and searching Twitter.
SIMD-accelerated string operations for Lean 4 via FFI to StringZilla
Accompanying code for "Discovering State-of-the-art Reinforcement Algorithms" Nature publication
Up to 100x faster strings for C, C++, CUDA, Python, Rust, Swift, JS, & Go, leveraging NEON, AVX2, AVX-512, SVE, GPGPU, & SWAR to accelerate search, hashing, sorting, edit distances, sketches, and m…
A Claude Code plugin that automatically captures everything Claude does during your coding sessions, compresses it with AI (using Claude's agent-sdk), and injects relevant context back into future …
A repository for the code snippets that don't fit anywhere else.
Lean 4 port of 'Coq: The World's Best Macro Assembler' - a verified x86 assembler
PPM (Portable Pixmap) DSL for Lean 4 with custom syntax and ProofWidgets integration
Display PNG images in Lean 4 infoview with interactive resize controls
Convoluted proofs of √2 irrationality using Dirichlet's theorem, quadratic reciprocity, and ultrafilters in Lean 4
Git-backed issue tracker in Lean 4 - agent-friendly CLI with JSON output
Levi-Civita numbers for Lean 4 - infinitesimals and automatic differentiation
Type-safe sorry macros for Lean 4 that don't block code generation
Lean 4 hex color syntax with inline VS Code color preview
KJS: A Complete Formal Semantics of JavaScript
💫 Toolkit to help you get started with Spec-Driven Development
Formally proving the security of Fast Reed-Solomon interactive oracle proofs of proximity
⚡ Triton implementation of Clifford algebra neural networks.
Dockerfile linter, validate inline bash, written in Haskell
PoC for agentic Rust code verification autopilot in Lean and Verus
Easily migrate your codebase from one framework or language to another.