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…
  ☆419Updated this week
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆51Updated 11 months ago
• JetBrains / mps-coderules
  Type checking and logical inference for JetBrains MPS
  ☆32Updated 3 months ago
• oracle / souffle
  DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.
  ☆49Updated 7 years ago
• szabta89 / IncA
  Incremental Program Analysis Framework
  ☆90Updated 3 years ago
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆68Updated 3 weeks ago
• modelix / modelix
  A collaborative and scalable open source platform for domain-specific models on the web and in the cloud
  ☆69Updated 11 months ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆155Updated 4 months ago
• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆126Updated last year
• JetBrains / arend-lib
  ☆80Updated 3 weeks ago
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago
• Whiley / WhileyCompiler
  The Whiley Compiler (WyC)
  ☆221Updated 2 years ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆74Updated last year
• cubix-framework / cubix
  The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …
  ☆114Updated 3 months ago
• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆57Updated 4 months ago
• mit-plv / fiat
  Mostly Automated Synthesis of Correct-by-Construction Programs
  ☆151Updated 2 weeks ago
• coolya / mps.rocks
  A curated list of awesome MPS extensions/libraries, software and resources.
  ☆62Updated 2 weeks ago
• PLTools / OCanren
  Statically typed embedding of miniKanren relational programming language into OCaml
  ☆116Updated this week
• unison-code / unison
  Unison's source code
  ☆107Updated last year
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆68Updated 2 years ago
• effect-handlers / effects-rosetta-stone
  A comparison of how computational effects and handlers are implemented in various programming languages.
  ☆136Updated 5 years ago
• astampoulis / makam
  The Makam Metalanguage
  ☆198Updated 2 years ago
• markusvoelter / mpsintrocourse
  ☆44Updated last year
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆82Updated this week
• 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
• Kraks / sai
  Staged Abstract Interpreters
  ☆65Updated 2 years ago
• isabelle-utp / utp-main
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆35Updated last year
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• koka-lang / libmprompt
  Robust multi-prompt delimited control and effect handlers in C/C++
  ☆115Updated last year
• enso-lang / enso
  ☆71Updated 4 years ago