Exact Inference Engine for Probabilistic Programs
☆141Oct 12, 2026Updated 2 weeks ago
Alternatives and similar repositories for psi
Users that are interested in psi are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Probabilistic Computer Network Analysis☆20Dec 8, 2018Updated 7 years ago
- An expressive language for discrete probabilistic programming with lazy knowledge compilation☆18Jul 27, 2026Updated 3 months ago
- Probabilistic programming system for fast and exact symbolic inference☆86Apr 12, 2026Updated 6 months ago
- Random variate generation library in C☆10Oct 21, 2026Updated last week
- Optimal approximate sampling from discrete probability distributions☆19Mar 9, 2021Updated 5 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- This github repository hosts the code used within my thesis work and my last publication.☆13Jul 20, 2017Updated 9 years ago
- Files related to my paper "Continuity of Godel's system T functionals via effectful forcing". MFPS'2013. Electronic Notes in Theoretical …☆13Sep 21, 2021Updated 5 years ago
- Julia package for loop invariant generation☆12Nov 17, 2020Updated 5 years ago
- A probabilistic programming language☆319Mar 31, 2026Updated 6 months ago
- ☆10May 30, 2017Updated 9 years ago
- 🎲 A Kotlin DSL for probabilistic programming.☆13Apr 8, 2022Updated 4 years ago
- C. Hocquette and A. Cropper, Learning programs with magic values.☆18Oct 5, 2022Updated 4 years ago
- Code for enumeration from a CFG☆20Sep 25, 2023Updated 3 years ago
- ☆34Nov 8, 2025Updated 11 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Choice operator in OCaml, providing a backtracking monad☆26Jan 26, 2022Updated 4 years ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆17Aug 24, 2020Updated 6 years ago
- ELINA: ETH LIbrary for Numerical Analysis☆137Apr 7, 2023Updated 3 years ago
- Duet: A Language for Differential Privacy☆17Jul 5, 2022Updated 4 years ago
- A Probability Theory Library for the Coq Theorem Prover☆55Oct 6, 2023Updated 3 years ago
- Gauguin, Descartes, Bayes: A Diurnal Golem's Brain☆14Oct 23, 2025Updated last year
- Lets you create interactive shells in OCaml.☆11Sep 13, 2016Updated 10 years ago
- Hosts domain and instance RDDL files, covering problems from a wide range of disciplines, integration with the pyRDDLGym ecosystem.☆14Apr 4, 2026Updated 6 months ago
- Probabilistic programming for the web☆638May 3, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A Toy Inverse Bidirectional Typechecker☆33May 13, 2019Updated 7 years ago
- Code accompanying the paper "Automating Involutive MCMC using Probabilistic and Differentiable Programming"☆15Jul 21, 2020Updated 6 years ago
- Synthesis of Heap-Manipulating Programs from Separation Logic☆131Apr 18, 2023Updated 3 years ago
- Visualization for WebPPL☆14May 2, 2018Updated 8 years ago
- software archaeology of reflective towers of interpreters☆18Jun 6, 2025Updated last year
- ☆19Oct 14, 2026Updated 2 weeks ago
- An arbitrary-precision differentiable programming language.☆35Jul 7, 2023Updated 3 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆13Sep 25, 2026Updated last month
- Normalization by Evaluation for STLC with sums (no proof of correctness, shame! shame! shame!)☆12Nov 22, 2019Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Constructive Galois connections☆35Mar 26, 2018Updated 8 years ago
- ProbFuzz: A Framework for Testing Probabilistic Programming Systems☆10Oct 22, 2018Updated 8 years ago
- Multi-pass compiler and runtime for probabilistic programming.☆49Oct 24, 2025Updated last year
- A certifiable defense against adversarial examples by training neural networks to be provably robust☆221Jul 25, 2024Updated 2 years ago
- miniKanren with a first-order representation of the search space☆16Mar 11, 2026Updated 7 months ago
- Sigma is a probabilistic programming environment implemented in Julia☆68Jun 24, 2019Updated 7 years ago
- ☆21Apr 15, 2018Updated 8 years ago