usethesource / rascalLinks
The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based run-time system)
☆426Updated 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☆146Updated 3 months ago
- The Whiley Compiler (WyC)☆222Updated 2 years ago
- A Java parser combinator library written with an unmatched feature set.☆127Updated 3 years ago
- Cliff Click Language Hacking☆284Updated 9 months ago
- Research on integrating datalog & lambda calculus via monotonicity types☆400Updated 3 years ago
- Are We Fast Yet? Comparing Language Implementations with Objects, Closures, and Arrays☆356Updated 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.☆310Updated last month
- The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.☆78Updated 9 years ago
- A curated list of awesome MPS extensions/libraries, software and resources.☆63Updated last month
- Yona is a modern take on a dynamic general-purpose programming language with advanced functional programming, minimalistic ML-like syntax…☆129Updated 2 years ago
- Ecstasy and XVM☆208Updated this week
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆50Updated last month
- A programming language where the syntax and semantics are mutable at runtime☆167Updated 13 years ago
- The Wyvern programming language.☆559Updated 2 weeks ago
- The Melange Language Workbench☆29Updated last year
- Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation☆80Updated 6 years ago
- The Mercury logic programming system.☆956Updated this week
- a book about declarative language definition☆23Updated 9 years ago
- A Squeak/Smalltalk VM and Polyglot Programming Environment for the GraalVM.☆297Updated this week
- Polyglot Extensible Compiler Framework for Java☆112Updated 3 years ago
- A collaborative and scalable open source platform for domain-specific models on the web and in the cloud☆70Updated last year
- SOMns: A Newspeak for Concurrency Research☆69Updated 5 months ago
- A simple example language built using the Truffle API.☆625Updated 4 months ago
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆159Updated last week
- A minimalist, general-purpose programming language based on meta-programming and parse tree rewrites☆282Updated 2 years ago
- The mbeddr core. An extensible C☆228Updated last week
- The Pika Parser reference implementation☆146Updated 3 years ago
- My experimental programming language using Truffle☆111Updated 5 years ago
- The Arend Proof Assistant☆720Updated 5 months ago
- An in-memory datalog implementation for OCaml.☆270Updated 9 months ago