Pinned Repositories
ambidexter
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.
dotplugin
Displaying Dot Files in svg format
else
A variant of salix which displays figures with help of java fx
espresso
expresso
Rascal Visualisation
OpenBug
racytoscal
rascal
The core interpreter of the Rascal meta-programming language
rascal-eclipse
Eclipse IMP based IDE for the Rascal meta-programming language (warning migration from svn in progress)
salix
Elm-style Web GUIs in Rascal
BertLisser's Repositories
BertLisser/ambidexter
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.
BertLisser/dotplugin
Displaying Dot Files in svg format
BertLisser/else
A variant of salix which displays figures with help of java fx
BertLisser/espresso
BertLisser/expresso
Rascal Visualisation
BertLisser/OpenBug
BertLisser/racytoscal
BertLisser/rascal
The core interpreter of the Rascal meta-programming language
BertLisser/rascal-eclipse
Eclipse IMP based IDE for the Rascal meta-programming language (warning migration from svn in progress)
BertLisser/salix
Elm-style Web GUIs in Rascal
BertLisser/smt
Rascal Spinoff Project: Satisfiability modulo Theory and Model Checking
BertLisser/software-testing-2013
Software Testing UVA 2013 Group Christian König & Luka Hale
BertLisser/temp-bugzilla-bugs