My favorites | Sign in
User Profile

Starred developers: None

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