Miles Rout

Contact Me

Please contact me at miles@rout.nz.

Links

• milesrout on GitHub
• milesrout on SourceHut

Projects

• Vine, which is my current long-term project. Vine is a C library that will eventually be built into a text editor and development environment à la Emacs.
• qed, where you will find my work-in-progress proof assistant and programming language for constructive Morse set theory written in Haskell. It is currently on hold.
• Minimal logic, where you will find a proof checker for minimal propositional logic written in Haskell for my Honours project, using advanced Haskell type system techniques to prevent the representation of structurally invalid proofs, and a minimal propositional Kripke model checker also written in Haskell. It is no longer under development.
• Visp, a simple Lisp written in Python, with macros, using substitution to evaluate (not metacircular, but does use the Python stack). As an experiment, Visp is complete.
• milesrout:sceptre, a fun little automatic theorem prover for minimal propositional logic written in Racket.
• my vim configuration—be sure to use --recurse-submodules to clone this.