Alternatives and similar repositories for bayesPop

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

• 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 / stanc3
  The Stan transpiler (from Stan to C++ and beyond).
  ☆150Updated this week
• haskell / math-functions
  Special mathematical functions
  ☆44Updated last month
• ivashkev / math-formalizations
  Formalization of some elementary mathematical theories in Coq
  ☆16Updated 5 years ago
• nikivazou / proof-combinators
  Proof combinators used in Liquid Haskell for theorem proving
  ☆12Updated 7 years ago
• PerplexSystems / commandry
  A command-line parser for Standard ML
  ☆21Updated last month
• freeman42x / awesome-agda-programming
  Awesome Agda Programming
  ☆18Updated 4 months ago
• Guest0x0 / trebor
  an implementation of Observational Type Theory (OTT) and more
  ☆30Updated 3 years ago
• gteege / gentle-isabelle
  A gentle introduction to Isabelle and Isabelle/HOL
  ☆17Updated 10 months ago
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆66Updated 4 years ago
• stan-dev / cmdstan
  CmdStan, the command line interface to Stan
  ☆237Updated last week
• curry-language / kics2
  An implementation of the multi-paradigm declarative language Curry which compiles Curry programs into Haskell programs
  ☆20Updated last month
• LPCIC / matita
  Matita (proof assistant) with embedded elpi
  ☆15Updated 8 years ago
• adobe / Chronikis
  A compiler for Bayesian time series models.
  ☆24Updated last year
• sjoerdvisscher / unfoldable
  Class of data structures that can be unfolded.
  ☆22Updated last month
• racket / parser-tools
  ☆15Updated 2 months ago
• mattecapu / categorical-systems-theory
  ☆44Updated 9 months ago
• rzrn / anders
  Anders: Cubical Type Checker
  ☆23Updated 2 years ago
• idris-community / idris2-mode
  Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
  ☆28Updated last year
• stefan-hoeck / idris2-pack-db
  ☆30Updated this week
• Kernel-Dirichlet / Haskell2Julia
  A partial transpiler from Haskell to Julia.
  ☆16Updated 5 years ago
• pa-ba / AsyncRattus
  ☆14Updated 3 months ago
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆39Updated last week
• b4er / recalc
  functional spreadsheet programming
  ☆23Updated 10 months ago
• Shimuuar / inline-python
  Embedding of python interpreter into haskell programs
  ☆15Updated 3 weeks ago
• nikivazou / thesis
  Liquid Haskell: How to turn Haskell into a Theorem Prover
  ☆13Updated 9 years ago
• CyberCat-Institute / Aptwe
  A well typed by construction kernel language for bidirectional programming
  ☆14Updated last year
• jsiek / arete
  Arete is an experimental programming language.
  ☆12Updated 2 years ago
• TOTBWF / muprl
  A small NuPRL style proof assistant
  ☆31Updated 7 years ago
• jkoppel / ecta
  ☆37Updated last year