Explore projects

An executable formal semantics of PHP 5

Only to test git settings

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

Dan Liew's personal KLEE-CL repo.

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

WACC examples featuring language extensions implemented in WACC_19

A Python-based Flask template to get you started!

A Python-based Flask template to get you started!

Merge test repo for the Linkload last_touch scripting task.