fgdorais

lean4-parser

Parser Combinator Library for Lean 4

BibtexQuery

A simple command-line bibtex query utility written in Lean 4

leanCurl

Lean 4 bindings to libcurl

regex

A PCRE2 compatible regular expression engine written in Lean 4.

extra4

Supplements to the Lean 4 Standard Library

lean4-ascii

LeanColls

WIP collections library for Lean 4

lean4-unicode-basic

Basic Unicode support for Lean 4

http

Basic HTTP definitions and parsing for Lean

C-parsing-for-Lean4

A parser for ANSI C, in Lean4.

batteries

The "batteries included" extended library for the Lean programming language and theorem prover

LeanSAT

SDL.lean

SDL2 bindings for lean

iheartla

compilable markdown for linear algebra

Unicode.lean

SciLean

Scientific computing in Lean 4

lean4-cli

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

lean-to

Jupyter notebook for the Lean4 programming language

lean4-metaprogramming-book

Socket.lean

A toy implementation of socket programming for Lean 4.

Pecan

An automated theorem prover that uses Büchi automata.

kitten

A statically typed concatenative systems programming language.

factor

Factor programming language

Coq-HoTT

A Coq library for Homotopy Type Theory

lean4

Lean 4 programming language and theorem prover