Projects in Awesome Lists tagged with monadic-effects
A curated list of projects in awesome lists tagged with monadic-effects .
https://github.com/affeldt-aist/monae
Monadic effects and equational reasoning in Rocq
math-comp mathcomp monad-transformers monadic-effects monads nondeterminism probabilistic-programming ssreflect
Last synced: 20 Aug 2025
