Discover cwi-swat/action-semantics-tools Open Source project

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

TuringLEGO

Code accompanying the SP&E paper "Drawing non-layered tidy trees in linear time" by Atze van der Ploeg

non-layered-tidy-trees

PHP language analyses in Rascal

php-analysis

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

tla-ci

TLA

aterms

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

The ASF+SDF Meta-Environment is an inter-active IDE for language prototyping, source code analysis and source-to-source transformation. It contains the implementation of SDF2 and ASF+SDF.

meta-environment

rebel

Code accompanying the paper "Monadic Functional Reactive Programming"

monadic-frp

Haskell

sle-rug

SLE course at University of Groningen

Like that little powerful language called Rascal? Missing the ability to inspect .NET applications? No problem, I added it. Using mono (and cecil), Protocol Buffers, some Linq queries and lots of decompiling .class files I've created a rascal-dotnet library.

rascal-dotnet

rascal-msr

MSR stands for mining software repositories. These prototype Rascal libraries and extensions give direct access to the source code and meta data of CVS, SVN and GIT version management systems.

rebel2

kogi

A run-time verifier for Java programs

saga

bacata

Set of projects related to the Bacatá notebook infrastructure

Jupyter Notebook

grammarlab

GrammarLab

Haskell

langdev

Repo for the LangDev meetup

HTML

oogll

Simple implementation of GLL

Implicit Propagation in Object Algebras

implicit-propagation

Scala

rascal-ecore

Bridging Rascal to ECore

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

deform

AlleAlle: a Bounded Relational Model Finder with Data

allealle

Example basic machine learning algorithms written in Rascal

rascal-machine-learning-demo

Experimental Rascal front-end for Ada

ada-air

Ada

shapes

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

Plugin to integrate StackOverflow with Slack

stackoverflow-slack-plugin

Metric calculations with the M3 meta-model

rascal-m3-metrics

naked-object-algebras

Object Algebras decorated with Concrete Syntax Productions

imgui

rascal-cheat-sheet

bacata-rascal

Jupyter notebooks for DSLs implemented using Rascal Language Workbench

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.

ambidexter

Yacc

tymore

Liked rascal-dotnet? Miss a full AST? Well this library fills that void :)

oberon0

Ruby

rascal-csharp

flint

Flint

Prolog

generate-installer

A shell script that generates auto extractable shell scripts for installing pre-compiled binaries and relocating them to the installation site on Un*x systems.

Shell

amstin

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

yop-rascal-nl

Experimental tools to read information from NRefactory into Rascal

csharp2rascal

ocaml-operator-ambiguity-experiment

This repository reports on an experiment we did to validate the grammar transformation for implementing operator precedence and associativity

OCaml

hack-your-javascript

Extend JavaScript using Rascal

marvol

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

static-analysis-reflection

rascal-mps

nomen

Lua_AiR

Lua Analysis in Rascal

resources

rascal-wax-on-wax-off

Tutorial Rascal

ldta-www

meta-blitz

Prototype for the hands-on Rascal QL tutorial

rascal-plt

rascal-ql-tutorial-prototype

rascal-test

Rascal test set

project-planning-domain

Graphviz (DOT)

timelytree

Representing Models using Object Algebras

model-algebras

Project template for the SQAT course at RUG

rscript-meta

sqat-rug-project

funcons

sbfgtd

YAML (de)serialization in Rascal

rascal-yaml

rascal-java-build-manager

Minimal Partial Evaluation of Java Interpreters

peval-java-interp

waebric

rascal-ql-tutorial

HTML

dokre

jjtraveler

Fun with binary relation algebra

jjtraveler-csharp

temp-bugzilla-bugs

et-al

This project contains experiments, small case studies, design scenarios for the application of Rascal. It is used by the Rascal language designers as a sandbox.

rascal-experiments

Bridge from Rascal to OSSMeter platform

org.ossmeter.metricprovider.rascal

migration-from-cwi-svn-to-github

Ruby

syntactic-clojure-old

j0beron

Webpage of IFIP TC2 Working group 2.16 on Language Design

rascal-docker

Dockerfile

ifip-wg216

HTML

jeff-model

JEff: An object-oriented language with built-in effects

Spreadsheets, right into your (Javascript) source code.

sheet-literals

pacioli

The necessary Eclipse feature projects and an update site which bundle some libraries for Rascal for direct use in Eclipse.

clafer

rascal-eclipse-libraries

rascal-discover-ide

Discover IDE services through annotations of functions and variables

jrelcal

swat-corpora

Rascal implementation of the MiniJava subset of Java

visitor-to-interpreter

rascal-minijava

textual-model-diff

Textual Model Diff

super-awesome-fighters

rebel-runtime-lib

Scala

relation-stores

python-air

Rascal fragment was a necessary project for wrapping the ASF+SDF and SDF2 run-time on which Rascal used to be bootstrapped. It is obsolete now.

reduction-semantics-with-plt-redex

rascal-fragment

Shell

missgrant

Demo project for using Rascal and EMF

rascal-ecore-fsm-demo

Native Jupyter kernel in Java

bacata-core