dschrempf / mcmc
Markov chain Monte Carlo with Metropolis-Hasting algorithm
☆16Updated 6 months ago
Alternatives and similar repositories for mcmc:
Users that are interested in mcmc are comparing it to the libraries listed below
- An efficient graph library for Haskell☆39Updated 8 months ago
- Markup language on top of Haskell☆12Updated 5 months ago
- I/O utilities and datasets for algebraic-graphs☆14Updated 2 years ago
- An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.☆14Updated 4 years ago
- Haskell library for representing and manipulating Symbolic Regression Tree☆11Updated last week
- 📺 The power of Haskell in your terminal!☆42Updated 2 weeks ago
- Bidirectional programming in Haskell with monadic profunctors☆46Updated 2 years ago
- Combinatory automatic differentiation in Haskell for heterogeneous computing.☆22Updated 6 years ago
- A library for benign effects in Haskell☆20Updated 2 months ago
- Invertible parsing for S-expressions☆34Updated 3 weeks ago
- a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.☆20Updated last year
- Refactorio is a tool with which you build and maintain software.☆19Updated 10 months ago
- Interval Arithmetic☆27Updated 3 months ago
- Check cross-references in repository documents☆56Updated 3 weeks ago
- Interpret Haskell programs into any cartesian closed category.☆59Updated 3 months ago
- Automation for releasing haskell packages☆18Updated last year
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically eff…☆36Updated this week
- Haskell port of the Tensor Algebra COmpiler☆16Updated 5 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- Probabilistic Functional Logic Programming☆16Updated last month
- Linear map categories in Agda☆5Updated 2 years ago
- ☆17Updated last year
- CLI tool for Hackage☆26Updated 3 months ago
- Produce Haskell functions out of partial definitions☆12Updated 2 months ago
- First Class Record Fields in Haskell☆17Updated last month
- being a particular fragment of Haskell, extended to a proof system☆32Updated 2 months ago
- Drive the Nix build system using the Dhall configuration language☆26Updated 6 years ago
- Tutorial series introducing Agda to the people at BCAM☆26Updated 3 years ago
- Pure Haskell implementation of SplitMix pseudo-random number generator☆25Updated 4 months ago
- Practical arithmetic encoding (aka Gödel numbering) library for Haskell.☆10Updated 5 years ago