CWI - Software Analysis and Transformation
Redex with Concrete Syntax
C Language Analysis in Rascal
Recaffeinating Java
The Figure library with a salix interface
Elm-style Web GUIs in Rascal
PHP-Parser
Forked from nikic/PHP-ParserA PHP parser written in PHP
Fun with binary relation algebra
Figure Library combined with the ineraction model of salix
Representing Models using Object Algebras
Nomen
Project template for the SQAT course at RUG
IMGUI experiments
Flint
The scripts used in the "Challenges for Static Analysis of Java Reflection – Literature Review and Empirical Study" ICSE2017 submission
Partially Evaluating Object Algebras
Textual Model Diff
JavaMD
Forked from TheolZacharopoulos/MD4JAn implementation of Managed Data in Java
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.
Grace Syntax Definition
