Popular repositories Loading

1. open-synthesis open-synthesis Public archive

   Open platform for CIA-style intelligence analysis

   Python 212 51

2. dslfin-www dslfin-www Public

   Domain Specific Languages for Financial Systems Webpage

   CSS 12 1

3. HoneyRJ HoneyRJ Public

   Low-Interaction Honeypot in Java

   Java 3 4

4. optimal-guitar optimal-guitar Public

   Find the most efficient way to play a song on the guitar

   Java 3

5. rt-refactor-suggest rt-refactor-suggest Public

   Real-time Refactoring Suggestions in Eclipse

   Java 2

6. VeriWeb VeriWeb Public

   Crowdsourced Program Verification

   Java 1