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 this week
• racket / parser-tools
  ☆14Updated 2 months ago
• semgrep / semgrep-interfaces
  Store the ATD/openapi/protobuf/... interfaces between semgrep components
  ☆18Updated this week
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆54Updated 2 years ago
• Deducteam / SizeChangeTool
  A termination checker for higher-order rewriting with dependent types
  ☆12Updated 5 years ago
• mattecapu / categorical-systems-theory
  ☆41Updated 2 months ago
• andrejbauer / partial-combinatory-algebras
  A Lean 4 formalization of partial combinatory algebras.
  ☆14Updated 6 months ago
• ionathanch / scraps
  Various mechanized proof files for fun.
  ☆11Updated 5 months ago
• cyberglot / faeth
  algebraic typechecking and elaboration of type systems
  ☆13Updated 5 months ago
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated 6 months ago
• curry-packages / pflp
  Probabilistic Functional Logic Programming
  ☆16Updated 3 months ago
• ots22 / racket-ad-demos
  Exploring Automatic Differentiation with Racket
  ☆12Updated 3 years ago
• Trebor-Huang / agda-linear
  An implementation of a Zeilberger-style linear type theory.
  ☆11Updated 3 years ago
• SchrodingerZhu / LeanGccBackend
  Lean4 backend using `libgccjit`!
  ☆11Updated last year
• disconcision / containment-patterns
  pattern combinators extending racket/match to capture 🔗 contexts 📦
  ☆19Updated 6 years ago
• owlbarn / owl_opt
  Numerical Optimisation Library
  ☆16Updated 2 years ago
• lexi-lambda / racket-mvar
  An implementation of Haskell’s MVars in Racket
  ☆29Updated 9 months ago
• Deducteam / zenon_modulo
  First-order automated theorem prover based on the tableau method
  ☆16Updated 7 months ago
• opencompl / C-parsing-for-Lean4
  A parser for ANSI C, in Lean4.
  ☆20Updated last year
• ivashkev / math-formalizations
  Formalization of some elementary mathematical theories in Coq
  ☆15Updated 5 years ago
• prologbyexample / code
  ☆29Updated 2 years ago
• freeman42x / awesome-agda-programming
  Awesome Agda Programming
  ☆16Updated 4 years ago
• adrieng / melitte
  Toy implementation of Martin-Löf Type Theory
  ☆28Updated 2 years ago
• haskell / math-functions
  Special mathematical functions
  ☆41Updated last year
• Ivan-Sergeyev / seymour
  This project is about formally verifying Seymour's decomposition theorem for regular matroids.
  ☆29Updated this week
• nikivazou / proof-combinators
  Proof combinators used in Liquid Haskell for theorem proving
  ☆12Updated 7 years ago
• rzrn / lean4-categories
  Category Theory & Cobordism Categories in Lean 4
  ☆16Updated last year
• stan-dev / cmdstan
  CmdStan, the command line interface to Stan
  ☆223Updated last week
• palladin / idris-snippets
  Collection of Idris snippets
  ☆22Updated last year
• thosgood / hodge-theory
  An English translation of Deligne's three "Hodge theory" papers
  ☆11Updated last month