Software

pyrocov — A viral genome wide association study of SARS-CoV-2 growth

Funsor — A library for dynamic programming with distributions, build on PyTorch/JAX

Pyro — A deep probabilistic programming language built on PyTorch

TreeCat — A Bayesian latent tree model of multivariate multinomial data

Loom — A streaming cross-cat inference and query engine

Goftests — Generic goodness of fit tests for random plain old data

Distributions — Primitives for collapsed Gibbs sampling in Python & C++

Pomagma — An inference engine for extensional λ-calculus

Hstar — Inadvertently typed λ-join-calculus in Coq

Puddle — A reactive coding environment built on Pomagma

Kazoo — Experiments in psychoacoustics and musical instruments

The Rational Keyboard — A browser app experiment in just intonation

LiveCoder.net — A simple browser environment for coding live javascript

Johann — A toolset for statistical analysis of equations in combinatory algebras

Jenn3D — A toy for visualizing 4D Coxeter polytopes via stereographic projection to 3D

Art

The Rational Keyboard is an HTML5 web app demonstrating a consonance model in just intonation. It's kind of like a piano with infinitely many keys (one for each rational number) that move around and resize based on what sounds good.

Jenn3D is a tool for viewing stereographic projections of 4D Coxeter polytopes.

A reassigned spectrogram of ThaMuseMeant's song "Rubberball".

A modest mandala in python.