Category Theory
Showing 28 of 28 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.
A PureScript library providing generalized folds, unfolds, and traversals for fixed point data structures.
A refactoring kata to practice removing side effects using functional programming structures like functors and monads.
Kotlin recursion schemes library built with Arrow, providing functional programming abstractions for recursive data structures.
Visualizes generalized limits for arbitrary discontinuous functions using category theory concepts.
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.