sarahzrf Goto Github PK

acme-io

almost-sinatra

Sinatra refactored, only six lines now. More popular than a pair of socks.

bandcamp-rehoster

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

board

board games

cas

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

celluloid

Actor-based concurrent object framework for Ruby

chess

An ok-ish chess game written in Python 3.

clientside

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

codes

An implementation of LZW and Hamming(8, 4) in C that I did for a class

compact-closed

janky hackery with compact closed category gadgetry

coq-depleted

econony

find-conduit

ghci-pretty

tiny hack for colored pretty-printing within ghci

gltoy

Like Shadertoy, but for more of the pipeline!

gsoc

Celluloid mentoring organization for the Google Summer of Code.

haskell-morte-library

A bare-bones calculus-of-constructions

homotopy-webclient

incredible

The Incredible Proof Machine

keycode

Maps web browser keycodes to their corresponding keyboard keys

knits

lambdabot

A friendly IRC bot and apprentice coder, written in Haskell.

learnhaskell

Learn Haskell

legend

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

lispnoria

lysa

Learn You Some Algebras for Glorious Good!

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

nixpkgs

Nix Packages collection

parthial

Easily embeddable Lisp interpreter in Python with built-in limitations on resource usage

peas

Python Evolutionary Algorithms. Contains implementations of NEAT and HyperNEAT.