Exact Inference Engine for Probabilistic Programs
☆135Mar 13, 2025Updated 11 months ago
Alternatives and similar repositories for psi
Users that are interested in psi are comparing it to the libraries listed below
Sorting:
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- Code to reproduce experiments appearing in the academic paper Lost Relatives of the Gumbel Trick☆17Jun 14, 2017Updated 8 years ago
- Probabilistic Computer Network Analysis☆20Dec 8, 2018Updated 7 years ago
- C. Hocquette and A. Cropper, Learning programs with magic values.☆19Oct 5, 2022Updated 3 years ago
- Duet: A Language for Differential Privacy☆16Jul 5, 2022Updated 3 years ago
- Visualization for WebPPL☆14May 2, 2018Updated 7 years ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Aug 24, 2020Updated 5 years ago
- Probabilistic programming for the web☆633May 3, 2024Updated last year
- Probabilistic programming system for fast and exact symbolic inference☆86Jul 10, 2024Updated last year
- ☆10Aug 29, 2018Updated 7 years ago
- ☆10May 30, 2017Updated 8 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆10Jun 21, 2015Updated 10 years ago
- A probabilistic programming language for metacognitive modeling☆139Feb 23, 2026Updated last week
- multi-stage relational programming for staged relational interpreters: running with holes, faster☆139Nov 29, 2025Updated 3 months ago
- A collection of problem specifications in Essence.☆10Dec 4, 2025Updated 3 months ago
- A formalization of synthetic algebraic geometry in Agda☆14Jan 5, 2019Updated 7 years ago
- jod distribution source with commented versions in (jodijs) - tracks J Pacman versions☆10Apr 19, 2025Updated 10 months ago
- Additional features supporting paclets in Mathematica☆15Oct 3, 2017Updated 8 years ago
- Difflog: Synthesizing Datalog Programs using Numerical Relaxation☆12Sep 26, 2019Updated 6 years ago
- Agent models implemented with Pyro☆11Jul 11, 2023Updated 2 years ago
- Programming with LVars, by example☆36Jul 20, 2015Updated 10 years ago
- miscellaneous wolfram language functions☆30Jun 15, 2021Updated 4 years ago
- Semantic program repair system for C programs☆101Sep 26, 2022Updated 3 years ago
- Modeling and Programming with Gecode☆50Feb 18, 2026Updated 2 weeks ago
- Benchmark Suite for Interpretable Rule Learning☆12Aug 23, 2020Updated 5 years ago
- ☆10Nov 5, 2016Updated 9 years ago
- Code for the paper "Stack Attention: Improving the Ability of Transformers to Model Hierarchical Patterns"☆18Mar 15, 2024Updated last year
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆11Dec 7, 2012Updated 13 years ago
- Bayesian optimisation for fast approximate inference in state-space models with intractable likelihoods☆13Nov 29, 2017Updated 8 years ago
- Tracking events, CfPs, abstracts, slides, and all other even related things☆22Oct 4, 2019Updated 6 years ago
- Automated dynamic library bindings for D.☆12Mar 17, 2023Updated 2 years ago
- ICRA: a static analyzer based on interprocedural compositional recurrence analysis☆11Feb 27, 2020Updated 6 years ago
- ☆21Apr 15, 2018Updated 7 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆104Mar 21, 2024Updated last year
- topos programming☆31Sep 20, 2018Updated 7 years ago
- A Toy Inverse Bidirectional Typechecker☆32May 13, 2019Updated 6 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆198Feb 16, 2026Updated 2 weeks ago
- Experimental collections library☆14Mar 27, 2019Updated 6 years ago