GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → namin → Pink

namin / Pink

Collapsing Towers of Interpreters (in Scheme)

Programming Languages

scheme
763 projects
metaprogramming
66 projects

Pink in Scheme (Collapsing Towers of Interpreters)

Code

  • base.scm defines the multi-level core language λ↑↓ as a definitional interpreter in Scheme.
  • pink.scm defines the meta-circular stage-parametric interpreter for Pink on top of the base.
  • matcher.scm defines a matcher as an example on top of Pink.
  • mk.scm defines a µKanren as an example on top of Pink.

Run

Each code file .scm above has a companion -tests.scm, which can be run with Chez Scheme. For example, chez pink-tests.scm runs all the Pink-related tests.

See Also

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].