index
NameDescriptionOwnerIdle
boost.atomicC++0x atomic library for boost Helge Bahmann5 years
dynpftUnnamed repository; edit this file to name it for gitweb. Helge Bahmann8 years
jiveJust In Time Vectorizing Compiler Helge Bahmann4 months
jive-coqFormalization of the jive compiler Helge Bahmann20 months
libsqfsUnnamed repository; edit this file 'description' to name the repository. Helge Bahmann5 years
libtscblibtscb -- thread-safe callback library Helge Bahmann18 months