MetaOCaml Examples
  • Bigger examples:
    • The dynamic programming benchmark. Used partly to illustrate "offshoring" in Implicitly Heterogeneous Multi-Stage Programming
    • Jacques Carette Gaussian Elimination's library. Used partly in a paper soon to appear.
  • Small examples:
    • The lint interpreter. Used in A Gentle Introduction to Multi-stage Programming
    • The aloe interpreter and a sample input test.aloe . Used in A Gentle Introduction to Multi-stage Programming, Part II
    • An fft circuit generator. Used in A Methodology for Generating Verified Combinatorial Circuits
    • The simple band-Markov and slightly fancier band-Markov illustrate the usefulness of being able to store open code.
    • The determinant illustrates computing the determinant of a matrix.