fzaiser / genferLinks
Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions
☆25Updated 7 months ago
Alternatives and similar repositories for genfer
Users that are interested in genfer are comparing it to the libraries listed below
Sorting:
- A Haskell probabilistic programming library.☆19Updated last month
- Verifying encodings into propositional logic in Lean☆12Updated last year
- A formalization of ML kernel languages☆18Updated last week
- Experiments with some ways of automating reasoning in lean 4☆16Updated last year
- ☆16Updated last year
- ☆16Updated last year
- ☆13Updated 3 years ago
- ☆12Updated 2 years ago
- Reversible programming in Agda☆12Updated 2 years ago
- Template for Lean<->Rust FFI☆12Updated last year
- A verified tensor library in Lean☆26Updated 2 weeks ago
- Haskell library for representing and manipulating Symbolic Regression Tree☆10Updated last week
- comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories☆63Updated 8 months ago
- egraph <-> json☆14Updated 9 months ago
- An LLVM interface for Lean 4. (WIP)☆21Updated last year
- An implementation of a simple Neural network in Idris using category theory.☆23Updated 9 months ago
- Theory and Applications of Lenses and Optics☆54Updated 3 years ago
- Monadic Constraint Programming framework☆28Updated 7 years ago
- Intrinsic Verification of Formal Grammar Theory☆26Updated this week
- ☆17Updated 3 years ago
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically eff…☆38Updated this week
- A Lean 4 package for heavy numerical computations☆18Updated 3 years ago
- Reference type checker for the Lean theorem prover☆16Updated 7 years ago
- Advent of Code 2020 solutions in Lean 4☆26Updated 4 years ago
- An equational theorem prover based on Knuth-Bendix completion☆52Updated 2 months ago
- Reference sheet for people who know Lean 3 and want to write tactic-based proofs in Lean 4☆27Updated 7 months ago
- Reverse-mode automatic differentiation with delimited continuations☆15Updated last year
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 3 years ago
- Git repository for the course Logika v računalništvu☆12Updated 3 years ago
- Fast parallel calculations in pure mathematics, e.g. Gröbner Bases☆16Updated 10 months ago