Combinator library for describing grammars and GLL parsing

Parser combinator library for GLL parsing

Library for developing exploring interpreters with undo and revisit functionality

Universe of value-types and operators; used by the funcons-tools library

Transpiler generating Haskell interpreter functions from CBS funcon definitions

The funcon framework consisting of a general interpreter for executing funcon terms and the implementation of the Funcons-beta library

Implementation of multiverse debugging with state reductions; generalisation of the approach of Pasquier et al.

Implementation of an intermediate language (IML) for rule-based operational semantics specifications. Provides concrete syntax for big-step and small-step SOS specifications and a reference interpreter for their execution

A Monad providing an abstraction based on the Implicitly Modular Structural Operational Semantics (I-MSOS) approach to specifying programming language semantics