akuhlens/lemur

A study on formalizing imperative programming languages.

Lemur

Goal

Lemur is a compiler for a safe low-level systems programming language. It is my attempt to learn the lean programming language, and start down the path of my dreams of writing software that is quick and robust.

TODO

• Do lean tutorial
  • This is currently linked as a submodule that will be removed once I have completed it.
• Start with imp
• Compile imp Native
  • Start Reading list on Certified assembly
    • Description of Vale's approach
• Extend lemur to language close to c-minor
• Extend lemur to have embedded seperation logic