A collection of libraries to provide infrastructure for probabilistic programming in Idris2. These are all available on the pack package manager.
Idris Bayes
Probabilistic programming for Idris2
- 4 followers
- United Kingdom
- min.nguyen@bristol.ac.uk
Popular repositories Loading
-
monad-bayes
monad-bayes PublicA translation of the probabilistic language MonadBayes from Haskell to Idris2.
-
distribution
distribution PublicAn Idris2 foreign function interface for various statistical distributions in the GSL C library.
Idris 1
-
Repositories
Showing 10 of 10 repositories
- distribution Public
An Idris2 foreign function interface for various statistical distributions in the GSL C library.
idris-bayes/distribution’s past year of commit activity - idris2-jupyter-bayes Public
idris-bayes/idris2-jupyter-bayes’s past year of commit activity - .github Public
idris-bayes/.github’s past year of commit activity - log-domain Public
A partial port of the Haskell library "log-domain" for numerics in the log domain into Idris2.
idris-bayes/log-domain’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…