Popular repositories Loading

1. cora cora Public

   COnstrained Rewriting Analyser: a tool to analyse term rewriting systems with logical constraints

   Java 5 5

2. satlanguage satlanguage Public

   A "language" that is compiled to SAT

   Java 1 1

3. wanda wanda Public

   a higher-order termination tool

   C++ 1 1

4. Turtle Turtle Public

   A generic MUD client (but designed particularly for Discworld MUD)

   Java

5. starexec-master starexec-master Public

   Forked from TermCOMP/starexec-master

   PHP