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