CWI - Software Analysis and Transformation

Pinned Loading

1. bacata bacata Public

   Set of projects related to the Bacatá notebook infrastructure

   Jupyter Notebook 6 1

2. php-analysis php-analysis Public

   PHP language analyses in Rascal

   Rascal 29 8

3. allealle allealle Public

   AlleAlle: a Bounded Relational Model Finder with Data

   Rascal 6 1