My favorites | Sign in
User Profile

Username: sheardOm...@gmail.com
Starred developers: None


Projects
Role Project Summary
Owner replib A Datatype-Generic Programming Library
Owner trellys The Trellys programming language: dependent types for the masses.
Committer nax Nax programming language
Committer omega Ī©mega is a purely functional programming language and a proof system
Powered by Google Project Hosting