Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by affeldt-aist
A curated list of projects in awesome lists by affeldt-aist .
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
https://github.com/affeldt-aist/infotheo
A Coq formalization of information theory and linear error-correcting codes
convexity error-correcting-codes information-theory math-comp mathcomp probability ssreflect
Last synced: 03 Aug 2024