Reed Oei ReedOei

• reedoei.com

Organizations

Pinned Loading

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

   Java 1 2

2. An automated theorem prover that uses Büchi automata.

   Python 44 4

3. A programming language with flows for writing safer smart contracts.

   TeX 2

4. A beginner-focused logic programming language.

   Haskell 7 1

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

   Prolog 10

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

   Python 24 4