fzaiser / genfer
Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions
☆25Updated 6 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 2 weeks ago
- A verified tensor library in Lean☆23Updated last week
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically eff…☆37Updated this week
- egraph <-> json☆13Updated 7 months ago
- ☆16Updated last year
- ☆13Updated 3 years ago
- An equational theorem prover based on Knuth-Bendix completion☆50Updated last month
- Verifying encodings into propositional logic in Lean☆12Updated last year
- Experiments with some ways of automating reasoning in lean 4☆16Updated last year
- Reversible programming in Agda☆12Updated last year
- Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…☆35Updated this week
- Haskell library for representing and manipulating Symbolic Regression Tree☆11Updated 2 weeks ago
- comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories☆63Updated 7 months 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
- An LLVM interface for Lean 4. (WIP)☆21Updated last year
- An implementation of a simple Neural network in Idris using category theory.☆23Updated 8 months ago
- A summary of my activities during the past four years☆29Updated 7 months ago
- Git repository for the course Logika v računalništvu☆12Updated 3 years ago
- ☆16Updated last year
- Automatic Differentiation using Pseudo Lenses. Neat.☆20Updated 5 years ago
- Advent of Code 2020 solutions in Lean 4☆26Updated 4 years ago
- A tool to auto-generate and render slides from Markdown comments in the Lean editor.☆18Updated last month
- LeanSSR: an SSReflect-Like Tactic Language for Lean☆35Updated last week
- Two-Level Type Theory☆28Updated 5 years ago
- Very controlled natural language tactics for Lean☆63Updated last year
- Intrinsic Verification of Formal Grammar Theory☆20Updated this week
- Plain-text declaration export for Lean 4☆15Updated 7 months ago
- ☆35Updated last year
- Template for Lean<->Rust FFI☆12Updated last year
- A gentle introduction to Isabelle and Isabelle/HOL☆12Updated last month