fritzo

jenn3d

A Toy for Visualizing Coxeter Polytopes

pomagma

An inference engine for extensional untyped λ-calculus

notebooks

nohm

Nondeterministic Optimal Higher-order Machine

parsable

Lightweight argument parsing for Python

kazoo

Musical experiments: video-controllers, psychoacoustics, machine learning.

barrier-design-doc

Delayed Sampling with Funsors

apted

Python APTED algorithm for the Tree Edit Distance

art

Art Projects

beagle-lib

general purpose library for evaluating the likelihood of sequence evolution on trees

blog

Occasional thoughts

BOHM1.1

Bologna Optimal Higher-Order Machine, Version 1.1

builder

Continuous builder and binary build scripts for pytorch

causalml

Uplift modeling and causal inference with machine learning algorithms

COVID-19

Novel Coronavirus (COVID-19) Cases, provided by JHU CSSE

dotfiles

Public configuration files

effects-bibliography

A collaborative bibliography of work related to the theory and practice of computational effects

EpiGen-COVID19

Using both phylogenetic and time-series data from the COVID19 pandemic to estimate number of missing infections and predict forward epidemic trajectory.

goftests

Generic goodness of fit tests for random plain old data

hstar-z3

Synthesizing λ-join-calculus behaviors in Z3

libhstar

Pure untyped extensional non-deterministic memoized combinator machine

loom

A streaming cross-cat inference engine

opt_einsum

⚡️Optimizing numpy's einsum function with order optimization and GPU support.

opt_einsum_samples

Tensor network sample contractions in JSON format for testing opt_einsum

ppl-rosetta

Probabilistic Programming Examples

pyro-cov

Pyro models of SARS-CoV-2 variants

pyro-test

pyroed

Bayesian optimization of discrete sequences

treecat

A Bayesian latent tree model of multivariate multinomial data

tspyro

Inferring geography, time (and maybe other stuff) with Pyro and tree sequences