dschrempf / mcmcLinks
Markov chain Monte Carlo with Metropolis-Hasting algorithm
☆19Updated 7 months ago
Alternatives and similar repositories for mcmc
Users that are interested in mcmc are comparing it to the libraries listed below
Sorting:
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library. See http://arxiv.org/abs/2507.12640.☆43Updated last week
- An efficient graph library for Haskell☆41Updated 5 months ago
- Haskell library for representing and manipulating Symbolic Regression Tree☆16Updated this week
- probabilistic programming in Haskell☆17Updated 9 years ago
- An embedded probabilistic programming language.☆34Updated 8 years ago
- I/O utilities and datasets for algebraic-graphs☆14Updated 3 years ago
- Benchmark of the main linear algebra libraries in Haskell☆26Updated 5 years ago
- A suite of Haskell libraries for representing, manipulating, and sampling random variables☆43Updated 2 years ago
- Fast parallel calculations in pure mathematics, e.g. Gröbner Bases☆16Updated last year
- Some tools for provability logic☆37Updated 7 years ago
- Automatic piecewise-mutable references for your types☆42Updated 5 years ago
- A talk☆29Updated 4 years ago
- Formal specification of the Haskell Language Report☆30Updated 2 weeks ago
- Haskell to D3.js binding by deep EDSL approach.☆23Updated 11 years ago
- Reimplementation of a subset of Cabal☆35Updated 2 weeks ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆85Updated 9 months ago
- Byte-level byte pair encoding (BPE) in Haskell☆17Updated last year
- Combinatory automatic differentiation in Haskell for heterogeneous computing.☆22Updated 7 years ago
- Demonstrating how to make type families faster using typechecker plugins☆21Updated 5 years ago
- Haskell bindings to ArrayFire☆60Updated last year
- Formalizing linear algebra in Agda by representing matrices as functions☆27Updated 2 years ago
- A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)☆23Updated 6 months ago
- Interpret Haskell programs into any cartesian closed category.☆69Updated this week
- Interval Arithmetic☆27Updated last year
- classical sequent calculus, embedded in Haskell☆21Updated 5 months ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- ☆14Updated 3 months ago
- Simple Haskell package for efficiently indexable finite and infinite enumerations.☆12Updated 9 months ago
- Vector & affine spaces, linear maps, and derivatives☆49Updated 8 months ago
- Tutorial series introducing Agda to the people at BCAM☆27Updated 4 years ago