Repository Index

Free monad Collection

Self-contained monadic parser combinators for OCaml

• parser-combinators
• parser-monad

Javascript Generalized Parser Combinators

• functional-programming
• parsec
• parser-combinator
• monad

pure functional and generic programming for Erlang

• foldable
• traversable
• erlang
• lenses

Super Monadic Über Go-into : parser combinators for Common Lisp

Pipe elixir functions that match ok/error tuples or custom patterns.

• elixir
• error-handling
• monad
• pipe

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 framework for implementing and certifying impure computations in Coq

• coq
• formal-verification
• freer-monads

The Effect monad, for handling native side effects

Pattern matching for the monads in the cats Clojure library

• clojure
• clojurescript
• pattern-matching

Monads for Crystal

• monads
• crystal-language
• crystal

the alchemist's happy path with elixir

• elixir
• error-handling
• with
• monad

Functional Programming for EcmaScript(Javascript)

• functional-programming
• fp
• js
• es

A powerful JavaScript functional programming toolset, including utility functions and abstract data structures.

• functional-programming
• javascript
• js
• monad

Free Monads and useful constructions to work with them

Try monad for crystal

Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]

• coq
• randomized-algorithms
• probability
• monad

A utility library to write code in functional programming style in Javascript

• functor
• monads
• curry
• composition

Monadic Assertions library

Go option and result types that optionally contain a value

• golang
• option
• result
• error

Minimalistic monad syntax for OCaml.