Alternatives and similar repositories for mcmc

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

• Mikolaj / horde-ad
  Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically eff…
  ☆38Updated this week
• travitch / haggle
  An efficient graph library for Haskell
  ☆39Updated last month
• ocramz / algebraic-graphs-io
  I/O utilities and datasets for algebraic-graphs
  ☆14Updated 2 years ago
• augustss / MicroCabal
  Reimplementation of a subset of Cabal
  ☆30Updated this week
• ajknapp / accelerate-ad
  Combinatory automatic differentiation in Haskell for heterogeneous computing.
  ☆22Updated 6 years ago
• DaveBarton / calculi
  Fast parallel calculations in pure mathematics, e.g. Gröbner Bases
  ☆16Updated 11 months ago
• rudymatela / conjure
  Produce Haskell functions out of partial definitions
  ☆12Updated last week
• ekmett / haskell
  An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.
  ☆14Updated 4 years ago
• jyp / MarXup
  Markup language on top of Haskell
  ☆12Updated 8 months ago
• umazalakain / agda-bcam
  Tutorial series introducing Agda to the people at BCAM
  ☆26Updated 3 years ago
• augustss / orthotope
  ☆26Updated 6 months ago
• conal / vector-space
  Vector & affine spaces, linear maps, and derivatives
  ☆49Updated last month
• michalkonecny / aern2
  A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)
  ☆23Updated 3 months ago
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆62Updated 2 months ago
• byorgey / boltzmann
  ☆10Updated 9 years ago
• emilypi / order
  Order theory
  ☆24Updated last year
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 10 years ago
• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆52Updated last week
• sergv / atomic-counter
  Haskell counters that can be safely incremented from multiple threads
  ☆19Updated 7 months ago
• cedille / ial
  The Iowa Agda Library
  ☆48Updated last month
• BinderDavid / haskell-spec
  Formal specification of the Haskell Language Report
  ☆17Updated last week
• emilypi / group-theory
  The theory of groups
  ☆79Updated last year
• benediktahrens / CT4P
  ☆34Updated 8 months ago
• statusfailed / cartographer-string-diagrammatic-reasoning
  ☆44Updated 2 years ago
• thma / srv
  srv is a tiny web server for local deployments
  ☆9Updated 5 months ago
• Ebanflo42 / Persistence
  A topological data analysis library for Haskell
  ☆29Updated 4 years ago
• jwiegley / coq-cds4ltl
  A formalization of finite, constructive log analysis using linear temporal logic
  ☆22Updated last month
• noughtmare / gpc
  Leightweight generalized parser combinators
  ☆20Updated last year
• conal / talk-2020-calculating-compilers-categorically
  A talk
  ☆28Updated 4 years ago
• msp-strath / cs410-advanced-functional-programming
  CS410 "Advanced Functional Programming"
  ☆25Updated 2 months ago