Alternatives and similar repositories for mcmc

Users that are interested in mcmc are comparing it to the libraries listed below

• haskell-spec / haskell-spec
  Formal specification of the Haskell Language Report
  ☆30Updated 2 weeks ago
• ocramz / algebraic-graphs-io
  I/O utilities and datasets for algebraic-graphs
  ☆14Updated 3 years ago
• Mikolaj / horde-ad
  Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library. See http://arxiv.org/abs/2507.12640.
  ☆42Updated this week
• folivetti / srtree
  Haskell library for representing and manipulating Symbolic Regression Tree
  ☆16Updated this week
• augustss / MicroCabal
  Reimplementation of a subset of Cabal
  ☆35Updated this week
• serokell / xrefcheck
  Check cross-references in repository documents
  ☆57Updated 3 weeks ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆40Updated 4 months ago
• statusfailed / pp
  probabilistic programming in Haskell
  ☆17Updated 9 years ago
• sheaf / if-instance
  GHC plugin to branch on whether a constraint is satisfied
  ☆33Updated 5 months ago
• gelisam / magic-typelevel-elem
  Demonstrating how to make type families faster using typechecker plugins
  ☆21Updated 5 years ago
• marseillebd / nanopass
  Haskell port of the Nanopass Compiler Framework
  ☆23Updated 2 weeks ago
• emilypi / group-theory
  The theory of groups
  ☆80Updated 2 years ago
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆92Updated 3 weeks ago
• emilypi / order
  Order theory
  ☆25Updated 2 years ago
• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆85Updated 8 months ago
• benediktahrens / CT4P
  ☆36Updated this week
• mstksg / mutable
  Automatic piecewise-mutable references for your types
  ☆42Updated 5 years ago
• DaveBarton / calculi
  Fast parallel calculations in pure mathematics, e.g. Gröbner Bases
  ☆16Updated last year
• nebuta / d3js-haskell
  Haskell to D3.js binding by deep EDSL approach.
  ☆23Updated 11 years ago
• msp-strath / cs410-advanced-functional-programming
  CS410 "Advanced Functional Programming"
  ☆28Updated 7 months ago
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆37Updated this week
• noamz / linlam
  a library for experimental linear lambda calculus
  ☆20Updated 2 years ago
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆54Updated 9 months ago
• abarbu / haskell-torch
  Practical Deep Learning in Haskell now!
  ☆50Updated 3 years ago
• sheaf / acts
  Haskell library for semigroup actions and torsors
  ☆64Updated 11 months ago
• jtobin / deanie
  An embedded probabilistic programming language.
  ☆34Updated 8 years ago
• isovector / certainty-by-construction
  Source material for Certainty by Construction
  ☆47Updated last year
• ennocramer / monad-dijkstra
  Haskell monad transformer for weighted, non-deterministic computation
  ☆31Updated 11 months ago
• LightAndLight / cbpv
  A usable type system for call by push-value
  ☆33Updated 6 years ago
• sellout / compiling-anything-to-categories
  a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.
  ☆21Updated last year