graydon/bors 360
Integration robot for buildbot and github
Translator from GHC Core to Isabelle/HOLCF
Simple utility for interfacing between iTunes and an MP3 player
catamorphism/whatdoescismean 3
Files for whatdoescismean.com
Hosted servo test cases
CIS 27 Spring 2020 code
A work-in-progress programming language; not yet suitable for users
Test package for rustpkg
A simple non intrusive resource pool for connections
more