Algebraic Structures
Showing 11 of 11 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 high-performance machine learning library for Haskell that leverages algebraic structures for parallel, online, and fast cross-validation training.
A specification for common algebraic structures in JavaScript using static functions instead of methods.
A Swift library exploring pure declarative programming with algebraic structures, combinators, and functional patterns.
A Swift library that implements mathematical concepts like groups, rings, matrices, and topology using Swift protocols and structs.
The standard library for PureScript, providing essential types and functions for functional programming.
A Coq plugin providing high-level commands to declare and manage hierarchies of algebraic structures using packed classes.
A collection of common combinators used in fantasy-land projects for functional programming in JavaScript.
A modular relation algebra library for Rocq (Coq) with reflexive decision tactics for Kleene algebra with tests and related theories.
A Coq library formalizing Partial Commutative Monoids (PCMs) for separation logic-based program verification.
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.