Pinned Loading

1. dt-fixing-tools dt-fixing-tools Public

   Tools for automatic debugging/fixing of dependent tests (WIP).

   Java 1 2

2. Pecan Pecan Public

   An automated theorem prover that uses Büchi automata.

   Python 40 4

3. Psamathe Psamathe Public

   A programming language with flows for writing safer smart contracts.

   TeX 2

4. Enki Enki Public

   A beginner-focused logic programming language.

   Haskell 8 1

5. achelois achelois Public

   achelois is a collection of tools to make writing shell scripts in Prolog easier.

   Prolog 9

6. History-Generator History-Generator Public

   Produces a simulated history of a fake, randomly generated world.

   Python 24 5