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 Bahmann8 months
jive-coqFormalization of the jive compiler Helge Bahmann24 months
libsqfsUnnamed repository; edit this file 'description' to name the repository. Helge Bahmann5 years
libtscblibtscb -- thread-safe callback library Helge Bahmann22 months