cwi-swat Goto Github PK

action-semantics-tools

ada-air

Experimental Rascal front-end for Ada

allealle

AlleAlle: a Bounded Relational Model Finder with Data

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.

amstin

analyzing-qualitytime-demo

aterms

The ATerm library is an extremely efficient library for maximally shared terms with a fast serialized format and a garbage collector (in C).

bacata

Set of projects related to the Bacatá notebook infrastructure

bacata-core

Native Jupyter kernel in Java

bacata-rascal

Jupyter notebooks for DSLs implemented using Rascal Language Workbench

bugzilla

cbc-artifacts

clafer

clair-using-project

Example project that uses clair

code-as-data-demo

concrete-redex

Redex with Concrete Syntax

conferencetracker

constraints-lab-experiments

Small experiments with constraints and types

csharp2rascal

Experimental tools to read information from NRefactory into Rascal

deform

Deform is a small combinator library for creating resolution independent 2d-graphics. See wiki for more info.

demoqles

docker-build-server

docs-site-generator

dokre

drambiguity

eclipse-meta-environment

A prototype port of the ASF+SDF Meta-Environment to Eclipse, based on IMP and ToolBusNG

et-al

Fun with binary relation algebra

extreme-team-collaboration

feature-description-language

A Rascal implementation of FDL and its Eclipse-based IDE

flint

Flint