- A Complete Implementation of the Positive Supercompiler From “A Roadmap to Metacomputation by Supercompilation” by Gluck & Sorensen
- How to Implement Dependent Types in 80 Lines of Code
- Barebones Lambda Cube in OCaml
- A Simple Cps Conversion as in “Compiling With Continuations”, Andrew W. Appel
- Rust Is Hard, Or: The Misery of Mainstream Programming
- Macros on Steroids, Or: How Can Pure C Benefit From Metaprogramming
hirrolot / distiller Goto Github PK
View Code? Open in Web Editor NEWThis project forked from poitin/distiller
Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".
License: BSD 3-Clause "New" or "Revised" License