Case Studies

datalog-omelet

Several implementations of vanilla Datalog showcasing different parser combinators and styles for collecting free variables.

Dependencies:

  • gll
  • Ztrategic
Case Studies

caml-light-reuse

Caml Light interpreter built with reusable semantic building blocks (Funcons) and GLL parser combinators

Dependencies:

  • gll
  • funcons-tools
  • funcons-values
  • regex-applicative
Case Studies

stepwise-rdp-debugging

Experimentation with multiverse debugging for stepwise, recursive descent parsing

Dependencies:

  • multiverse-debugging
Case Studies

minijava

Several implementations of MiniJava showcasing different approaches to implementing its dynamic semantics.

Dependencies:

  • gll
  • funcons-tools
  • exploring-interpreters
  • imsos-monad