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).
  ☆150Updated this 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 8 months ago
• stan-dev / cmdstan
  CmdStan, the command line interface to Stan
  ☆237Updated 2 weeks ago
• nikivazou / proof-combinators
  Proof combinators used in Liquid Haskell for theorem proving
  ☆12Updated 7 years ago
• adobe / Chronikis
  A compiler for Bayesian time series models.
  ☆24Updated last year
• LPCIC / matita
  Matita (proof assistant) with embedded elpi
  ☆15Updated 8 years ago
• CyberCat-Institute / Aptwe
  A well typed by construction kernel language for bidirectional programming
  ☆14Updated last year
• ivashkev / math-formalizations
  Formalization of some elementary mathematical theories in Coq
  ☆16Updated 5 years ago
• Guest0x0 / trebor
  an implementation of Observational Type Theory (OTT) and more
  ☆30Updated 3 years ago
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆66Updated 4 years ago
• sistm / LongituRF
  Random forests for longitudinal data using stochastic semiparametric miced-model
  ☆11Updated 3 years ago
• gteege / gentle-isabelle
  A gentle introduction to Isabelle and Isabelle/HOL
  ☆17Updated 10 months ago
• freeman42x / awesome-agda-programming
  Awesome Agda Programming
  ☆18Updated 4 months ago
• jsiek / arete
  Arete is an experimental programming language.
  ☆12Updated 2 years ago
• haskell / math-functions
  Special mathematical functions
  ☆44Updated last month
• sweirich / lambda-calculus
  Denotational Semantics of the Untyped Lambda Calculus
  ☆17Updated last year
• CakeML / candle
  The Candle theorem prover (fork of the HOL Light sources)
  ☆18Updated this week
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆39Updated 3 months ago
• ianjauslin-rutgers / pythagoras4
  Many proofs of the Pythagoras theorem - Lean 4
  ☆10Updated 2 years ago
• disconcision / containment-patterns
  pattern combinators extending racket/match to capture 🔗 contexts 📦
  ☆20Updated 6 years ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆27Updated 2 years ago
• rzrn / anders
  Anders: Cubical Type Checker
  ☆23Updated 2 years ago
• sdiehl / zero-to-qed
  From Zero to QED: An informal introduction to formality with Lean 4
  ☆89Updated 3 weeks ago
• jkoppel / ecta
  ☆37Updated last year
• lexi-lambda / racket-mvar
  An implementation of Haskell’s MVars in Racket
  ☆30Updated last year
• xnning / dependent-types-in-haskell
  Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup
  ☆16Updated 7 years ago
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆58Updated 5 years ago
• LOST-STATS / lost-stats.github.io
  Source code for the Library of Statistical Techniques
  ☆282Updated this week
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆18Updated 3 years ago
• TOTBWF / muprl
  A small NuPRL style proof assistant
  ☆31Updated 7 years ago