probabilistic programming for PL folks
☆161Jul 14, 2021Updated 5 years ago
Alternatives and similar repositories for ppl-intro
Users that are interested in ppl-intro are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12Oct 22, 2021Updated 4 years ago
- Materials for OPLSS 2021☆11Jun 1, 2021Updated 5 years ago
- LogDensityProblems implementation for Stan models☆19Oct 1, 2026Updated last week
- A Gradual Dependently-typed Language☆14Jun 26, 2019Updated 7 years ago
- 🎲 A Kotlin DSL for probabilistic programming.☆13Apr 8, 2022Updated 4 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Web application for course on Formal Reasoning About Programs☆20Sep 17, 2025Updated last year
- ☆28Dec 18, 2017Updated 8 years ago
- A probabilistic programming language☆318Mar 31, 2026Updated 6 months ago
- A compiler that translates a form of lambda calculus to C☆12Apr 21, 2024Updated 2 years ago
- Based on paper by Greg Morrisett , TAL-0 is the design of a RISC-style typed assembly language which focuses on control-flow safety.☆23Dec 14, 2016Updated 9 years ago
- Probabilistic programming for the web☆638May 3, 2024Updated 2 years ago
- Utilities for loading posteriordb with Julia☆15Sep 28, 2026Updated last week
- Material for the course Large-Scale Convex Optimisation at LTH, autumn 2020☆25Feb 3, 2021Updated 5 years ago
- z3-powered solver (theorem prover) for deal☆19Sep 28, 2023Updated 3 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.
- ☆16Nov 9, 2017Updated 8 years ago
- Implementations of various toy programming languages☆11Apr 19, 2018Updated 8 years ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆46May 25, 2021Updated 5 years ago
- Official code for "Stochastic Localization via Iterative Posterior Sampling"☆13May 2, 2025Updated last year
- Experiments with modal types☆16Oct 20, 2020Updated 5 years ago
- Linear Temporal Logic☆22Jan 9, 2024Updated 2 years ago
- Emacs, vim, Sublime, Atom, IntelliJ, etc☆24Jan 27, 2017Updated 9 years ago
- A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"☆46Feb 15, 2019Updated 7 years ago
- miniKanren with a first-order representation of the search space☆16Mar 11, 2026Updated 6 months 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.
- ☆50May 15, 2023Updated 3 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆37Jan 8, 2017Updated 9 years ago
- generative programming & verification☆34Jul 18, 2026Updated 2 months ago
- An arbitrary-precision differentiable programming language.☆35Jul 7, 2023Updated 3 years ago
- WASP was superseded by: https://github.com/OCamlPro/owi☆16Aug 28, 2024Updated 2 years ago
- ☆13Aug 18, 2026Updated last month
- The PERPL Compiler☆14Oct 17, 2025Updated 11 months ago
- Splat: Affinity diagramming tool in a single HTML file. Cluster notes on a board. Organize data visually. Fully local for privacy. Semant…☆21Dec 31, 2025Updated 9 months ago
- Modeling agents with probabilistic programs☆69Sep 13, 2026Updated 3 weeks ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- The uncurried minimal functional programming language for CPS transformation☆18Feb 23, 2024Updated 2 years ago
- ☆38Jul 15, 2026Updated 2 months ago
- Agda to C compiler☆11Sep 23, 2025Updated last year
- Bug-free machine learning on stochastic computation graphs☆404Mar 3, 2019Updated 7 years ago
- A renderer for sheet diagrams in bimonoidal categories☆13Aug 28, 2021Updated 5 years ago
- Mechanized baselines for various type system features☆19Apr 14, 2026Updated 5 months ago
- Adversarial attacks for Neural Networks written with FluxML☆16Jan 20, 2021Updated 5 years ago