Customisable coding font with alternates, ligatures and contextual positioning. Crazy crisp at 12px/9pt. http://larsenwork.com/monoid/
Repository Index
47,133 repositories indexed
1–10 of 10 · Most stars
C# pure functional programming framework - come and get declarative!
- c-sharp
- functional-languages
- monads
- monad-transformers
🦄 Monads and popular FP abstractions, powered by Go 1.18+ Generics (Option, Result, Either...)
- cats
- either
- fp
- functional
A collection of well known Algebraic Data Types for your utter enjoyment.
- adt
- predicate-functions
- lift
- unary-functions
An advanced, but easy to use, platform for writing functional applications in Java 8.
- functional-programming
- reactive-streams
- monoid
- streams
An axiom-free formalization of category theory in Coq for personal study and practical work
- category-theory
- coq
- monad
- profunctor
Specification for common algebraic structures in JavaScript based on Fantasy Land
- functional-programming
- fantasy-land
- specification
- monad
🥃 Functional Algebraic Data Types
- functional-programming
- monads
- monoids
- utilities
Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.
- clojure
- category-theory
- clojure-library
- monad
Partial Commutative Monoids
- partial-commutative-monoid
- separation-logic
- coq
- coq-library