Fritz Obermeyer

rationalkeyboard. A browser app to demonstrate harmony in just intonation.

jenn3d. A Toy for Visualizing Coxeter Polytopes

livecoder.net. A simple browser environment for coding live javascript.

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

Johann. Bayesian induction of programs, à la Solomonoff

hstar-z3. Synthesizing λ-join-calculus behaviors in Z3

notebooks. Jupyter Notebook

nohm. Nondeterministic Optimal Higher-order Machine

parsable. Lightweight argument parsing for Python

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

puddle-syntax. Syntax tools for the Puddle coding environment

puddle. A reactive coding environment built on Pomagma

pomagma. Inference engine for extensional untyped λ-calculus

hstar. Inadvertently typed λ-join-calculus

webapps. Web App Sketches

livecoder. A simple python library to support live coding

barrier-design-doc. Delayed Sampling with Funsors

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

jtext. typeset ascii-art math in latex and html