Popular repositories Loading

1. scons-bare scons-bare Public

   Simple build system skeleton using SCons for C/C++ projects

   Python 14 1

2. mc2lib mc2lib Public

   Memory consistency model checking and test generation library.

   C++ 13 5

3. cmurphi cmurphi Public

   CMurphi mirror: http://mclab.di.uniroma1.it/site/index.php/software/18-cmurphi

   C++ 11 5

4. cksumdb cksumdb Public

   Simple BASH script to generate file checksums in various database formats.

   Shell 2 1

5. bibmanage bibmanage Public

   Command-line bibliography management.

   Python 1

6. pkgix pkgix Public

   Forked from pkgix/pkgix

   Prefix environment and simple package management tool.

   Shell 1