cwi-swat/model-algebras
Representing Models using Object Algebras
AmbiDexter is a static detection tool for ambiguity in context-free grammars, written in SDF2 or in Rascal. It is a combination of an approximative state space exploration tool that filters, combined with a fast and exhaustive sentence generator.
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Representing Models using Object Algebras
Course material and template code for the Rascal course at PLDI 2015
Extend JavaScript using Rascal
Implicit Propagation in Object Algebras (Scala macros)