The math library of Lean 4

Python client to interact with the lean4 language server.

Lean Theorem Prover MCP

SDL3 bindings for Rust

Simple Directmedia Layer

Lean 4 programming language and theorem prover

A recursive screen-space algorithm to render SDFs

Ghostty-based macOS terminal with vertical tabs and notifications for AI coding agents

A collection of formalized statements of conjectures in Lean.

A simple REPL for Lean 4, returning information about errors and sorries.

Godot Engine – Multi-platform 2D and 3D game engine

A Lean tactic for Canonical, a search procedure for terms in dependent type theory.

Example collection for the SDL_GPU API

bluetooth mesh chat, IRC vibes

The Modular Platform (includes MAX & Mojo)

Bend2 - WIP

Port of OpenAI's Whisper model in C/C++

Format Rust code

Support atomic operations on Arc itself

A Rust compiler front-end for IDEs

DSPy: The framework for programming—not prompting—language models

Text to NES-style sound effects and theme songs, powered by Claude 3.7 Sonnet