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