Probabilistic programming with programmable variational inference.
☆22Jun 22, 2024Updated last year
Alternatives and similar repositories for programmable-vi-pldi-2024
Users that are interested in programmable-vi-pldi-2024 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆19May 23, 2025Updated 11 months ago
- ☆23Mar 13, 2026Updated last month
- Direct Trajectory Optimization in JAX☆27Nov 12, 2024Updated last year
- An Imperishable Wonderland of Infinite Fun☆14Apr 17, 2024Updated 2 years ago
- Dense optical flow toolbox (from C.Liu)☆18Jun 14, 2012Updated 13 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- [ICML 2022] Learning Efficient and Robust Ordinary Differential \\ Equations via Invertible Neural Networks☆10Apr 14, 2023Updated 3 years ago
- AD backends for LogDensityProblems.jl.☆13Updated this week
- Inference Combinators in JAX☆53May 17, 2025Updated 11 months ago
- Rejection-minimal, non-reversible, and continuous-time samplers☆12Nov 14, 2025Updated 5 months ago
- ☆14May 28, 2025Updated 11 months ago
- ☆13Apr 28, 2025Updated last year
- Mechanized baselines for various type system features☆18Apr 14, 2026Updated 3 weeks ago
- Arduino firmware and Qt Control GUI for EEZYYbotARM MK2: http://www.thingiverse.com/thing:1454048☆14May 5, 2019Updated 7 years ago
- ☆12Jul 6, 2022Updated 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.
- Implementation of point-based value iteration (for POMDPs)☆12Mar 31, 2020Updated 6 years ago
- ☆12Aug 29, 2020Updated 5 years ago
- MUBI Addon for Kodi / XBMC☆13Jan 2, 2021Updated 5 years ago
- Assignments for COMP SCI 839 from UW-Madison in Fall 2023☆12Nov 30, 2023Updated 2 years ago
- ☆20May 24, 2017Updated 8 years ago
- Verifying the SCION architecture using Gobra☆12Updated this week
- Repo for the Tutorials of Day1-Day2 of the Nordic Probabilistic AI School 2023☆17Jun 13, 2023Updated 2 years ago
- Course website for Systems Verification Fall 2024☆14Jul 10, 2025Updated 9 months ago
- Useful python code snippets.☆14May 26, 2017Updated 8 years 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.
- A generic library for linear and non-linear Gaussian smoothing problems. The code leverages JAX and implements several linearization algo…☆13Apr 20, 2026Updated 2 weeks ago
- ☆15Mar 4, 2024Updated 2 years ago
- ☆10Mar 18, 2021Updated 5 years ago
- cfid: R package for identifying counterfactuals.☆11Dec 11, 2025Updated 4 months ago
- Code in support of the paper Continuous Mixtures of Tractable Probabilistic Models☆12Oct 12, 2024Updated last year
- CS6868: Concurrent Programming☆70Apr 20, 2026Updated 2 weeks ago
- University of Vermont Mechanical Engineering Heat Transfer Course☆16Apr 6, 2023Updated 3 years ago
- A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.☆19Updated this week
- For Jar artifacts☆20Nov 8, 2025Updated 5 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Artifact repository for the "Practical Verification of System-Software Components Written in Standard C" paper (SOSP'24)☆25May 7, 2025Updated last year
- Resources for starting the Machine learning and Deep learning.☆10Dec 29, 2020Updated 5 years ago
- WASP was superseded by: https://github.com/OCamlPro/owi☆16Aug 28, 2024Updated last year
- Various estimators of the infinite dimensional exponential family model☆16May 17, 2017Updated 8 years ago
- Thermodynamic Integration for Turing models and more☆17Apr 26, 2026Updated last week
- List of new Project Fundraising Opportunities for NumFOCUS Sponsored Projects☆12Sep 3, 2025Updated 8 months ago
- Reasoning on the response of logical signaling networks with Answer Set Programming☆15Feb 10, 2026Updated 2 months ago