The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based run-time system)
☆450Updated this week
Alternatives and similar repositories for rascal
Users that are interested in rascal are comparing it to the libraries listed below
Sorting:
- C Language Analysis in Rascal☆27Dec 16, 2025Updated 2 months ago
- Generic immutable recursive data representation API targeted at source code models and more.☆37Feb 1, 2026Updated last month
- ☆13Feb 18, 2020Updated 6 years ago
- An LSP server for Rascal which includes an easy-to-use LSP generator for languages implemented in Rascal, and an interactive terminal REP…☆22Updated this week
- John Shutt's "Kernel" language implemented on ABE (C) runtime.☆13Sep 3, 2018Updated 7 years ago
- The Whiley Compiler (WyC)☆227Feb 9, 2023Updated 3 years ago
- Metaprogramming framework for .net☆91Dec 27, 2019Updated 6 years ago
- Recaffeinating Java ☕️ with custom semantics and extensions☆51Apr 5, 2022Updated 3 years ago
- ☆71Jun 12, 2020Updated 5 years ago
- The Déjà Vu programming language☆15Aug 12, 2014Updated 11 years ago
- Shen language kernel sources for porters☆383Jan 19, 2026Updated last month
- A minimalist, general-purpose programming language based on meta-programming and parse tree rewrites☆283Feb 5, 2023Updated 3 years ago
- The Slate programming language☆149Oct 15, 2023Updated 2 years ago
- The Flix Programming Language☆2,587Updated this week
- Research on integrating datalog & lambda calculus via monotonicity types☆416Jun 21, 2022Updated 3 years ago
- The Lux Programming Language☆1,724Jan 28, 2026Updated last month
- The Egison Programming Language☆919Updated this week
- Functional programming language for JVM.☆252Dec 18, 2025Updated 2 months ago
- Spoofax runtime☆161Apr 28, 2025Updated 10 months ago
- A small nanopass compiler from a subset of Scheme to C. (Developed for Clojure Conj 2013)☆368May 1, 2021Updated 4 years ago
- Flybytes is an intermediate language between JVM bytecode and software languages (DSLs, PLs), for compilation and decompilation.☆19Dec 16, 2025Updated 2 months ago
- an experiment in presenting code.☆14Aug 11, 2020Updated 5 years ago
- A Java implementation of the Shen programming language☆28May 13, 2019Updated 6 years ago
- syn·di·cate: a language for interactive programs☆160Dec 18, 2025Updated 2 months ago
- The new nanopass framework; an embedded DSL for writing compilers in Scheme☆324May 1, 2021Updated 4 years ago
- A Proof-oriented Programming Language☆2,975Updated this week
- A statically typed concatenative systems programming language.☆1,151Apr 10, 2023Updated 2 years ago
- A lazy non-deterministic concatenative programming language☆55Aug 3, 2013Updated 12 years ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆167Feb 4, 2025Updated last year
- A statically typed lisp, without a GC, for real-time applications.☆5,821Feb 19, 2026Updated last week
- The Eta Programming Language, a dialect of Haskell on the JVM☆2,625Jul 31, 2022Updated 3 years ago
- Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program f…☆1,056Dec 10, 2025Updated 2 months ago
- The Makam Metalanguage☆204Mar 7, 2023Updated 2 years ago
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆172Apr 21, 2024Updated last year
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆54Jun 27, 2025Updated 8 months ago
- A brand-new compiler that allows practical application development using R7RS Scheme. We provide modern features and a stable system cap…☆872Sep 17, 2025Updated 5 months ago
- A Dependently Typed Functional Programming Language☆3,469Feb 17, 2025Updated last year
- A functional programming language based on algebraic effect handlers☆905Nov 10, 2025Updated 3 months ago
- A data-parallel functional programming language☆2,669Updated this week