Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/affeldt-aist/monae
Monadic effects and equational reasonig in Coq
math-comp mathcomp monad-transformers monadic-effects monads nondeterminism probabilistic-programming ssreflect
Last synced: 31 Jul 2024