Lean web editor

VS Code extension for the Lean 4 programming language and theorem prover

Lean 4 programming language and theorem prover

An online live.lean-lang.org-style playground for running the Comparator tool

Online Lean Workbench

Comparator-based Lean formal mathematics eval

Plain-text declaration export for Lean 4

Library implementing type inference/checking functionality based on the Lean theorem prover

Run any Linux process in a secure, unprivileged sandbox using Landlock. Think firejail, but lightweight, user-friendly, and baked into the kernel.

A Lean companion to Analysis I

💧 Liquid Tensor Experiment

The math library of Lean 4

Grokking the Coding Interview: Patterns for Coding Questions Alternative

TopoBench is a Python library designed to standardize benchmarking and accelerate research in Topological Deep Learning

Genetic programming using LLMs

Graphs for Everyone

Implementation for "Mathematical discoveries from program search with large language models".

TerminusDB is a distributed, collaborative database designed for building, sharing, versioning, and reasoning on structured data.

PyGraphistry is a Python library to quickly load, shape, embed, and explore big graphs with the GPU-accelerated Graphistry visual graph analyzer

Python Cellular Sheaf Library

Computations involving Lie groups and harmonic analysis

Spherical CNNs

Euclidean Neural Networks