Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"
☆70Nov 21, 2023Updated 2 years ago
Alternatives and similar repositories for adev
Users that are interested in adev are comparing it to the libraries listed below
Sorting:
- Experimental port of ADEV to Julia☆11Nov 12, 2023Updated 2 years ago
- Coq library on rewriting theory and termination☆37Jan 27, 2026Updated last month
- A Haskell probabilistic programming library.☆21Feb 19, 2026Updated last week
- heuristically and dynamically sample (more) uniformly from large decision trees of unknown shape☆14Jul 20, 2025Updated 7 months ago
- Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions☆25Nov 7, 2024Updated last year
- Building blocks for simple and advanced particle filtering in Gen.☆27Mar 19, 2024Updated last year
- ☆14Feb 1, 2024Updated 2 years ago
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆87Mar 15, 2025Updated 11 months ago
- A compiler and mutation testing framework for the programming language Pascal-86☆20Sep 12, 2014Updated 11 years ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Mar 15, 2021Updated 4 years ago
- A library for research in unnatural language semantics☆14Feb 4, 2026Updated 3 weeks ago
- Dependently typed lambda calculus - A Simple Proof Assistant☆12Sep 3, 2020Updated 5 years ago
- ☆16Jul 10, 2023Updated 2 years ago
- ☆12Mar 31, 2024Updated last year
- Katamaran is a semi-automated separation logic verifier for the Sail specification language. It works on an embedded version of Sail call…☆19Updated this week
- Implementation of Spectral State Space Models☆16Feb 23, 2024Updated 2 years ago
- A repository for material from the reading group on NbE☆17Oct 31, 2023Updated 2 years ago
- ☆17Apr 21, 2025Updated 10 months ago
- Artifacts for the PLDI 2023 paper "Search-Based Regular Expression Inference on a GPU"☆17Feb 26, 2025Updated last year
- Aeon programming language☆25Feb 9, 2026Updated 2 weeks ago
- Grammar prioritization support for EUSolver.☆14Jul 18, 2019Updated 6 years ago
- Regeneration of Google's tpu-resnet tutorial☆12Aug 22, 2018Updated 7 years ago
- A framework for testing compilers' type checkers☆19Nov 15, 2024Updated last year
- Reverse-mode automatic differentiation with delimited continuations☆15Jul 3, 2023Updated 2 years ago
- Probabilistic programming system for fast and exact symbolic inference☆86Jul 10, 2024Updated last year
- Refinement type checker for Java with liquid types and typestates - catch bugs at compile time☆54Updated this week
- AeMCMC is a Python library that automates the construction of samplers for Aesara graphs representing statistical models.☆39Oct 23, 2023Updated 2 years ago
- A lightweight framework to enable hierarchical, heterogeneous dynamical systems co-integration. Batteries included!☆22Jan 19, 2026Updated last month
- Code for enumeration from a CFG☆20Sep 25, 2023Updated 2 years ago
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆26Feb 8, 2026Updated 3 weeks ago
- ☆21Jul 11, 2022Updated 3 years ago
- ☆16Jul 8, 2024Updated last year
- WebWSPR is a WSPR program for SBCs or Linux PCs which uses a web browser as GUI☆23Apr 23, 2020Updated 5 years ago
- GPT-3 as a generative function in Gen.☆19Jul 14, 2024Updated last year
- GPU-accelerated natural language parser☆37Dec 19, 2013Updated 12 years ago
- A library for skolemising (or canonicalising) blank node labels in RDF graphs.☆19Jul 8, 2023Updated 2 years ago
- Primary implementation of the Venture probabilistic programming system☆28Nov 19, 2019Updated 6 years ago
- Common types and interfaces for probabilistic programming☆28Updated this week
- Package for the propagation of representations of low-rank matrices through finite compositions of common operations.☆23Mar 29, 2024Updated last year