Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Witchcraft | 1,169 | 4 | 3 | 8 months ago | 17 | January 29, 2022 | 24 | mit | Elixir | |
Monads and other dark magic for Elixir | ||||||||||
Static Land | 766 | 2 | 4 | 4 years ago | 9 | September 17, 2016 | 8 | mit | JavaScript | |
Specification for common algebraic structures in JavaScript based on Fantasy Land | ||||||||||
Functional | 96 | 3 years ago | mit | JavaScript | ||||||
Common Functional Programming Algebraic data types for JavaScript that is compatible with most modern browsers and Deno. | ||||||||||
Feval | 22 | 9 years ago | 2 | October 09, 2017 | mit | Haskell | ||||
evaluation using f-algebras | ||||||||||
Scala Reggen | 19 | 6 years ago | Scala | |||||||
Generic programming experiment in Scala | ||||||||||
F Algebra Gen | 10 | 5 years ago | July 18, 2019 | 1 | mit | Haskell | ||||
Generate a special combinator from any data type. | ||||||||||
Algebraic Classes | 9 | 4 years ago | 20 | December 02, 2023 | other | Haskell | ||||
Conversions between algebraic classes and F-algebras. | ||||||||||
Ct | 8 | 5 years ago | Coq | |||||||
My attempt to better understand both Coq and Category Theory by formalizing the latter in the former. | ||||||||||
Functional Io | 8 | 3 years ago | mit | JavaScript | ||||||
IO methods as valid Task monads perfect to write great point-free software in JavaScript that is compatible with most modern browsers and Deno. |