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:
- QuickCheck extension for higher-order properties☆19Feb 14, 2022Updated 4 years ago
- ☆12Oct 22, 2021Updated 5 years ago
- A Gradual Dependently-typed Language☆14Jun 26, 2019Updated 7 years ago
- Materials for OPLSS 2021☆11Jun 1, 2021Updated 5 years ago
- Convert a Caffe Model to a Theano Model☆11Mar 30, 2015Updated 11 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆28Dec 18, 2017Updated 8 years ago
- Web application for course on Formal Reasoning About Programs☆20Sep 17, 2025Updated last year
- 🎲 A Kotlin DSL for probabilistic programming.☆13Apr 8, 2022Updated 4 years ago
- Distributed algorithms in Lean 4☆21Jul 28, 2026Updated 3 months ago
- Mechanized baselines for various type system features☆19Apr 14, 2026Updated 6 months ago
- Lean4 library for substitution inspired by autosubst☆16Oct 23, 2026Updated last week
- ☆11Mar 8, 2025Updated last year
- Probabilistic separation logics for verifying higher-order probabilistic programs.☆45Updated this week
- Probabilistic programming for the web☆638May 3, 2024Updated 2 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.
- 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
- Supercompilation by Evaluation: archived for posterity. See http://github.com/batterseapower/chsc for the latest developments.☆17Sep 10, 2021Updated 5 years ago
- ☆13Oct 22, 2026Updated last week
- Best of POPL (BOP) Reading Group Memoirs☆68Jan 27, 2022Updated 4 years ago
- Optimal approximate sampling from discrete probability distributions☆19Mar 9, 2021Updated 5 years ago
- A Haskell probabilistic programming library.☆23May 28, 2026Updated 5 months ago
- Utilities for loading posteriordb with Julia☆15Oct 7, 2026Updated 3 weeks ago
- Genetic program repair using GHC☆33May 16, 2024Updated 2 years ago
- Probabilistic Programming System Anglican☆143Aug 26, 2024Updated 2 years 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.
- Artifact repository for the "Practical Verification of System-Software Components Written in Standard C" paper (SOSP'24)☆24May 7, 2025Updated last year
- Denotational semantics based on graph and filter models☆25Updated this week
- Practical tools for quantifying how well a sample approximates a target distribution☆28Aug 5, 2020Updated 6 years ago
- Implementations of various toy programming languages☆11Apr 19, 2018Updated 8 years ago
- A graduate seminar on SMT solving and solver-aided systems☆28Jul 17, 2022Updated 4 years ago
- ☆10Oct 26, 2018Updated 8 years ago
- Notes and handouts from OPLSS 2019☆35Jun 28, 2019Updated 7 years ago
- Formal Verification for JavaScript Regular Expressions☆15Updated this week
- 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
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Experiments with modal types☆16Oct 20, 2020Updated 6 years ago
- SIGPLAN website☆13Oct 23, 2026Updated last week
- The Design and Implementation of Probabilistic Programming Languages☆181Jul 6, 2026Updated 3 months ago
- A probabilistic programming language☆319Mar 31, 2026Updated 6 months ago
- A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"☆46Feb 15, 2019Updated 7 years ago
- ☆13Sep 30, 2020Updated 6 years ago
- Linear Temporal Logic☆23Jan 9, 2024Updated 2 years ago