usethesource / rascalLinks
The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based run-time system)
☆433Updated 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☆149Updated 5 months ago
- The Whiley Compiler (WyC)☆224Updated 2 years ago
- Cliff Click Language Hacking☆286Updated 11 months ago
- A Java parser combinator library written with an unmatched feature set.☆128Updated 3 years ago
- Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.☆314Updated 3 months ago
- Yona is a modern take on a dynamic general-purpose programming language with advanced functional programming, minimalistic ML-like syntax…☆131Updated 3 years ago
- Are We Fast Yet? Comparing Language Implementations with Objects, Closures, and Arrays☆356Updated last month
- Ecstasy and XVM☆210Updated this week
- A Squeak/Smalltalk VM and Polyglot Programming Environment for the GraalVM.☆302Updated this week
- A programming language where the syntax and semantics are mutable at runtime☆168Updated 13 years ago
- Research on integrating datalog & lambda calculus via monotonicity types☆401Updated 3 years ago
- The Mercury logic programming system.☆968Updated this week
- Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation☆81Updated 7 years ago
- Logtalk - declarative object-oriented logic programming language☆467Updated last week
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆52Updated 3 months ago
- The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.☆79Updated 9 years ago
- SOMns: A Newspeak for Concurrency Research☆70Updated 7 months ago
- A minimalist, general-purpose programming language based on meta-programming and parse tree rewrites☆283Updated 2 years ago
- Links: Linking Theory to Practice for the Web☆346Updated last month
- The Wyvern programming language.☆561Updated last week
- Cell compiler☆115Updated 2 years ago
- Datalog that's as easy as ABC.☆62Updated last month
- Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program f…☆1,008Updated 3 weeks ago
- The Pika Parser reference implementation☆146Updated 3 years ago
- JIProlog is a Prolog interpreter, pure Java 100%, cross-platform and Open Source.☆138Updated 4 years ago
- A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming☆219Updated 2 years ago
- An in-memory datalog implementation for OCaml.☆272Updated 11 months ago
- CakeML: A Verified Implementation of ML☆1,082Updated this week
- A curated list of awesome MPS extensions/libraries, software and resources.☆64Updated last month
- A fluent API generator☆25Updated last year