Chelsea Sierra Voss

onelinerizer. Shamelessly convert any Python 2 script into a terrible single line of code

retroactive. Fun with time travel: Implementing retroactive data structures in Python

traceroute. Trace the path packets take through the Internet, from MIT's servers to any website

the-art-of-command-line. Master the command line, in one page

coqingbird. To Mock a Mockingbird, formalized in Coq

quantummechanic. Interactive quantum circuit simulation

syndra. Convert high-level facts-about biology into an executable model, using logical deduction (the name is a pun on synthesis + INDRA)

carbonate. Carbonate 2.0: Now with a SMILES-to-molecule parser, a reasonable API, and some embeddable user interfaces! Summer 2014.

moocviz. Interactive visualizations of edX data. Summer 2014.

ipa. International Phonetic Alphabet library for Haskell

carbonate-plus. Interactive organic chemistry practice problems

lucid. A collection of infrastructure and tools for research in neural network interpretability.

6.856. 6.856 final paper: Yao's Minimax Principle

language-urweb. Ur/Web language support (grammars and snippets) for Atom

thingsmimickingotherthings. Interactive visualization of biological mimicry

theory_of_computation. Formalizing decidability and undecidability of languages.