Explore projects

An executable formal semantics of PHP 5

Dan Liew's personal KLEE-CL repo.

Userscripts to help ease the pain of CaTE

Tristan's "Do Not Shoot The Snowman" game, done in Perl/Tk (graphicalsnowman) and ANSI colour codes and Unicode..

Pancake numbers are an obscure number theory sequence, defined as:

pancake(n) = smallest number of "pancake stack flips" to get the worst case stack-of-n-pancakes sorted. p(1)=0; p(2)=1 [casse ba], p(3)=3]; p(18) unknown

A collection of C ADTs (hash:str->str; longhash:str->long; intlist: list(int); strlist: list(str); set:str->boolean)

fork(for bugfixes) of kerberos auth w/o domain

Tests of ElasticSearch to find Anagrams. Change just the IP address embedded in $elastic in Defns.pm

This is a fork of the kstart provided by Russ Allbery at http://www.eyrie.org/~eagle/software/kstart/ with minor tweaks to enable the static compilation for HTCondor using condor_compile and the static Heimdal Kerberos 5 libs.

ANSI C data declaration module constructor: Datadec transforms a series of Haskell style recursive (or inductive) datatype declarations into a C module to implement them.

In our recent Rails training day, we started building a twitter-like microblogging platform called "Chorus", with users signing up (no passwords), signing in, signing out, with signed in users able to add short "Chirps". I did some more work...

Written in C, this is a tiny compiler for a miniscule Haskell subset (essentially, Int -> Int functions) to Dafny translator. So many C tools (Yacc, Lex, my datadec, generic modules etc) used, only about 20% of the code is human-written.

Fork of blynn's nex project. github.com/blynn/nex

Fork of mgutz's ansi project. https://github.com/mgutz/ansi