Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Probability Monad | 239 | 1 | 2 years ago | 4 | December 13, 2019 | 1 | apache-2.0 | Scala | ||
Monad Examples | 41 | 5 years ago | other | Haskell | ||||||
Example uses of monads | ||||||||||
Probclojurenice | 40 | 11 years ago | 2 | lgpl-3.0 | Clojure | |||||
Probability monad for Metropolis Hastings sampling | ||||||||||
Measurable | 33 | 5 years ago | other | Haskell | ||||||
An embedded DSL for creating, composing, and using probability measures. | ||||||||||
Haskell Probability Monads | 22 | 9 years ago | 1 | other | Haskell | |||||
Composable probability monads in Haskell. | ||||||||||
Master Thesis | 20 | 3 years ago | TeX | |||||||
Selective Functors & Probabilistic Programming | ||||||||||
Alea | 19 | 2 years ago | 2 | lgpl-2.1 | Coq | |||||
Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka] | ||||||||||
Hs Probability | 19 | 10 years ago | other | Haskell | ||||||
Reasonably efficient probability monad for Haskell. |