C# pure functional programming framework - come and get declarative!
- c-sharp
- functional-languages
- monads
- monad-transformers
Repository Index
47,133 repositories indexed
1–24 of 25 · Most stars
🦄 Monads and popular FP abstractions, powered by Go 1.18+ Generics (Option, Result, Either...)
- cats
- either
- fp
- functional
Safe and idiomatic TypeScript types to handle null, error, and async code handling: Maybe, Result, and Task types that are really nice.
- typescript
- typescript-library
- typescript-definitions
- functional-programming
Monads and other dark magic for Elixir
- elixir
- type-class
- functor
- monad
An axiom-free formalization of category theory in Coq for personal study and practical work
- category-theory
- coq
- monad
- profunctor
Elegant error/exception handling in Elixir, with result monads.
- pipeline
- monad
- macros
- elixir
🥃 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
Macros for defining monads, and definition of the most common monads
Monad, Functional Programming features for Golang
- golang
- functional-programming
- functional-reactive-programming
- reactive
The library which provides useful monads, interfaces, and lazy iterators.
Upgrade your pipelines with monads.
A Swift adventure with Optionals, Monads, bananas and squirrels
- swift
- monad
- squirrel
- playground
pure functional and generic programming for Erlang
- foldable
- traversable
- erlang
- lenses
Hoare Type Theory
- hoare-logic
- hoare-monads
- separation-logic
- coq
🧙 meiga is a Python µframework that provides a simple, fully typed, monad-based result type ➡️ Result[Value, Error].
- monads
- result-type
- typing
- python
Monadic effects and equational reasoning in Rocq
- monads
- monad-transformers
- probabilistic-programming
- nondeterminism
A companion Playground for the article "Swift Functors, Applicatves, and Monads in Pictures"
A framework for implementing and certifying impure computations in Coq
- coq
- formal-verification
- freer-monads
Pattern matching for the monads in the cats Clojure library
- clojure
- clojurescript
- pattern-matching
Monads for Crystal
- monads
- crystal-language
- crystal
Functional Programming for EcmaScript(Javascript)
- functional-programming
- fp
- js
- es
build tool and package manager for idris,in idris,with free monads
- idris
- free-monads
- package-manager
Free Monads and useful constructions to work with them