monad topic
bar-event-sourcing
A sample .NET application featuring DDD, CQRS, event-sourcing, Docker, integration testing and a bit of SignalR.
choice
Choice operator in OCaml, providing a backtracking monad
fun-task
Abstraction for managing asynchronous code in JS
category-theory
An axiom-free formalization of category theory in Coq for personal study and practical work
dunai
Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions
kotlin-result
A multiplatform Result monad for modelling success or failure operations.
ribimaybe
Maybe Functor, Applicative and Monad
elixir-control
An exploratory look into functors, applicatives, and monads for Elixir