fzaiser / genferLinks
Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions
☆25Updated last year
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.☆21Updated last month
- ☆16Updated last year
- LeanSSR: an SSReflect-Like Tactic Language for Lean☆41Updated last month
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library. See http://arxiv.org/abs/2507.12640.☆43Updated this week
- ☆16Updated 2 years ago
- A formalization of ML kernel languages☆39Updated this week
- Verifying encodings into propositional logic in Lean☆14Updated 2 years ago
- Implementation of higher-order logic in Python☆65Updated 2 years ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆20Updated 5 years ago
- A formal consistency proof of Quine's set theory New Foundations☆79Updated 7 months ago
- Certified Machine Learning☆41Updated 4 years ago
- Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic☆38Updated 3 years ago
- maze game encoded in Lean 4 syntax☆68Updated 6 months ago
- Theory and Applications of Lenses and Optics☆56Updated 3 years ago
- comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories☆73Updated last year
- Advent of Code 2020 solutions in Lean 4☆27Updated 5 years ago
- WIP collections library for Lean 4☆32Updated 8 months ago
- Lean4 port of Arduino balance car controller☆49Updated 4 years ago
- A type theory with native support for Polynomial Functors.☆41Updated 2 years ago
- A book about functional programming in Lean☆45Updated last year
- An interactive theorem prover for string diagrams☆124Updated last year
- A Testing Framework for Lean☆70Updated this week
- An implementation of a simple Neural network in Idris using category theory.☆24Updated last year
- Building group theory from scratch in Lean☆62Updated 5 years ago
- Code samples for Lean 4☆76Updated 2 years ago
- A Lean 4 library for iterators.☆14Updated 2 years ago
- I/O utilities and datasets for algebraic-graphs☆14Updated 3 years ago
- Haskell library for representing and manipulating Symbolic Regression Tree☆16Updated 3 weeks ago
- A monadic library for symbolic evaluation☆73Updated 6 months ago
- Git repository for the course Logika v računalništvu☆15Updated 3 years ago