Alternatives and similar repositories for spoofax

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

• szabta89 / IncA
  Incremental Program Analysis Framework
  ☆90Updated 4 years ago
• usethesource / rascal
  The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…
  ☆427Updated this week
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆51Updated last year
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆158Updated 7 months ago
• oracle / souffle
  DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.
  ☆49Updated 7 years ago
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago
• JetBrains / mps-coderules
  Type checking and logical inference for JetBrains MPS
  ☆33Updated 2 months ago
• coolya / mps.rocks
  A curated list of awesome MPS extensions/libraries, software and resources.
  ☆62Updated 3 weeks ago
• LPCIC / elpi
  Embeddable Lambda Prolog Interpreter
  ☆312Updated 3 weeks ago
• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆59Updated last month
• nadia-polikarpova / synquid
  ☆128Updated 3 years ago
• diverse-project / melange
  The Melange Language Workbench
  ☆29Updated last year
• utwente-fmt / vercors
  The VerCors verification toolset for verifying parallel and concurrent software
  ☆76Updated this week
• 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
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆69Updated last week
• c-cube / datalog
  An in-memory datalog implementation for OCaml.
  ☆270Updated 8 months ago
• markusvoelter / mpsintrocourse
  ☆44Updated last year
• Beluga-lang / Beluga
  Contextual types meet mechanized metatheory!
  ☆191Updated last month
• LPTK / simple-sub
  Alternative algorithm for algebraic subtyping.
  ☆166Updated last month
• JetBrains / arend-lib
  ☆82Updated 3 months ago
• Whiley / WhileyCompiler
  The Whiley Compiler (WyC)
  ☆222Updated 2 years ago
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆69Updated 4 months ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆76Updated last year
• rems-project / lem
  Lem semantic definition language
  ☆139Updated 3 months ago
• iu-parfunc / gibbon
  A compiler for functional programs on serialized data
  ☆164Updated last week
• CertiCoq / certicoq
  A Verified Compiler for Gallina, Written in Gallina
  ☆152Updated 2 months ago
• rntz / datafun
  Research on integrating datalog & lambda calculus via monotonicity types
  ☆400Updated 3 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
• koka-lang / libmprompt
  Robust multi-prompt delimited control and effect handlers in C/C++
  ☆119Updated last year
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆86Updated last week