The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based run-time system)

Static checker, compiler to Java and run-time classes for compiled Rascal programs

Salix (core)

The Maven plugin for Rascal checking, compilation, testing, code generation applications integration and documentation generation.

Markdown and Rascal processor that generates linked, up-to-date and checked documentation

TypePal is a framework for name analysis, type checking and type inference

The rascal website hosts the Rascal project, all of its documentation, the news and the presentation of (third-party) libraries and projects written in Rascal.

Generic immutable recursive data representation API targeted at source code models and more.

An LSP server for Rascal which includes an easy-to-use LSP generator for languages implemented in Rascal, and an interactive terminal REPL.

C Language Analysis in Rascal