dschrempf / mcmcLinks
Markov chain Monte Carlo with Metropolis-Hasting algorithm
☆19Updated 3 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 last month
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library. See http://arxiv.org/abs/2507.12640.☆40Updated this week
- Interpret Haskell programs into any cartesian closed category.☆63Updated last month
- Automatic piecewise-mutable references for your types☆42Updated 5 years ago
- Reimplementation of a subset of Cabal☆32Updated this week
- Fast parallel calculations in pure mathematics, e.g. Gröbner Bases☆16Updated last year
- I/O utilities and datasets for algebraic-graphs☆14Updated 3 years ago
- Formal specification of the Haskell Language Report☆25Updated last week
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Updated 6 years ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆65Updated 3 years ago
- a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.☆21Updated last year
- Haskell implementation of data structures for data science☆22Updated 2 months ago
- Haskell port of the Nanopass Compiler Framework☆23Updated 3 months ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆84Updated 4 months ago
- Agda category theory library for denotational design☆53Updated last month
- 📺 The power of Haskell in your terminal!☆44Updated 4 months ago
- classical sequent calculus, embedded in Haskell☆21Updated last month
- The theory of groups☆80Updated 2 years ago
- Vector & affine spaces, linear maps, and derivatives☆49Updated 3 months ago
- Basics of the dependently-typed functional language Agda ^_^☆39Updated 3 years ago
- Awesome Agda Programming☆18Updated this week
- Fast equality saturation in Haskell☆88Updated 2 months ago
- functional spreadsheet programming☆19Updated 5 months ago
- Easy entropy source for Haskell users.☆27Updated 8 months ago
- Examples for Streamly☆30Updated last week
- A talk☆28Updated 4 years ago
- Text generation language☆34Updated last week
- Implementing a small functional language with a combinator based graph-reduction machine☆36Updated 2 weeks ago
- Demonstrating how to make type families faster using typechecker plugins☆21Updated 4 years ago
- A Galilean revolution for computing: Unboundedly scalable reliability and efficiency☆15Updated 2 years ago