GitHub is home to over 50 million developers working together. Join them to grow your own development teams, manage permissions, and collaborate on projects.
AlleAlle: a Bounded Relational Model Finder with Data
Flybytes is an intermediate language between JVM bytecode and software languages (DSLs, PLs), for compilation and decompilation.
Rascal implementation of a core (intermediate-level) DSL for executable norm specifications, with several high-lever languages translating into it and with multiple target translations
Rascal implementation of the MiniJava subset of Java
TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. Based on Crooks' Isolation (https://dl.acm.org/doi/10.1145/3087801.3087802).
C Language Analysis in Rascal
Block-based syntax for Processing (http://processing.org/)
Redex with Concrete Syntax
Set of projects related to the Bacatá notebook infrastructure
The necessary Eclipse feature projects and an update site which bundle some libraries for Rascal for direct use in Eclipse.
Elm-style Web GUIs in Rascal
Repo for the LangDev meetup
Rascal Funcons + Funcon4J
The Rascal tetris implementation demonstrates advanced usage of the Figure library; which is otherwise mostly used for interactive software visualization
Bridging Rascal to ECore
The rascal visualisation library independent of Eclipse. It produces html and svg output.
Jupyter notebooks for DSLs implemented using Rascal Language Workbench
Bridge between Rascal and an external Maude process for using Maude during a Rascal program