Functional Programming in Lean

💧 Liquid Tensor Experiment

Proof of Arrow's Impossibility Theorem

plasTeX plugin to build formalization blueprints.

Definitional implementation of Cedar language and utilities for DRT

Mathlib search tool

Document Generator for Lean 4

Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

A new Categories library for Agda

Lean4 Logic Formalization

A simple raytracer written in Lean 4

Scientific computing in Lean 4

A verification toolchain for Rust programs

Formalizing results about the Mandelbrot set in Lean

A project to digitalise results from high energy physics into Lean.

LEAN4 formalization of the undergraduate lecture "Formale Systeme" at TU Dresden (WIP)

Proving theorems about regular languages and DFAs in Lean

The Lean 4 web editor

A custom launcher for Minecraft that allows you to easily manage multiple installations of Minecraft at once (Fork of MultiMC)

An attempt to build a working, locally-running cheap version of Generative Agents: Interactive Simulacra of Human Behavior

Python bindings for llama.cpp

Tool for data extraction and interacting with Lean programmatically.

A natural language interface for computers

Port https://github.com/madvorak/grammars/ to Lean 4 (wip)

aider is AI pair programming in your terminal

A massively parallel, high-level programming language