dschrempf / mcmcLinks
Markov chain Monte Carlo with Metropolis-Hasting algorithm
☆17Updated 2 months ago
Alternatives and similar repositories for mcmc
Users that are interested in mcmc are comparing it to the libraries listed below
Sorting:
- An efficient graph library for Haskell☆38Updated this week
- Interpret Haskell programs into any cartesian closed category.☆63Updated 2 weeks ago
- I/O utilities and datasets for algebraic-graphs☆14Updated 3 years ago
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library. See http://arxiv.org/abs/2507.12640.☆39Updated last week
- ☆29Updated 7 months ago
- Formal specification of the Haskell Language Report☆24Updated last week
- Probabilistic Functional Logic Programming☆16Updated 5 months ago
- Automatic piecewise-mutable references for your types☆42Updated 5 years ago
- An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.☆14Updated 4 years ago
- Order theory☆25Updated last year
- 📺 The power of Haskell in your terminal!☆44Updated 3 months ago
- Type-level interpolations in various forms☆12Updated 8 months ago
- WIP: A modern step-through debugger for GHC Haskell☆44Updated this week
- a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.☆21Updated last year
- Fast Haskell RPC☆30Updated 5 months ago
- Modern Compiler Implementation in ML, in Haskell☆20Updated 4 years ago
- Check cross-references in repository documents☆55Updated 5 months ago
- Fast parallel calculations in pure mathematics, e.g. Gröbner Bases☆16Updated last year
- GenericPersistence is a Haskell persistence library for relational databases. The approach relies on GHC.Generics. A real-world demo can …☆13Updated 2 weeks ago
- functional spreadsheet programming☆19Updated 5 months ago
- Reimplementation of a subset of Cabal☆31Updated this week
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Updated last year
- Haskell library for representing and manipulating Symbolic Regression Tree☆11Updated 2 weeks ago
- Agda category theory library for denotational design☆52Updated 2 weeks ago
- Fast equality saturation in Haskell☆86Updated last month
- Linear lens☆20Updated last year
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Updated 6 years ago
- Benchmark of the main linear algebra libraries in Haskell☆25Updated 5 years ago
- The theory of groups☆80Updated last year
- ☆34Updated last month