sarahzrf

coq-depleted. Coq

sequents. A blatant ripoff of Logitext

legend. A Ruby engine for Zelda-like games. *DEFUNCT*

minelang. A tiny language with compound data structures and first-class functions that compiles to (very inefficient) Minecraft commands. (Not really as impressive as it might sound.)

quick. My stab at making something like a Smalltalk development environment for Ruby.

cas. A GUI for doing forward reasoning (especially algebra), backed by type theory

pyglossary-cc-cedict. Convert CC-CEDICT into a pleasantly-formatted dictionary!

STG. Mini Haskell compiler

ryver_eval_bot. Ruby

Clientside. A simple Rack middleware and JavaScript generator for basic remote method invocation over websockets.

acme-io. Haskell

knits. Haskell

vampire. Evil Haskell expression tree analysis and visualization

Bandcamp-Rehoster. A set of crappy, hacked-together Perl scripts to download a Bandcamp album and upload it to Youtube.

econony. Ruby

TooManyPlants. This is the code (and resources) for my Minecraft mod, TooManyPlants. TMP is no longer being developed (by me, at least), but you're free to compile it if you want. WARNING: this code sucks