Popular repositories Loading

1. rascal rascal Public

   Forked from usethesource/rascal

   The core interpreter of the Rascal meta-programming language

   Java

2. rascal-eclipse rascal-eclipse Public

   Forked from usethesource/rascal-eclipse

   Eclipse IMP based IDE for the Rascal meta-programming language (warning migration from svn in progress)

   Java

3. ambidexter ambidexter Public

   Forked from cwi-swat/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, combin…

   Java

4. smt smt Public

   Rascal Spinoff Project: Satisfiability modulo Theory and Model Checking

   Java

5. dotplugin dotplugin Public

   Displaying Dot Files in svg format

   Java

6. OpenBug OpenBug Public