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:
- Automated SMC with Probabilistic Program Proposals, for the Gen PPL.☆23Oct 31, 2023Updated 2 years ago
- Builds a knowledge graph from the [COVID-19 Open Research Dataset (CORD-19)](https://pages.semanticscholar.org/coronavirus-research) data…☆16Mar 27, 2020Updated 6 years ago
- ☆23Mar 13, 2026Updated 3 months ago
- Direct Trajectory Optimization in JAX☆27Nov 12, 2024Updated last year
- An Imperishable Wonderland of Infinite Fun☆14Apr 17, 2024Updated 2 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.
- Dense optical flow toolbox (from C.Liu)☆19Jun 14, 2012Updated 14 years ago
- [ICML 2022] Learning Efficient and Robust Ordinary Differential \\ Equations via Invertible Neural Networks☆10Apr 14, 2023Updated 3 years ago
- AD backends for LogDensityProblems.jl.☆13May 6, 2026Updated last month
- First two front-end phases of a language-independent compiler implemented in C++☆14Jul 27, 2020Updated 5 years ago
- Inference Combinators in JAX☆53May 17, 2025Updated last year
- Implicit Differentiable Optimal Control (IDOC) with JAX☆12May 11, 2022Updated 4 years ago
- Repository for Variational Linearized Laplace Approximation for Bayesian Deep Learning☆13Sep 6, 2024Updated last year
- Code from the Functional Scala Conference talk: Type inference for plain-text SQL☆10Dec 5, 2024Updated last year
- ☆13Apr 28, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆10Jan 12, 2024Updated 2 years ago
- Mechanized baselines for various type system features☆18Apr 14, 2026Updated 2 months 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
- Implementation of point-based value iteration (for POMDPs)☆12Mar 31, 2020Updated 6 years ago
- ☆17Jun 17, 2025Updated 11 months ago
- Sparse Tensor Programming in Python powered by Finch.jl☆23Jun 8, 2026Updated last week
- A lightweight Python library for saving simulation results in a standardized, reproducible format..☆34Jan 26, 2026Updated 4 months ago
- MUBI Addon for Kodi / XBMC☆13Jan 2, 2021Updated 5 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- PRODeep: A Platform for Robustness Verification of Deep Neural Networks☆12Nov 11, 2020Updated 5 years ago
- ☆15Aug 15, 2025Updated 10 months ago
- Experimental port of ADEV to Julia☆11Nov 12, 2023Updated 2 years ago
- ☆18Feb 16, 2026Updated 4 months ago
- Automated Reasoning for the Working Mathematician☆11Aug 30, 2019Updated 6 years ago
- 连接ssh vpn后，通过修改路由表，实现vpn和机器网络同时使用。主要针对MotionPro这款软件，可用于北京工业大学等☆13Dec 30, 2016Updated 9 years ago
- A Compiler made for the Decaf Language using Flex, Bison and LLVM IR for generating code dump and interpreting.☆11Nov 30, 2018Updated 7 years ago
- A semi-automated system based on LLM's to generate ontologies from datasets☆36Oct 29, 2024Updated last year
- Julia package for students in Decision Making under Uncertainty☆14Apr 20, 2026Updated last month
- 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.
- Useful python code snippets.☆14May 26, 2017Updated 9 years ago
- The PERPL Compiler☆15Oct 17, 2025Updated 7 months ago
- ☆10Mar 18, 2021Updated 5 years ago
- cfid: R package for identifying counterfactuals.☆11Dec 11, 2025Updated 6 months ago
- Long Form NLG Generation Based on Large Language Models☆17Jan 31, 2024Updated 2 years ago
- Code in support of the paper Continuous Mixtures of Tractable Probabilistic Models☆12Oct 12, 2024Updated last year
- ☆12Mar 11, 2026Updated 3 months ago