Category Theory
Showing 24 of 24 projects
A specification for interoperability of common algebraic structures in JavaScript, enabling functional programming patterns.
A lightweight, modular, and extensible library for functional programming in Scala.
A Scala library providing principled functional programming abstractions, including type classes and purely functional data structures.
A modern web-based editor for creating commutative and pasting diagrams with export to LaTeX and Typst.
A Rust library providing purely functional data structures and a comprehensive glossary of functional programming concepts.
A curated collection of resources for learning and applying recursion schemes in functional programming.
A curated collection of resources for learning and applying recursion schemes in functional programming.
A library providing common algebraic and categorical abstractions like monoids, functors, and monads to Elixir.
A Coq library formalizing mathematics using univalent foundations and homotopy type theory.
A curated collection of functional programming resources including blog posts, papers, books, videos, tools, and communities.
Category Theory and algebraic abstractions library for Clojure and ClojureScript.
A base library for F# that enhances functional programming through generic programming techniques and extensions.
A Scala library providing generalized recursion schemes and traversals for fixed point data structures.
An axiom-free formalization of category theory in Coq for representation, manipulation, and realization of categorical terms.
A cross-platform library for Typed Functional Programming in Swift.
An opinionated F# library providing utility functions, computation expressions, and operators for working with the Result type.
A clean and powerful Haskell stream processing library for building and connecting reusable streaming components.
A Clojure library implementing category theory concepts like functors, applicatives, monads, and monoids in idiomatic Clojure.
A programming language-agnostic algebraic data type definition language based on polynomials.
A formally verified category theory library implemented in Idris, providing correctness guarantees through proofs.
A PureScript framework for writing scalable, performant apps with mathematical precision using functional programming.
A Coq library providing abstract interfaces for mathematical structures using type classes.
An async-first, opinionated functional library and language with 100% JavaScript compatibility.
A library providing recursion schemes for the Idris programming language, based on functional programming patterns.
Related Tags
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.