Code accompanying the paper "Automating Involutive MCMC using Probabilistic and Differentiable Programming"
☆15Jul 21, 2020Updated 6 years ago
Alternatives and similar repositories for autoimcmc
Users that are interested in autoimcmc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Prototype of the system described in "Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages"☆11Aug 8, 2025Updated last year
- Implementation of Nonparametric Hamiltonian Monte Carlo☆13Feb 13, 2023Updated 3 years ago
- Gauguin, Descartes, Bayes: A Diurnal Golem's Brain☆14Oct 23, 2025Updated last year
- Code repository for "Portal-Based Path Perturbation for Metropolis Light Transport"☆10Oct 26, 2020Updated 6 years ago
- A shader system built using staged metaprogramming☆15Jul 9, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Continuously tempered Hamiltonian Monte Carlo☆12Apr 12, 2017Updated 9 years ago
- Supplemental source code for SIGGRAPH 2025 technical paper: "Fast Isotropic Median Filtering".☆20Aug 27, 2025Updated last year
- Parallelizing MCMC across the sequence length via Newton's method.☆45Sep 7, 2026Updated last month
- Official implementation of Siggraph 2025 paper "Transforming Unstructured Hair Strands into Procedural Hair Grooms"☆22Oct 6, 2025Updated last year
- Official Implementation of ACL2023: Unsupervised Discontinuous Constituency Parsing with Mildly Context-Sensitive Grammars☆13May 24, 2023Updated 3 years ago
- Supplementary materials for our SIGGRAPH 2022 paper☆28Apr 28, 2022Updated 4 years ago
- Probabilistic programming system for fast and exact symbolic inference☆86Apr 12, 2026Updated 6 months ago
- Cats typeclass-based collection library for Scala (Trees, Graphs, Multimaps and more!)☆11Oct 4, 2017Updated 9 years ago
- ☆22Jun 3, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A scripting language built for speed in world where JavaScript runs on web servers☆11May 7, 2022Updated 4 years ago
- Code required to reproduce the experiments in Auxiliary Variational MCMC☆17Oct 1, 2018Updated 8 years ago
- Official Implementation of ACL2023: Don't Parse, Choose Spans! Continuous and Discontinuous Constituency Parsing via Autoregressive Span …☆14Aug 25, 2023Updated 3 years ago
- DSOLVE☆10Apr 11, 2014Updated 12 years ago
- BuDDy Binary Decision Diagram(BDD) library provisioned with CMake files☆14Apr 1, 2017Updated 9 years ago
- Codebase describing experiments in Truncation Sampling as Language Model Desmoothing☆13Dec 6, 2022Updated 3 years ago
- Erlang implementation built on GraalVM/Truffle☆15May 31, 2019Updated 7 years ago
- PART: a fast algorithm for aggregating MCMC sub-chain samples☆10Sep 30, 2015Updated 11 years ago
- Recognizing and exploiting conjugacy without a domain-specific language☆36Dec 1, 2019Updated 6 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.
- Code for the ACL 2021 paper "Structural Guidance for Transformer Language Models"☆15Sep 17, 2025Updated last year
- Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/☆12Sep 12, 2026Updated last month
- Complexity Analysis Tool for Integer Programs☆15Jan 30, 2026Updated 8 months ago
- An interpreter for Janus, the reversible programming language.☆15Jun 7, 2020Updated 6 years ago
- ☆19Oct 14, 2026Updated 2 weeks ago
- This is a forked version of OCaml, aimed to be compiled to WASM.☆12Aug 23, 2021Updated 5 years ago
- Provides a convenience Julia macro to extract fields from composite types☆15Feb 14, 2020Updated 6 years ago
- An ultrafast chess move generator. ~400Million nodes per second.☆13Nov 24, 2023Updated 2 years ago
- mReasoner is a unified computational implementation of the model theory of thinking and reasoning☆17Aug 17, 2023Updated 3 years ago
- 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.
- Easy trees in LaTeX and TikZ☆15Dec 16, 2022Updated 3 years ago
- ICRA: a static analyzer based on interprocedural compositional recurrence analysis☆12Feb 27, 2020Updated 6 years ago
- A simple library implementation of binary sessions☆11Jun 18, 2024Updated 2 years ago
- A differentiable programming language with an integration primitive that soundly handles interactions among the derivative, integral, and…☆43Apr 8, 2024Updated 2 years ago
- [Kauf & Ivanova, ACL 2023] A Better Way to Do Masked Language Model Scoring☆13Dec 1, 2023Updated 2 years ago
- ☆60Dec 9, 2025Updated 10 months ago
- Generate bindings for C++ code using clang (python bindings) and pybind11☆11Aug 30, 2021Updated 5 years ago