metaborg / spoofaxLinks
Spoofax runtime
☆149Updated 5 months ago
Alternatives and similar repositories for spoofax
Users that are interested in spoofax are comparing it to the libraries listed below
Sorting:
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆52Updated 3 months ago
- The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…☆433Updated this week
- Datalog with support for SMT queries and first-order functional programming☆163Updated last week
- Kodkod solver for relational logic☆78Updated 2 years ago
- Datalog that's as easy as ABC.☆62Updated last month
- Type checking and logical inference for JetBrains MPS☆32Updated 2 months ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- The Whiley Compiler (WyC)☆224Updated 2 years ago
- Synthesis of Heap-Manipulating Programs from Separation Logic☆128Updated 2 years ago
- Definition of the Viper intermediate verification language.☆89Updated this week
- The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …☆115Updated last week
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆34Updated last year
- SOMns: A Newspeak for Concurrency Research☆70Updated 7 months ago
- Software Language Engineering Body of Knowledge☆48Updated 5 years ago
- Incremental Program Analysis Framework☆93Updated 4 years ago
- The VerCors verification toolset for verifying parallel and concurrent software☆79Updated this week
- The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.☆79Updated 9 years ago
- ⚙️ A conflict-driven nogood learning answer set solver☆128Updated last week
- The Makam Metalanguage☆199Updated 2 years ago
- Git mirror of https://isabelle.in.tum.de/repos/isabelle☆72Updated last week
- DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.☆49Updated 8 years ago
- A curated list of awesome MPS extensions/libraries, software and resources.☆64Updated last month
- A compiler, testing bed, and standard library for the Choral programming language.☆32Updated 2 weeks ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆71Updated 2 years ago
- Staged Abstract Interpreters☆68Updated 2 years ago
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆157Updated last year
- ☆139Updated 3 years ago
- Alternative algorithm for algebraic subtyping.☆170Updated last week
- A comparison of how computational effects and handlers are implemented in various programming languages.☆143Updated 6 years ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆126Updated last year