fzaiser / genfer
Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions
☆22Updated 3 months ago
Alternatives and similar repositories for genfer:
Users that are interested in genfer are comparing it to the libraries listed below
- A Haskell probabilistic programming library.☆18Updated 2 weeks ago
- comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories☆61Updated 4 months ago
- Paper and talk☆51Updated last year
- Verifying encodings into propositional logic in Lean☆12Updated last year
- ☆16Updated last year
- A tool to auto-generate and render slides from Markdown comments in the Lean editor.☆17Updated 3 months ago
- An implementation of a simple Neural network in Idris using category theory.☆23Updated 5 months ago
- A verified tensor library in Lean☆20Updated this week
- egraph <-> json☆13Updated 5 months ago
- ☆28Updated 5 months ago
- Certified Machine Learning☆41Updated 3 years ago
- Advent of Code 2020 solutions in Lean 4☆26Updated 4 years ago
- A book about functional programming in Lean☆39Updated last year
- Template for Lean<->Rust FFI☆11Updated last year
- Experiments with some ways of automating reasoning in lean 4☆15Updated 10 months ago
- A Seamless, Interactive Tactic Learner and Prover for Coq☆60Updated last month
- Jupyter notebook for the Lean4 programming language☆24Updated 2 years ago
- Reversible programming in Agda☆12Updated last year
- A summary of my activities during the past four years☆29Updated 4 months ago
- An LLVM interface for Lean 4. (WIP)☆19Updated last year
- Theory and Applications of Lenses and Optics☆55Updated 2 years ago
- Git repository for the course Logika v računalništvu☆11Updated 2 years ago
- WIP collections library for Lean 4☆32Updated last month
- A Testing Framework for Lean☆51Updated this week
- An equational theorem prover based on Knuth-Bendix completion☆50Updated this week
- Reference sheet for people who know Lean 3 and want to write tactic-based proofs in Lean 4☆26Updated 3 months ago
- ☆12Updated 2 years ago
- This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the pack…☆28Updated 6 years ago
- A verified compiler for a lazy functional language☆34Updated 2 weeks ago
- LeanSSR: an SSReflect-Like Tactic Language for Lean☆34Updated 3 weeks ago