Alternatives and similar repositories for spoofax

Users that are interested in spoofax are comparing it to the libraries listed below

• usethesource / rascal
  The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…
  ☆446Updated last week
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆165Updated last month
• emina / kodkod
  Kodkod solver for relational logic
  ☆80Updated 2 years ago
• Whiley / WhileyCompiler
  The Whiley Compiler (WyC)
  ☆225Updated 2 years ago
• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆66Updated 4 months ago
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆53Updated 6 months ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 8 years ago
• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆128Updated 2 years ago
• coolya / mps.rocks
  A curated list of awesome MPS extensions/libraries, software and resources.
  ☆66Updated 2 weeks ago
• oracle / souffle
  DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.
  ☆49Updated 8 years ago
• JetBrains / mps-coderules
  Type checking and logical inference for JetBrains MPS
  ☆32Updated last month
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆92Updated last week
• utwente-fmt / vercors
  The VerCors verification toolset for verifying parallel and concurrent software
  ☆85Updated 2 weeks ago
• szabta89 / IncA
  Incremental Program Analysis Framework
  ☆93Updated 4 years ago
• potassco / clasp
  ⚙️ A conflict-driven nogood learning answer set solver
  ☆132Updated 2 weeks ago
• ckaestne / TypeChef
  Type checking ifdef variability
  ☆79Updated 4 years ago
• LPTK / simple-sub
  Alternative algorithm for algebraic subtyping.
  ☆171Updated last month
• isabelle-prover / mirror-isabelle
  Git mirror of https://isabelle.in.tum.de/repos/isabelle
  ☆77Updated last week
• stedolan / mlsub
  Prototype type inference engine
  ☆205Updated 11 months ago
• smarr / ReBench
  Execute and document benchmarks reproducibly.
  ☆96Updated 5 months ago
• astampoulis / makam
  The Makam Metalanguage
  ☆198Updated 2 years ago
• namin / lms-verify
  generative programming & verification
  ☆34Updated 6 months ago
• rhyme-lang / rhyme
  Rhyme is an Expressive Data-Centric Query Language
  ☆30Updated this week
• teyjus / teyjus
  An efficient implementation of the higher-order logic programming language Lambda Prolog
  ☆160Updated last year
• rems-project / lem
  Lem semantic definition language
  ☆149Updated 9 months ago
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆69Updated 10 months ago
• unison-code / unison
  Unison's source code
  ☆109Updated last year
• joshrule / term-rewriting-rs
  a Rust implementation of first-order term rewriting systems (TRS)
  ☆28Updated 4 years ago
• viperproject / silicon
  Symbolic-execution-based verifier for the Viper intermediate verification language.
  ☆125Updated last week
• amyjko / whyline
  The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.
  ☆80Updated 9 years ago