metaborg / spoofax
Spoofax runtime
☆127Updated last month
Related projects: ⓘ
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆51Updated 5 months ago
- DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.☆49Updated 7 years ago
- The Whiley Compiler (WyC)☆217Updated last year
- Datalog that's as easy as ABC.☆47Updated 7 months ago
- Type checking and logical inference for JetBrains MPS☆31Updated 2 weeks ago
- Kodkod solver for relational logic☆72Updated last year
- The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…☆400Updated this week
- Definition of the Viper intermediate verification language.☆78Updated last week
- This repository contains the Maude 2 interpreter source tree.☆43Updated 6 years ago
- Incremental Program Analysis Framework☆89Updated 3 years ago
- The VerCors verification toolset for verifying parallel and concurrent software☆55Updated this week
- SOMns: A Newspeak for Concurrency Research☆67Updated last year
- ☆18Updated 9 months ago
- Git mirror of https://isabelle.in.tum.de/repos/isabelle☆60Updated this week
- Synthesis of Heap-Manipulating Programs from Separation Logic☆123Updated last year
- Datalog with support for SMT queries and first-order functional programming☆149Updated 2 weeks ago
- An in-memory datalog implementation for OCaml.☆254Updated 2 years ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆108Updated 9 months ago
- Software Language Engineering Body of Knowledge☆47Updated 4 years ago
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆78Updated this week
- SMTInterpol interpolating SMT solver☆59Updated 2 months ago
- a book about declarative language definition☆22Updated 8 years ago
- Execute and document benchmarks reproducibly.☆82Updated last week
- Maude Formal Environment☆17Updated 4 years ago
- A compiler for functional programs on serialized data☆157Updated last month
- Unison's source code☆101Updated 6 months ago
- Library for symbolic automata and symbolic visibly pushdown automata☆62Updated 10 months ago
- Lem semantic definition language☆129Updated 6 months ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆66Updated last year
- ☆80Updated this week