usethesource / rascalLinks
The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based run-time system)
☆423Updated this week
Alternatives and similar repositories for rascal
Users that are interested in rascal are comparing it to the libraries listed below
Sorting:
- Spoofax runtime☆145Updated last month
- A Java parser combinator library written with an unmatched feature set.☆126Updated 3 years ago
- The Whiley Compiler (WyC)☆222Updated 2 years ago
- Cliff Click Language Hacking☆282Updated 7 months ago
- An in-memory datalog implementation for OCaml.☆269Updated 7 months ago
- Web Native language Workbench with Projectional Web Editor☆69Updated this week
- Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.☆303Updated 6 months ago
- Yona is a modern take on a dynamic general-purpose programming language with advanced functional programming, minimalistic ML-like syntax…☆128Updated 2 years ago
- Research on integrating datalog & lambda calculus via monotonicity types☆399Updated 2 years ago
- A Squeak/Smalltalk VM and Polyglot Programming Environment for the GraalVM.☆294Updated last week
- A programming language where the syntax and semantics are mutable at runtime☆166Updated 13 years ago
- A curated list of awesome MPS extensions/libraries, software and resources.☆62Updated 2 weeks ago
- The Mercury logic programming system.☆948Updated this week
- Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program f…☆988Updated 3 weeks ago
- Malfunctional Programming☆347Updated 6 months ago
- The Rosette solver-aided host language, sample solver-aided DSLs, and demos☆661Updated 2 weeks ago
- A minimalist, general-purpose programming language based on meta-programming and parse tree rewrites☆280Updated 2 years ago
- Embeddable Lambda Prolog Interpreter☆312Updated this week
- A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming☆214Updated 2 years ago
- Functional programming language for JVM.☆248Updated last year
- The Pika Parser reference implementation☆144Updated 2 years ago
- CakeML: A Verified Implementation of ML☆1,047Updated this week
- The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.☆78Updated 9 years ago
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆51Updated last year
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆155Updated this week
- Hazel, a live functional programming environment with typed holes☆927Updated this week
- Cell compiler☆114Updated last year
- Plasma Programming Language☆166Updated last month
- A fast functional language based on two level type theory☆390Updated 2 years ago
- Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation☆79Updated 6 years ago