Alternatives and similar repositories for bayesPop

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

• stan-dev / stanc3
  The Stan transpiler (from Stan to C++ and beyond).
  ☆147Updated last week
• deepeshpatel / jnumbertools
  JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…
  ☆12Updated 4 months ago
• cyberglot / faeth
  algebraic typechecking and elaboration of type systems
  ☆13Updated 8 months ago
• namin / higher-rank
  Practical type inference for arbitrary-rank types
  ☆11Updated 6 years ago
• nikivazou / proof-combinators
  Proof combinators used in Liquid Haskell for theorem proving
  ☆12Updated 7 years ago
• haskell / math-functions
  Special mathematical functions
  ☆43Updated last year
• ivashkev / math-formalizations
  Formalization of some elementary mathematical theories in Coq
  ☆15Updated 5 years ago
• stan-dev / cmdstan
  CmdStan, the command line interface to Stan
  ☆229Updated last week
• owlbarn / owl_opt
  Numerical Optimisation Library
  ☆17Updated 2 years ago
• freeman42x / awesome-agda-programming
  Awesome Agda Programming
  ☆18Updated last week
• plt-amy / dep
  A very small implementation of the Calculus of Constructions for experimentation purposes
  ☆15Updated 7 years ago
• Guest0x0 / trebor
  an implementation of Observational Type Theory (OTT) and more
  ☆28Updated 2 years ago
• sweirich / rebound
  # A simple variable binding library based on well-scoped indices and environments
  ☆17Updated last week
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated 8 months ago
• CyberCat-Institute / Aptwe
  A well typed by construction kernel language for bidirectional programming
  ☆14Updated 9 months ago
• sjoerdvisscher / unfoldable
  Class of data structures that can be unfolded.
  ☆22Updated 2 years ago
• namin / mk-on-smt
  miniKanren for search, SMT for solving
  ☆13Updated 5 years ago
• CakeML / candle
  The Candle theorem prover (fork of the HOL Light sources)
  ☆15Updated last year
• opencompl / C-parsing-for-Lean4
  A parser for ANSI C, in Lean4.
  ☆20Updated last year
• gteege / gentle-isabelle
  A gentle introduction to Isabelle and Isabelle/HOL
  ☆13Updated 6 months ago
• LOST-STATS / lost-stats.github.io
  Source code for the Library of Statistical Techniques
  ☆276Updated 2 weeks ago
• mattecapu / categorical-systems-theory
  ☆43Updated 5 months ago
• LPCIC / matita
  Matita (proof assistant) with embedded elpi
  ☆14Updated 7 years ago
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆16Updated last year
• soren-n / bidi-higher-rank-poly
  Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…
  ☆22Updated 4 years ago
• janestreet / base_quickcheck
  Randomized testing framework, designed for compatibility with Base
  ☆18Updated last month
• curry-packages / pflp
  Probabilistic Functional Logic Programming
  ☆15Updated 6 months ago
• vmchale / apple
  Apple array system
  ☆67Updated last week
• owlbarn / owl_ode
  Owl's Differential Equation Solvers
  ☆35Updated 3 years ago
• bryal / carth
  The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/
  ☆22Updated 2 years ago