Popular repositories

1. awesome-symbolic-execution Public

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

   879 117

2. juppaal Public

   Java API for working with UPPAAL model files

   Java 8 5

3. academic-website Public

   Forked from daattali/beautiful-jekyll

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

   TeX 8 21

4. Realpaver Public

   Realpaver 0.4 that compiles for Mac

   C 2

5. BBDist Public

   Interprocedural analysis that computes the shortest distance between basic blocks

   Java 2

6. the-omega-project Public

   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