usethesource / rascal
The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based run-time system)
☆420Updated this week
Alternatives and similar repositories for rascal:
Users that are interested in rascal are comparing it to the libraries listed below
- Spoofax runtime☆142Updated 2 months ago
- A Java parser combinator library written with an unmatched feature set.☆124Updated 3 years ago
- Cliff Click Language Hacking☆279Updated 5 months ago
- Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.☆301Updated 5 months ago
- The Pika Parser reference implementation☆144Updated 2 years ago
- A Squeak/Smalltalk VM and Polyglot Programming Environment for the GraalVM.☆290Updated this week
- The Whiley Compiler (WyC)☆221Updated 2 years ago
- A curated list of awesome MPS extensions/libraries, software and resources.☆62Updated last month
- A fluent API generator☆25Updated last year
- Pure programming language☆320Updated 2 years ago
- Grammar Zoo☆88Updated 6 years ago
- The Rosette solver-aided host language, sample solver-aided DSLs, and demos☆658Updated last week
- The Mercury logic programming system.☆943Updated this week
- The code for the series of tutorials on my blog about the GraalVM Truffle language implementation framework☆44Updated last month
- An in-memory datalog implementation for OCaml.☆268Updated 6 months ago
- SOMns: A Newspeak for Concurrency Research☆69Updated last month
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆151Updated last month
- Yona is a modern take on a dynamic general-purpose programming language with advanced functional programming, minimalistic ML-like syntax…☆128Updated 2 years ago
- Plasma Programming Language☆166Updated 2 months ago
- Web Native language Workbench with Projectional Web Editor☆69Updated this week
- The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …☆114Updated last week
- Are We Fast Yet? Comparing Language Implementations with Objects, Closures, and Arrays☆347Updated last month
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆51Updated last year
- DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.☆49Updated 7 years ago
- KaRaMeL is a tool for extracting low-level F* programs to readable C code☆430Updated this week
- A programming language where the syntax and semantics are mutable at runtime☆164Updated 12 years ago
- The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.☆78Updated 8 years ago
- Embeddable Lambda Prolog Interpreter☆309Updated last week
- The Melange Language Workbench☆29Updated last year
- A minimalist, general-purpose programming language based on meta-programming and parse tree rewrites☆277Updated 2 years ago