Skip to content


  • Arctic Code Vault Contributor
  • Pro




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

    Java 1 2

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

    Python 22 2

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

    TeX 2

  4. A beginner-focused logic programming language.

    Haskell 5 1

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

    Prolog 7

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

    Python 13 4

1,412 contributions in the last year

Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Mon Wed Fri

Contribution activity

January 2021

Created a pull request in ReedOei/Psamathe that received 1 comment

Implement `only when`

This implements the only when statement, adding nicer precondition syntax (see #9). As an example, consider the following file (see test/resources/…

+460 −136 1 comment
Opened 4 other pull requests in 1 repository
4 merged
Reviewed 2 pull requests in 1 repository
ReedOei/Psamathe 2 pull requests

Created an issue in ReedOei/Psamathe that received 1 comment

Allow writing flows in either "direction"

Sometimes, it is more natural to write Dst <-- Src instead of Src --> Dst For example, when declaring variables, it is more conventional to have …

1 comment
8 contributions in private repositories Jan 1 – Jan 26

Seeing something unexpected? Take a look at the GitHub profile guide.