Popular repositories

1. JavaSlicer JavaSlicer Public

   A program slicer for Java, based on the system dependence graph (SDG).

   Java 49 17

2. cauder-core cauder-core Public

   A Causal-Consistent Debugger for (Core) Erlang

   Erlang 18 3

3. cauder cauder Public

   A Causal-Consistent Reversible Debugger for Erlang

   Erlang 16 4

4. SWIPrologZ3 SWIPrologZ3 Public

   A simple Prolog API for the Z3 constraint solver

   C 14 2

5. rev-erlang rev-erlang Public

   An implementation of the reversible semantics for Erlang.

   Erlang 13

6. slicerl slicerl Public

   Slicing for Erlang

   Erlang 8