The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based run-time system)
☆453Mar 16, 2026Updated 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☆27Mar 3, 2026Updated 2 weeks ago
- Generic immutable recursive data representation API targeted at source code models and more.☆37Mar 1, 2026Updated 2 weeks ago
- ☆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
- Recaffeinating Java ☕️ with custom semantics and extensions☆51Apr 5, 2022Updated 3 years ago
- Flybytes is an intermediate language between JVM bytecode and software languages (DSLs, PLs), for compilation and decompilation.☆19Mar 3, 2026Updated 2 weeks ago
- Metaprogramming framework for .net☆91Dec 27, 2019Updated 6 years ago
- ☆71Jun 12, 2020Updated 5 years ago
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆54Mar 2, 2026Updated 2 weeks ago
- The Whiley Compiler (WyC)☆227Feb 9, 2023Updated 3 years ago
- John Shutt's "Kernel" language implemented on ABE (C) runtime.☆13Sep 3, 2018Updated 7 years ago
- Spoofax runtime☆162Apr 28, 2025Updated 10 months ago
- The Flix Programming Language☆2,592Updated this week
- an experiment in presenting code.☆14Aug 11, 2020Updated 5 years ago
- The Lux Programming Language☆1,724Jan 28, 2026Updated last month
- Lisp-like language to WebAssembly build with racket☆23Nov 26, 2017Updated 8 years ago
- Shen language kernel sources for porters☆384Mar 11, 2026Updated last week
- Research on integrating datalog & lambda calculus via monotonicity types☆417Jun 21, 2022Updated 3 years ago
- A domain specific language that utilizes Domain-Driven Design☆17Jan 21, 2024Updated 2 years ago
- A minimalist, general-purpose programming language based on meta-programming and parse tree rewrites☆283Feb 5, 2023Updated 3 years ago
- A small nanopass compiler from a subset of Scheme to C. (Developed for Clojure Conj 2013)☆368May 1, 2021Updated 4 years ago
- The Déjà Vu programming language☆15Aug 12, 2014Updated 11 years ago
- Generate, compile and run .java source dynamically at runtime☆11Apr 23, 2019Updated 6 years ago
- A simple, easily embeddable pure-functional language with static typing and row polymorphism.☆10Jul 9, 2015Updated 10 years ago
- The Slate programming language☆149Oct 15, 2023Updated 2 years ago
- A Proof-oriented Programming Language☆2,986Updated this week
- PHP language analyses in Rascal☆29Mar 2, 2026Updated 2 weeks ago
- The Egison Programming Language☆921Updated this week
- A usable type system for call by push-value☆33Dec 16, 2019Updated 6 years ago
- A statically typed lisp, without a GC, for real-time applications.☆5,848Updated this week
- The Makam Metalanguage☆204Mar 7, 2023Updated 3 years ago
- Functional programming language for JVM.☆252Dec 18, 2025Updated 3 months ago
- A functional programming language based on algebraic effect handlers☆905Nov 10, 2025Updated 4 months ago
- A small but practical concatenative programming language and shell☆336Nov 11, 2024Updated last year
- A Dependently Typed Functional Programming Language☆3,468Feb 17, 2025Updated last year
- Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program f…☆1,059Dec 10, 2025Updated 3 months ago
- CakeML: A Verified Implementation of ML☆1,124Updated this week
- The Eta Programming Language, a dialect of Haskell on the JVM☆2,627Jul 31, 2022Updated 3 years ago
- A data-parallel functional programming language☆2,681Updated this week