Anderssorby

SDL.lean

SDL2 bindings for lean

Nix.lean

Nix expressions and derivations in lean (in development)

hextech

A turn based dynamic strategy game written in Haskell (unfinished)

OpenSSL.lean

OpenSSL bindings for Lean

Cli.lean

A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.

cryptpad

Collaborative office suite, end-to-end encrypted and open-source.

DigitalExtinction

A 3D RTS game implemented in Rust.

elm-datepicker

A reusable date picker component in Elm.

forest

🌲 Rust Filecoin Node Implementation

helix

A post-modern modal text editor.

Html.lean

Html processing for lean based on doc-gen4

Http.lean

Basic Http functionality in Lean (unfinished)

indigo

Go source code for Bluesky's atproto services.

itch

🎮 The best way to play your itch.io games

lake

Lean 4 build system and package manager with configuration files written in Lean.

lean4

Lean 4 programming language and theorem prover

LeanPlay

A play project using lean4

lurk-rs

mathlib4

Work in progress mathlib port for lean 4

Megaparsec.lean

Lean 4 port of Megaparsec

nale

Nix + Lean = Nale

nickel-nix

An experimental Nix toolkit to use nickel as a language for writing nix packages, shells and more.

Quantum.lean

Quantum computing with Lean

SciLean

Scientific computing in Lean 4

Socket.lean

A toy implementation of socket programming for Lean 4.

spectral

std4

Standard Library for Lean 4

straume

State-of-the-art streams for Lean 4

yatima-lang

A verifiable computing language

YatimaStdLib.lean