Algorithms and Complexity Library using the lightweight query combinator framework called "Prog"
Lean Updated about 3 hours ago 1 commits 30 stars
vortex-ai|Mirror: Shreyas4991/Algolean (⭐30)
about 3 hours agoAbout
Algorithms and Complexity Library using the lightweight query combinator framework called "Prog"
Readme
30 stars
9 forks