CWI - Software Analysis and Transformation

recaf

Recaffeinating Java ☕️ with custom semantics and extensions

php-analysis

PHP language analyses in Rascal

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).

sle-rug

SLE course at University of Groningen

bacata

Set of projects related to the Bacatá notebook infrastructure

kogi

langdev

Repo for the LangDev meetup

ada-air

Experimental Rascal front-end for Ada

oogll

Simple implementation of GLL

PHP-Parser

A PHP parser written in PHP

rascal-cheat-sheet

Rascal cheat sheet

yop-rascal-nl

Make *y*our *o*wn *p*rogramming language with *rascal* (in Dutch)

bacata-core

Native Jupyter kernel in Java

ifip-wg216

Webpage of IFIP TC2 Working group 2.16 on Language Design

python-air

rascal-dsl-crashcourse

Material for a Crash Course DSL implementation using Rascal

rascal-test

Rascal test set

rascal-wax-on-wax-off

Tutorial Rascal

sheet-literals

Spreadsheets, right into your (Javascript) source code.

clair-using-project

Example project that uses clair

code-as-data-demo

concrete-redex

Redex with Concrete Syntax

drambiguity

gradual-grammars

Gradual Grammars

js-air

a library for javascript analysis in Rascal

rascal-demo-workspace

example Rascal projects for the IPA Rascal course january 2018

rascal-git

rascal-graph-dsl-demo

rascal-iguana

Experimental bridges from Iguana to Rascal

rascal-visual-studio

A Microsoft Visual Studio extension (_not_ code) that bridges to Rascal for running code analyses and transformations