Algolean. Algorithms and Complexity Library using the lightweight query combinator framework called "Prog"
DGAlgorithms. Distributed Graph Algorithms in Lean
loogle-lean. TypeScript
LeanFlows. Lean
