MIT Probabilistic Computing Project

Gen.jl

A general-purpose probabilistic programming system with programmable inference

bayeslite

BayesDB on SQLite. A Bayesian database table for querying the probable implications of data as easily as SQL databases query the data itself.

crosscat

A domain-general, Bayesian method for analyzing high-dimensional data tables

PClean

A domain-specific probabilistic programming language for scalable Bayesian data cleaning

gen-quickstart

Gen learning material as Jupyter notebooks

hfppl

Probabilistic programming with HuggingFace language models

adev

Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"

trcrpm

Temporally-reweighted Chinese restaurant process mixture models for multivariate time series

cgpm

Library of composable generative population models which serve as the modeling and inference backend of BayesDB.

bayes3d

GenParticleFilters.jl

Building blocks for simple and advanced particle filtering in Gen.

GenGPT3.jl

GPT-3 as a generative function in Gen.

GenSMCP3.jl

Automated SMC with Probabilistic Program Proposals, for the Gen PPL.

Gen.clj

A general-purpose probabilistic programming system with programmable inference.

programmable-vi-pldi-2024

Probabilistic programming with programmable variational inference.

CLIPS.jl

Cooperative Language-Guided Inverse Plan Search (CLIPS).

ADEV.jl

Experimental port of ADEV to Julia

b3d

Bayes3D

InversePlanning.jl

Agent modeling and inverse planning, using PDDL and Gen.

pldi2019-gen-experiments

Experiments for PLDI 2019 submission on Gen

gen-finance

hierarchical-irm

Probabilistic structure discovery for rich relational systems

GenPOMDPs.jl

JAX.jl

A wrapper package for using JAX from Julia via PythonCall.

caliban

Research workflows made easy, locally and in the Cloud.

gen-website-private

generative_join

GenSerialization.jl

Gen.jl Trace Serialization

simpplax

Writing a simple probabilistic programming language using interpreters in JAX.

tasks2D

Sequential decision making tasks in 2D environments.