A pure-Rust reimplementation of Lean's Comparator built on nanoda.

Type Checking in Lean 4

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

Grammar Based Fuzzing For Lean 4 Prover

A SQL database in Rust: SQLite-compatible, now also speaking Postgres (experimental). The LLVM of databases.

A modern static site generator by the Material for MkDocs team

Simple Raycasting Example in Lean4 using SDL3

コード例で学ぶ Lean 言語

WebAssembly System Interface

Collection of legal threats against good faith Security Researchers; vulnerability disclosure gone wrong. A continuation of work started by @attritionorg

Rust library for OpenAI

💥 Blazing fast terminal file manager written in Rust, based on async I/O.

Python client to interact with the lean4 language server.

Lean Theorem Prover MCP

A "code intepreter" for Lean

aider is AI pair programming in your terminal

MCP Server implementation for Ableton Live OSC control

MCP-NixOS - Model Context Protocol Server for NixOS resources

A dependently-typed tables library, written in Lean 4, based on the Brown Benchmark for Table Types (B2T2).

The WebAssembly Binary Toolkit

Your ultimate guide to setting up Zed with Vim mode, tailored settings, and key bindings for a seamless coding experience

A Lean (4) type checker written in RPython

An unnecessarily tiny implementation of GPT-2 in NumPy.

Code for BLT research paper