Miles Rout milesrout

Pinned repositories

1. beatle

   a parser for beatle, a statically-typed programming language with pythonic syntax

   Python 1

2. qed

   a proof assistant for constructive morse set theory

   Haskell

3. visp

   a lisp interpreter

   Python 3

4. minimal-logic

   a proof checker and model checker for minimal propositional logic

   Haskell 1

5. mort

   a scanner (eventually compiler) for a low level imperative programming language like C

   C

6. sceptre

   an automated theorem prover for minimal propositional logic

   Racket