Popular repositories

1. awesome-symbolic-execution

   A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.

   683 96

2. juppaal

   Java API for working with UPPAAL model files

   Java 8 5

3. academic-website

   Forked from daattali/beautiful-jekyll

   Build a beautiful and simple website in literally minutes. Demo at http://deanattali.com/beautiful-jekyll

   TeX 5 13

4. BBDist

   Interprocedural analysis that computes the shortest distance between basic blocks

   Java 2

5. the-omega-project

   Forked from davewathaverford/the-omega-project

   Tools from Pugh et al.'s "Omega Project" for constraint-based compiler tools: The "Omega Library" for constraint manipulation; The "Omega Calculator" (text interface); the "Omega Test" for depedenc…

   C 1

6. Realpaver

   Realpaver 0.4 that compiles for Mac

   C 1