probability
Probability library
A library for probabilistic computation in Idris
Probabilistic computation in Idris
34 stars
3 watching
4 forks
Language: Idris
last commit: over 5 years ago
Linked from 1 awesome list
joaomilho/awesome-idrisRelated projects:
| Repository | Description | Stars |
|---|---|---|
 jtassarotti/coq-proba | A Coq-based probability theory library providing results and definitions for discrete probability, measure theory, and probabilistic choice monads. | 49 |
 harlanhaskins/probably | A collection of Swift structures for computing probabilities and cumulative distributions. | 269 |
 nin93/alea | A collection of utilities to work with probability distributions in a programming language | 12 |
 joashc/csharp-probability-monad | A monadic probabilistic programming framework for Bayesian modelling and inference in C#. | 96 |
 tweag/monad-bayes | A library that enables probabilistic programming in Haskell. | 409 |
 rlouf/mcx | Tools and methods for Bayesian deep learning using probabilistic programming. | 325 |
 sciruby/distribution | A collection of Ruby classes implementing various probability distributions and statistical functions. | 50 |
 google-research/dice_rl | This library provides tools and algorithms for estimating the distribution correction in off-policy reinforcement learning problems | 99 |
 not-fl3/quad-rand | A Rust library implementing a pseudo-random number generator based on atomic operations | 14 |
 pgm-lab/inferpy | A high-level API for probabilistic modeling with a focus on ease of use and scalability | 147 |
 google/edward2 | A tool for writing probabilistic models and manipulating their computation | 679 |
 krunch3r76/entropythief | Produces an unpredictable sequence of random bits by combining sequences from multiple sources. | 4 |
 rmcelreath/statrethinking_winter2019 | A repository of statistical modeling materials and resources for an R course on Bayesian inference | 2,018 |
 lysxia/generic-random | A Haskell package providing generic random generators for arbitrary data types. | 81 |
 jbrukh/bayesian | Naive Bayesian classification library for Go. | 805 |