cwi-swat Goto Github PK

repl-example

resources

rscript-meta

saga

A run-time verifier for Java programs

salix-figure

The Figure library with a salix interface

sbfgtd

sdf-library

Contains the old SDF library, packaged as a Rascal project

separator-trees

Separator Syntax Trees (SSTs)

shapes

The rascal visualisation library independent of Eclipse. It produces html and svg output.

sheet-literals

Spreadsheets, right into your (Javascript) source code.

sle-rug

SLE course at University of Groningen

som-rsc

Simple Object Machine (SOM) in Rascal

sordini

sqat-rug-project

Project template for the SQAT course at RUG

stackoverflow-slack-plugin

Plugin to integrate StackOverflow with Slack

static-analysis-reflection

The scripts used in the "Challenges for Static Analysis of Java Reflection – Literature Review and Empirical Study" ICSE2017 submission

string-origins

String origins case studies

super-awesome-fighters

swat-corpora

syntactic-clojure

Clojure with Syntax

syntactic-clojure-old

temp-bugzilla-bugs

template-islands

textual-model-diff

Textual Model Diff

timelytree

tla-ci

TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/978-3-030-67220-1_4) Based on Crooks' Isolation (https://dl.acm.org/doi/10.1145/3087801.3087802).

ttc-2013-flowgraphs-case

The Flowgraphs case for the Transformation Tool Contest 2013

ttc2014-fixml-case

Rascal submission to Transformation Tool Contest 2014 - The FIXML to Java, C# and C++ Case

ttc2014-movie-database-case

Rascal submission to Transformation Tool Contest 2014 - The Movie Database Case

turinglego

The Universal Turing Machine implemented in NXC, which runs on the LEGO device we made: http://www.legoturingmachine.org