eth-sri / psi
Exact Inference Engine for Probabilistic Programs
☆127Updated last week
Related projects: ⓘ
- A probabilistic programming language☆309Updated 2 years ago
- The Design and Implementation of Probabilistic Programming Languages☆173Updated 4 months ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆63Updated 2 months ago
- Optimizing Synthesis with Metasketches, POPL 2016☆23Updated 7 years ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆48Updated 3 years ago
- probabilistic programming for PL folks☆150Updated 3 years ago
- ☆42Updated 7 years ago
- The BLOG programming language☆98Updated last year
- Python Cellular Sheaf Library☆127Updated 2 weeks ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆72Updated 6 years ago
- Probabilistic programming system for fast and exact symbolic inference☆76Updated 2 months ago
- The collection synthesizer☆209Updated 3 years ago
- Python term rewriting☆27Updated 11 years ago
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆85Updated 2 years ago
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆75Updated 3 weeks ago
- A Learning Environment for Theorem Proving☆71Updated 2 years ago
- A formalization of category theory in the Coq proof assistant.☆92Updated 3 years ago
- The simple essence of automatic differentiation☆196Updated 3 years ago
- Lean theorem prover version 0.2 (it supports standard and HoTT modes)☆121Updated 2 years ago
- Haskell re-implementation of STOKE, the stochastic superoptimizer☆63Updated 5 years ago
- Implementation of Lightweight Modular Staging (LMS) in Python☆47Updated 5 years ago
- DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.☆49Updated 7 years ago
- MiniCard: An efficient cardinality solver based on MiniSAT☆16Updated 3 years ago
- VATA Tree Automata Library☆31Updated last month
- Some fun examples of solving problems with symbolic execution☆109Updated 6 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆90Updated 5 years ago
- Dyna2 compiler and REPL☆146Updated 4 years ago
- Tableau-based Theorem Prover for Natural Logic and Language☆114Updated last month
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆76Updated 11 months ago
- Running the code you want to write as fast as the code you have to write☆139Updated 7 years ago