usethesource / rascal
The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based run-time system)
☆407Updated this week
Related projects ⓘ
Alternatives and complementary repositories for rascal
- The Whiley Compiler (WyC)☆219Updated last year
- Spoofax runtime☆130Updated 3 months ago
- Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.☆273Updated last week
- A Java parser combinator library written with an unmatched feature set.☆125Updated 3 years ago
- The Melange Language Workbench☆28Updated last year
- Cliff Click Language Hacking☆276Updated 3 weeks ago
- The Rosette solver-aided host language, sample solver-aided DSLs, and demos☆645Updated 5 months ago
- An in-memory datalog implementation for OCaml.☆261Updated last month
- Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program f…☆932Updated last month
- The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.☆75Updated 8 years ago
- Research on integrating datalog & lambda calculus via monotonicity types☆387Updated 2 years ago
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆50Updated 7 months ago
- Embeddable Lambda Prolog Interpreter☆290Updated this week
- SOMns: A Newspeak for Concurrency Research☆67Updated last year
- Plasma Programming Language☆162Updated 2 months ago
- The Pika Parser reference implementation☆141Updated 2 years ago
- Are We Fast Yet? Comparing Language Implementations with Objects, Closures, and Arrays☆336Updated 2 weeks ago
- Datalog with support for SMT queries and first-order functional programming☆155Updated 3 weeks ago
- Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation☆77Updated 6 years ago
- 1ML prototype interpreter☆271Updated 4 years ago
- Yona is a modern take on a dynamic general-purpose programming language with advanced functional programming, minimalistic ML-like syntax…☆125Updated 2 years ago
- The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …☆114Updated last month
- A programming language where the syntax and semantics are mutable at runtime☆163Updated 12 years ago
- A curated list of awesome MPS extensions/libraries, software and resources.☆60Updated 5 months ago
- Web Native language Workbench with Projectional Web Editor☆67Updated this week
- Logtalk - declarative object-oriented logic programming language☆424Updated this week
- Collapsing Towers of Interpreters☆86Updated 9 months ago
- BNF Converter☆586Updated this week
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆145Updated 3 months ago
- Polyglot Extensible Compiler Framework for Java☆108Updated 2 years ago