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