List all projects
Project Description Owner Last Change
anneal.git Space Annealer 3 years ago
bicat.git A crude UNIX tool that perform... 3 years ago
coinductive-monad.git Code accompanying the paper... 6 years ago
coq-categories.git formalization of basic categor... 3 years ago
coq-hetmet.git Coq proofs and code accompanyi... 3 months ago
eltron.git Java library for Eltron 2684... 3 years ago
fleet.git The FleetCode -- http://fleet... 4 years ago
ghc-base.git GHC "base" library, with HetMe... 2 years ago
ghc-hetmet.git Glasgow Haskell Compiler with... 4 months ago
ghc-prim.git Unnamed repository; edit this... 3 years ago
haskell-directory.git Unnamed repository; edit this... 3 years ago
jrx.git JRX: an RX implementation... 4 years ago
libnss-afs.git Name Service Switch library... 4 years ago
nestedvm.git Unnamed repository; edit this... 7 weeks ago
org.ibex.arenaj.git Unnamed repository; edit this... 9 years ago
org.ibex.classgen.git Unnamed repository; edit this... 5 years ago
org.ibex.core.git Unnamed repository; edit this... 5 years ago
org.ibex.crypto.git Unnamed repository; edit this... 5 years ago
org.ibex.gcclass.git Unnamed repository; edit this... 9 years ago
org.ibex.io.git Unnamed repository; edit this... 5 years ago
org.ibex.jetty.git Unnamed repository; edit this... 8 years ago
org.ibex.jinetd.git Unnamed repository; edit this... 8 years ago
org.ibex.js.git Unnamed repository; edit this... 7 years ago
org.ibex.mail.git Unnamed repository; edit this... 5 years ago
org.ibex.nanogoat.git Unnamed repository; edit this... 3 years ago
org.ibex.net.git Unnamed repository; edit this... 5 years ago
org.ibex.tool.git Unnamed repository; edit this... 8 years ago
org.ibex.util.git Unnamed repository; edit this... 3 years ago
org.ibex.widgets.git Unnamed repository; edit this... 3 years ago
org.ibex.wildebeest.git Unnamed repository; edit this... 9 years ago
org.ibex.xt-crawshaw.git Unnamed repository; edit this... 9 years ago
org.ibex.xt.git Unnamed repository; edit this... 8 years ago
rsa2client.git Standalone client for the... 4 years ago
sbp.git SBP -- The Scannerless Boolean... 2 years ago
slipway.git Slipway -- bitstream-level... 4 years ago
unicode2tex.git A crude Java tool to convert... 3 years ago
wix.git WiX: a text markup format 3 years ago