Popular repositories Loading

1. specimin specimin Public

   SPECIfication MINimizer. A different kind of slicer for Java.

   Java 9 11

2. VGRTool VGRTool Public

   Forked from thoriumrobot/VGRTool

   Java 1

3. specimin-evaluation specimin-evaluation Public

   Forked from tahiat/specimin-evaluation

   Python 3

4. daikon daikon Public

   Forked from tahiat/daikon

   Dynamic detection of likely invariants

   C

5. Chronicle-Core Chronicle-Core Public

   Forked from tahiat/Chronicle-Core

   Low level access to native memory, JVM and OS.

   Java

6. cassandra cassandra Public

   Forked from tahiat/cassandra

   Mirror of Apache Cassandra

   Java