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…
  ☆443Updated this week
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆53Updated 5 months ago
• Whiley / WhileyCompiler
  The Whiley Compiler (WyC)
  ☆223Updated 2 years ago
• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆64Updated 3 months ago
• coolya / mps.rocks
  A curated list of awesome MPS extensions/libraries, software and resources.
  ☆66Updated 2 weeks ago
• JetBrains / mps-coderules
  Type checking and logical inference for JetBrains MPS
  ☆32Updated last month
• emina / kodkod
  Kodkod solver for relational logic
  ☆80Updated 2 years ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆165Updated last week
• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆128Updated 2 years ago
• amyjko / whyline
  The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.
  ☆80Updated 9 years ago
• isabelle-prover / mirror-isabelle
  Git mirror of https://isabelle.in.tum.de/repos/isabelle
  ☆73Updated this week
• norswap / autumn
  A Java parser combinator library written with an unmatched feature set.
  ☆131Updated 4 years ago
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆70Updated 9 months ago
• szabta89 / IncA
  Incremental Program Analysis Framework
  ☆93Updated 4 years ago
• cubix-framework / cubix
  The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …
  ☆115Updated last month
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆90Updated this week
• astampoulis / makam
  The Makam Metalanguage
  ☆197Updated 2 years ago
• oracle / souffle
  DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.
  ☆49Updated 8 years ago
• LPTK / simple-sub
  Alternative algorithm for algebraic subtyping.
  ☆170Updated 3 weeks ago
• utwente-fmt / vercors
  The VerCors verification toolset for verifying parallel and concurrent software
  ☆85Updated this week
• choral-lang / choral
  A compiler, testing bed, and standard library for the Choral programming language.
  ☆35Updated last month
• rewriting / tom
  ☆34Updated 5 years ago
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago
• orc-lang / orc
  Orc programming language implementation
  ☆45Updated 3 years ago
• effect-handlers / effects-rosetta-stone
  A comparison of how computational effects and handlers are implemented in various programming languages.
  ☆143Updated 6 years ago
• yona-lang / yona
  Yona is a modern take on a dynamic general-purpose programming language with advanced functional programming, minimalistic ML-like syntax…
  ☆132Updated 3 years ago
• eclipse-xsemantics / xsemantics
  Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…
  ☆34Updated 2 years ago
• diverse-project / melange
  The Melange Language Workbench
  ☆29Updated 2 years ago
• Strumenta / MPSServer
  ☆21Updated 2 years ago