Showing 7 of 7 projects
A JavaScript library providing a collection of Algebraic Data Types (ADTs) like Maybe and Either for functional programming.
A Rust library providing purely functional data structures and a comprehensive glossary of functional programming concepts.
A Java 8 library providing persistent data structures, functional control types, and higher-kinded abstractions for building functional applications.
An axiom-free formalization of category theory in Coq for representation, manipulation, and realization of categorical terms.
A specification for common algebraic structures in JavaScript using static functions instead of methods.
Fantasyland algebraic data type extensions for Immutable.js, adding Monoid, Applicative, and Traversable capabilities.
A Clojure library implementing category theory concepts like functors, applicatives, monads, and monoids in idiomatic Clojure.
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.