Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with generalized-algebraic-data-type
A curated list of projects in awesome lists tagged with generalized-algebraic-data-type .
https://github.com/zeta611/stappl
🎲 Statically typed probabilistic programming language, feat. GADT
gadt generalized-algebraic-data-type ocaml probabilistic-graphical-models probabilistic-programming type-system
Last synced: 12 Oct 2024
https://github.com/carstenkoenig/gadtparser
parsing GADT-style expression trees
doctest generalized-algebraic-data-type haskell megaparsec parsing
Last synced: 14 Oct 2024
