/register-machine

Implementation of register machines, with extensible intruction set, macros, and assembly. WIP.

Primary LanguageHaskellBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause

register-machine

Summary of register machines, and their basic implementation, is available here..

This project seeks to implement register machines in Haskell, with consideration for

  • freely extensible instruction set using Sums
  • macros using assembly system / submachines
  • support for nondeterministic instructions using the cofree comonad and recursion schemes