- 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 / assert-algebraic Goto Github PK
View Code? Open in Web Editor NEWAsserting algebraic properties of C functions
Home Page: https://hirrolot.github.io/assert-algebraic/
License: MIT License