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…
  ☆427Updated this week
• JetBrains / mps-coderules
  Type checking and logical inference for JetBrains MPS
  ☆33Updated last week
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆50Updated last month
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆160Updated 2 weeks ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆77Updated 2 years ago
• coolya / mps.rocks
  A curated list of awesome MPS extensions/libraries, software and resources.
  ☆63Updated last month
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 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 this week
• Whiley / WhileyCompiler
  The Whiley Compiler (WyC)
  ☆222Updated 2 years ago
• szabta89 / IncA
  Incremental Program Analysis Framework
  ☆90Updated 4 years ago
• enso-lang / enso
  ☆71Updated 5 years ago
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago
• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆127Updated 2 years ago
• scribble / scribble-java
  Core components for the Scribble Java tools
  ☆56Updated 10 months ago
• isabelle-prover / mirror-isabelle
  Git mirror of https://isabelle.in.tum.de/repos/isabelle
  ☆70Updated this week
• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆59Updated 2 months ago
• eclipse-xsemantics / xsemantics
  Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…
  ☆32Updated last year
• maude-team / MFE
  Maude Formal Environment
  ☆17Updated 5 years ago
• amyjko / whyline
  The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.
  ☆78Updated 9 years ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆69Updated 2 years ago
• namin / lms-verify
  generative programming & verification
  ☆33Updated last month
• iu-parfunc / gibbon
  A compiler for functional programs on serialized data
  ☆165Updated last month
• rhyme-lang / rhyme
  Rhyme is an Expressive Data-Centric Query Language
  ☆30Updated last month
• astampoulis / makam
  The Makam Metalanguage
  ☆198Updated 2 years ago
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆64Updated last week
• Strumenta / MPSServer
  ☆20Updated last year
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆166Updated 2 weeks ago
• norswap / autumn
  A Java parser combinator library written with an unmatched feature set.
  ☆127Updated 3 years ago
• mbeddr / mbeddr.core
  The mbeddr core. An extensible C
  ☆228Updated this week
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆69Updated 5 months ago