Explore @cwi-swat Open Source projects

CWI - Software Analysis and Transformation (@cwi-swat)

cwi-swat

Stars
425
Global Org. Rank 26,363 (Top 9 %)
Registered over 12 years ago
Most used languages

Java
32.3 %

Rascal 24.2 %

JavaScript
9.1 %

C
6.1 %

C#
4.0 %

Ruby
3.0 %

HTML
3.0 %

Shell
3.0 %

Scala
2.0 %

Haskell
2.0 %

Ada
1.0 %

TeX
1.0 %

Objective-C
1.0 %

PHP
1.0 %

TLA 1.0 %

Jupyter Notebook
1.0 %

Prolog
1.0 %

Graphviz (DOT) 1.0 %

Dockerfile
1.0 %

OCaml
1.0 %

Yacc 1.0 %
Location 🇳🇱 Netherlands
Country Total Rank 1,280
Country Ranking

Rascal 1

TLA 1

Ada
3

Graphviz (DOT) 3

Yacc 4

OCaml
17

Prolog
29

Haskell
73

Java
131

Scala
187

TeX
227

C
446

Objective-C
478

Ruby
511

Dockerfile
563

HTML
677

Jupyter Notebook
679

C#
689

JavaScript
896

Shell
1,142

PHP
2,981

recaf

Recaffeinating Java ☕️ with custom semantics and extensions

TuringLEGO

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

non-layered-tidy-trees

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

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

aterms

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

meta-environment

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.

rebel

monadic-frp

Code accompanying the paper "Monadic Functional Reactive Programming"

sle-rug

SLE course at University of Groningen

rascal-dotnet

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

saga

A run-time verifier for Java programs

bacata

Set of projects related to the Bacatá notebook infrastructure

Jupyter Notebook

grammarlab

langdev

Repo for the LangDev meetup

oogll

Simple implementation of GLL

implicit-propagation

Implicit Propagation in Object Algebras

rascal-ecore

Bridging Rascal to ECore

deform

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

allealle

AlleAlle: a Bounded Relational Model Finder with Data

rascal-machine-learning-demo

Example basic machine learning algorithms written in Rascal

ada-air

Experimental Rascal front-end for Ada

shapes

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

stackoverflow-slack-plugin

Plugin to integrate StackOverflow with Slack

rascal-m3-metrics

Metric calculations with the M3 meta-model

naked-object-algebras

Object Algebras decorated with Concrete Syntax Productions

imgui

IMGUI experiments

rascal-cheat-sheet

Rascal cheat sheet

bacata-rascal

Jupyter notebooks for DSLs implemented using Rascal Language Workbench

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.

tymore

oberon0

rascal-csharp

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

flint

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.

amstin

yop-rascal-nl

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

csharp2rascal

Experimental tools to read information from NRefactory into Rascal

ocaml-operator-ambiguity-experiment

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

hack-your-javascript

Extend JavaScript using Rascal

marvol

static-analysis-reflection

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

rascal-mps

nomen

Lua_AiR

Lua Analysis in Rascal

resources

rascal-wax-on-wax-off

Tutorial Rascal

ldta-www

meta-blitz

rascal-plt

rascal-ql-tutorial-prototype

Prototype for the hands-on Rascal QL tutorial

rascal-test

Rascal test set

project-planning-domain

timelytree

model-algebras

Representing Models using Object Algebras

rscript-meta

action-semantics-tools

sqat-rug-project

Project template for the SQAT course at RUG

funcons

sbfgtd

rascal-yaml

YAML (de)serialization in Rascal

rascal-java-build-manager

peval-java-interp

Minimal Partial Evaluation of Java Interpreters

waebric

rascal-ql-tutorial

dokre

jjtraveler

jjtraveler-csharp

temp-bugzilla-bugs

et-al

Fun with binary relation algebra

rascal-experiments

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.

org.ossmeter.metricprovider.rascal

Bridge from Rascal to OSSMeter platform

migration-from-cwi-svn-to-github

syntactic-clojure-old

j0beron

rascal-docker

ifip-wg216

Webpage of IFIP TC2 Working group 2.16 on Language Design

jeff-model

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

sheet-literals

Spreadsheets, right into your (Javascript) source code.

pacioli

clafer

rascal-eclipse-libraries

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

rascal-discover-ide

Discover IDE services through annotations of functions and variables

jrelcal

swat-corpora

visitor-to-interpreter

rascal-minijava

Rascal implementation of the MiniJava subset of Java

textual-model-diff

Textual Model Diff

super-awesome-fighters

rebel-runtime-lib

relation-stores

python-air

reduction-semantics-with-plt-redex

rascal-fragment

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.

missgrant

rascal-ecore-fsm-demo

Demo project for using Rascal and EMF

bacata-core

Native Jupyter kernel in Java