This is your work, valued

sf

sarahzrf

Advanced
@sarahzrf

computational trinitarian who only reads Church on easter and christmas

coq-depleted. Coq

5

sequents. A blatant ripoff of Logitext

5

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

4

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.)

4

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

3

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

3

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

3

STG. Mini Haskell compiler

2

ryver_eval_bot. Ruby

1

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

1

acme-io. Haskell

1

knits. Haskell

1

vampire. Evil Haskell expression tree analysis and visualization

1

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

1

econony. Ruby

1

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

1