Repository Index

Cooperative-threaded access to relational data

• ocaml
• database
• io-monad
• mariadb

The library which provides useful monads, interfaces, and lazy iterators.

Upgrade your pipelines with monads.

An asynchronous effect monad for PureScript

[A]synchronous Functional Programming

• function-composition
• asynchronous
• transducers
• parallel

Erlang state "monad" with merge/conflict-resolution capabilities. Useful for Riak.

xmonad with the X11 abstracted and configured with Idris

CRAB (Clean Rebuild of Anything's Behavior): rebuild software from behavior, not source code. An MCP-powered toolkit for black-box observation, clean-room reimplementation, and behavioral verification.

• clean-room-reimplementation
• ai-agents
• behavioral-testing
• black-box-testing

Free monad Collection

A Swift adventure with Optionals, Monads, bananas and squirrels

• swift
• monad
• squirrel
• playground

Self-contained monadic parser combinators for OCaml

• parser-combinators
• parser-monad

Native Windows Bash for AI coding agents. Run Claude Code, Codex, opencode & Gemini CLI without Git Bash, MSYS2 or WSL. Built in Rust, with MCP support.

• ai-agents
• bash
• bash-interpreter
• claude-code

Javascript Generalized Parser Combinators

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

pure functional and generic programming for Erlang

• foldable
• traversable
• erlang
• lenses

:alembic: Functional JSON Parser - Linux Ready :penguin:

• alembic
• json
• parser
• functional

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 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

The Effect monad, for handling native side effects

Pattern matching for the monads in the cats Clojure library

• clojure
• clojurescript
• pattern-matching