Pinned

1. rumur rumur Public

   yet another model checker

   C++ 12 5

2. clink clink Public

   a modern re-implementation of Cscope

   C 37 2

3. needtoknow needtoknow Public

   RSS to email bridge

   Python 6 1

4. vimcat vimcat Public

   cat a file to the terminal with vim syntax highlighting

   C

5. passwand passwand Public

   Password manager

   C

6. xcache xcache Public

   ccache for all programs

   C 1