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…
  ☆420Updated this week
• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆59Updated 5 months ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆157Updated 5 months ago
• szabta89 / IncA
  Incremental Program Analysis Framework
  ☆90Updated 3 years ago
• Whiley / WhileyCompiler
  The Whiley Compiler (WyC)
  ☆221Updated 2 years ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆74Updated last year
• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆125Updated 2 years ago
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆51Updated last year
• JetBrains / mps-coderules
  Type checking and logical inference for JetBrains MPS
  ☆32Updated last week
• oracle / souffle
  DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.
  ☆49Updated 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 …
  ☆114Updated last week
• coolya / mps.rocks
  A curated list of awesome MPS extensions/libraries, software and resources.
  ☆62Updated last month
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆67Updated 2 weeks ago
• JetBrains / arend-lib
  ☆81Updated last month
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago
• isabelle-prover / mirror-isabelle
  Git mirror of https://isabelle.in.tum.de/repos/isabelle
  ☆68Updated this week
• unison-code / unison
  Unison's source code
  ☆107Updated last year
• DeepSpec / InteractionTrees
  A Library for Representing Recursive and Impure Programs in Coq
  ☆217Updated last month
• norswap / autumn
  A Java parser combinator library written with an unmatched feature set.
  ☆124Updated 3 years ago
• amyjko / whyline
  The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.
  ☆78Updated 8 years ago
• astampoulis / makam
  The Makam Metalanguage
  ☆198Updated 2 years ago
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆85Updated 2 weeks ago
• utwente-fmt / vercors
  The VerCors verification toolset for verifying parallel and concurrent software
  ☆71Updated this week
• softdevteam / eco
  Editor for language composition
  ☆58Updated 2 years ago
• rocq-archive / coq-serapi
  Coq Protocol Playground with Se(xp)rialization of Internal Structures.
  ☆129Updated 5 months ago
• Kraks / sai
  Staged Abstract Interpreters
  ☆66Updated 2 years ago
• modelix / modelix
  A collaborative and scalable open source platform for domain-specific models on the web and in the cloud
  ☆69Updated last year
• usethesource / vallang
  Generic immutable recursive data representation API targeted at source code models and more.
  ☆35Updated 2 weeks ago
• viperproject / silicon
  Symbolic-execution-based verifier for the Viper intermediate verification language.
  ☆99Updated 2 weeks ago
• cwi-swat / aterms
  The ATerm library is an extremely efficient library for maximally shared terms with a fast serialized format and a garbage collector (in …
  ☆23Updated 11 years ago