metaborg / spoofaxLinks
Spoofax runtime
☆145Updated last month
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.☆51Updated last year
- Incremental Program Analysis Framework☆90Updated 4 years ago
- Datalog with support for SMT queries and first-order functional programming☆157Updated 7 months ago
- Datalog that's as easy as ABC.☆59Updated 2 weeks ago
- The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…☆423Updated this week
- DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.☆49Updated 7 years ago
- Software Language Engineering Body of Knowledge☆48Updated 5 years ago
- Type checking and logical inference for JetBrains MPS☆33Updated last month
- A curated list of awesome MPS extensions/libraries, software and resources.☆62Updated 2 weeks ago
- Synthesis of Heap-Manipulating Programs from Separation Logic☆125Updated 2 years ago
- SOMns: A Newspeak for Concurrency Research☆69Updated 3 months ago
- The VerCors verification toolset for verifying parallel and concurrent software☆76Updated last week
- Definition of the Viper intermediate verification language.☆86Updated 2 weeks ago
- Staged Abstract Interpreters☆66Updated 2 years ago
- Kodkod solver for relational logic☆74Updated last year
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- Git mirror of https://isabelle.in.tum.de/repos/isabelle☆70Updated this week
- Cogent Project☆165Updated 2 months ago
- The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …☆114Updated last week
- A Java parser combinator library written with an unmatched feature set.☆126Updated 3 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆68Updated 2 months ago
- The Higher-Order Intermediate Representation☆154Updated this week
- ☆127Updated 3 years ago
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆105Updated this week
- An in-memory datalog implementation for OCaml.☆269Updated 7 months ago
- generative programming & verification☆33Updated 3 years ago
- The Whiley Compiler (WyC)☆222Updated 2 years ago
- Lem semantic definition language☆139Updated 2 months ago
- Unison's source code☆107Updated last year
- Core components for the Scribble Java tools☆56Updated 8 months ago