emeinhardt

barrier

Open-source KVM software

oceanix

OpenCore bootloader manager with Nix

lamr

Logic and Mechanized Reasoning

nale

Nix + Lean = Nale

lean4-karray

LeanPythonRaw

Raw Lean4 bindings to python C-API

SciLean

Scientific computing in Lean 4

Lean4FFI

Minimal Working Sample of Lean 4 calling C++ functions with Foreign Function Interface (FFI)

LeanREPL

lean4-samples

Code samples for Lean 4

LeanColls

WIP collections library for Lean 4

bidirectional-demo

A demo implementation of a simple bidirectional type-checker in Lean 4.

lean4-itertools

A Lean 4 library for iterators.

folktale

Knights and Knaves logic puzzles formalized in Lean 4.

YatimaGraphLib

Extracted Yatima's Lean4 Graph as a generic library

Parsec.lean

Parser combinators for Lean

Nix.lean

Nix expressions and derivations in lean (in development)

csv

CSV for Lean 4.

NumLean

A Lean 4 package for heavy numerical computations

Saturn

Experiments with SAT solvers with proofs in Lean 4

Unicode.lean

nickel

Better configuration for less

lean-smt

Tactics for discharging Lean goals into SMT solvers.

features

Feature set algebra for linguistics

classes

Smart, pythonic, ad-hoc, typed polymorphism for Python

flora-server

A package index for the Haskell ecosystem

openlexicon

Access to lexical databases

notedown

Markdown <=> IPython Notebook

Jupyter-data-science-environment

Including Haskell, R, Julia,Python and Jupyter Kernels generated by Nix

libfsm

DFA regular expression library & friends