nomeata

arbtt

arbtt, the automatic rule-based time-tracker

inspection-testing

Inspection Testing for Haskell

loogle

Mathlib search tool

kaleidogen

Grow procedual art

cabal-plan-bounds

Calculate Haskell dependency ranges from multiple build plans

haskell-bounds-bump-action

Create PR to bump Haskell dependency bounds

lean-wf-induct

haskell-via-sokoban

A haskell tutorial using CodeWorld

lean-calcify

haskell-candid

A candid library for Haskell

badminton-junkies

Badminton Junkies e.V. site

lean-simplc

Experimental local confluence checker for Lean simp lemmas

lean-stage0-audit

lean-trie

equational_theories

A project to map out the relations between different equational theories of Magmas.

lean-constructions

lean-reflection-bench

nixpkgs

Nix Packages collection

aesop

White-box automation for Lean 4

batteries

Standard Library for Lean 4

c-utf8-valid

Single-header UTF-8 validation routines for C

carleson

A formalized proof of Carleson's theorem in Lean

cedar-spec

Definitional implementation of Cedar language and utilities for DRT

colibri-funcup-2024

iCalendar

iCalendar data types, parser, and printer.

lean4

Lean 4 programming language and theorem prover

lean4-ci-test

A copy of the lean4 repository to test changes to the repository and CI setup

lean4lean

Lean 4 kernel / 'external checker' written in Lean 4

leansat

This package provides an interface and foundation for verified SAT reasoning

subverso