Discover @sarahzrf Open Source projects

@sarahzrf

sarahzrf

Stars
37
Global Rank 421,862 (Top 15 %)
Followers 35
Registered over 14 years ago
Most used languages

Haskell
37.5 %

Ruby
31.3 %

Python
12.5 %

Coq 6.3 %

Java
6.3 %

PureScript 6.3 %
Location 🇺🇸 United States
Country Total Rank 82,464
Country Ranking

Coq 90

PureScript 93

Haskell
837

Ruby
8,420

coq-depleted

sequents

A blatant ripoff of Logitext

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

legend

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

quick

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

pyglossary-cc-cedict

Convert CC-CEDICT into a pleasantly-formatted dictionary!

STG

Mini Haskell compiler

cas

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

knits

econony

vampire

Evil Haskell expression tree analysis and visualization

acme-io

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

ryver_eval_bot

Clientside

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

Bandcamp-Rehoster

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