Fritz Obermeyer

A Toy for Visualizing Coxeter Polytopes

A browser app to demonstrate harmony in just intonation.

A simple browser environment for coding live javascript.

A fast cross-browser riff wave encoder for real-time audio synthesis in HTML5

Synthesizing λ-join-calculus behaviors in Z3

Bayesian induction of programs, à la Solomonoff

No description.

Lightweight argument parsing for Python

Nondeterministic Optimal Higher-order Machine

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

Inference engine for extensional untyped λ-calculus

Inadvertently typed λ-join-calculus

Syntax tools for the Puddle coding environment

A reactive coding environment built on Pomagma

Delayed Sampling with Funsors

A simple python library to support live coding

Web App Sketches

typeset ascii-art math in latex and html

A tool to quickly visualize large sparse graphs in 3D and color

Occasional thoughts

TreeCat experiments

Probabilistic Programming with Language Models

No description.

No description.

The Z3 Theorem Prover

A standalone version of Google's new rich text editor, Kix

Python APTED algorithm for the Tree Edit Distance

Bayesian optimization of discrete sequences

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

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

Tensor network sample contractions in JSON format for testing opt_einsum

Pyro models of SARS-CoV-2 variants

No description.

Bologna Optimal Higher-Order Machine, Version 1.1

Pure untyped extensional non-deterministic memoized combinator machine

Art Projects

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

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

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

Uplift modeling and causal inference with machine learning algorithms

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

Continuous builder and binary build scripts for pytorch

Public configuration files

A Bayesian latent tree model of multivariate multinomial data

Generic goodness of fit tests for random plain old data

A streaming cross-cat inference engine

Probabilistic Programming Examples

No description.

Unofficial fork of torgny's pythlog: constriant logic programming in python

Unofficial fork of the quipper haskell library

Automatically exported from code.google.com/p/livecoding

Low-level primitives for collapsed Gibbs sampling in python and C++

Automatically exported from code.google.com/p/googlemock

Atlas of simple nondeterministic λ-terms

Automatically exported from code.google.com/p/sparsehash

Automatically exported from code.google.com/p/google-breakpad

Social Network Analysis

example idioms in various languages

A lightweight tool for reading Johann databases