Popular repositories Loading

1. jakstab jakstab Public

   The Jakstab static analysis platform for binaries

   Java 157 24

2. mocca mocca Public

   Archived code of CTPL model checker for assembly code.

   Assembly 3

3. shairport shairport Public

   Forked from abrasive/shairport

   Airtunes emulator! Play sound from your iDevices to any convenient computer.

   C 1

4. CSrankings CSrankings Public

   Forked from emeryberger/CSrankings

   A web app for ranking computer science departments according to their research output in selective venues.

   Python

5. triangle-example triangle-example Public

   Forked from hcoles/triangle-example

   Java