graydon/bors 360

Integration robot for buildbot and github

atomb/core-to-isabelle 16

Translator from GHC Core to Isabelle/HOLCF

catamorphism/hplaylist 3

Simple utility for interfacing between iTunes and an MP3 player

catamorphism/whatdoescismean 3

Files for

brson/servo-pages 1

Hosted servo test cases

catamorphism/cis27 1

CIS 27 Spring 2020 code

catamorphism/rust 1

A work-in-progress programming language; not yet suitable for users

catamorphism/test-pkg 1

Test package for rustpkg

catamorphism/episcina 0

A simple non intrusive resource pool for connections