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