fzaiser / genfer
Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions
☆24Updated 4 months ago
Alternatives and similar repositories for genfer:
Users that are interested in genfer are comparing it to the libraries listed below
- egraph <-> json☆13Updated 6 months ago
- A Haskell probabilistic programming library.☆18Updated 2 weeks ago
- A verified tensor library in Lean☆20Updated this week
- Git repository for the course Logika v računalništvu☆11Updated 2 years ago
- ☆16Updated last year
- Template for Lean<->Rust FFI☆12Updated last year
- Experiments with some ways of automating reasoning in lean 4☆16Updated 11 months ago
- Verifying encodings into propositional logic in Lean☆12Updated last year
- ☆13Updated 3 years ago
- An equational theorem prover based on Knuth-Bendix completion☆50Updated this week
- An implementation of a simple Neural network in Idris using category theory.☆23Updated 6 months ago
- Monoidal Toposes of Grammars and Semantic Actions☆19Updated this week
- Algebraic proof discovery in Agda☆32Updated 3 years ago
- Dependently typed lambda calculus - A Simple Proof Assistant☆12Updated 4 years ago
- ☆14Updated last year
- Certified Machine Learning☆41Updated 4 years ago
- A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…☆27Updated 2 years ago
- ☆19Updated 2 weeks ago
- ☆12Updated 2 years ago
- LeanSSR: an SSReflect-Like Tactic Language for Lean☆35Updated last week
- PhD course on Functional Programming and Climate Impact Research☆50Updated 4 months ago
- A repository for material from the reading group on NbE☆17Updated last year
- Monadic Constraint Programming framework☆28Updated 6 years ago
- Reversible programming in Agda☆12Updated last year
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 2 years ago
- Links to recourses for the Lean Theorem Prover☆10Updated 5 years ago
- (early experiments toward) a version-control system for structured data☆17Updated last year
- A repository of MetaOCaml packages☆12Updated last year
- comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories☆61Updated 5 months ago
- A Coq library for abstract syntactical reasoning☆23Updated last week