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…
  ☆449Updated this week
• Whiley / WhileyCompiler
  The Whiley Compiler (WyC)
  ☆227Updated 3 years ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆84Updated 2 years ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆165Updated last week
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆54Updated 7 months ago
• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆128Updated 2 years ago
• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆67Updated 5 months ago
• JetBrains / mps-coderules
  Type checking and logical inference for JetBrains MPS
  ☆32Updated 3 months ago
• isabelle-prover / mirror-isabelle
  Git mirror of https://isabelle.in.tum.de/repos/isabelle
  ☆81Updated last week
• astampoulis / makam
  The Makam Metalanguage
  ☆199Updated 2 years ago
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆95Updated this week
• szabta89 / IncA
  Incremental Program Analysis Framework
  ☆94Updated 4 years ago
• oracle / souffle
  DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.
  ☆49Updated 8 years ago
• koka-lang / libmprompt
  Robust multi-prompt delimited control and effect handlers in C/C++
  ☆131Updated 2 years ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆87Updated 3 years ago
• teyjus / teyjus
  An efficient implementation of the higher-order logic programming language Lambda Prolog
  ☆161Updated last year
• coolya / mps.rocks
  A curated list of awesome MPS extensions/libraries, software and resources.
  ☆66Updated 2 months ago
• c-cube / datalog
  An in-memory datalog implementation for OCaml.
  ☆276Updated last year
• choral-lang / choral
  A compiler, testing bed, and standard library for the Choral programming language.
  ☆38Updated last month
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago
• eprover / eprover
  ☆164Updated 2 weeks ago
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆69Updated 11 months ago
• sneeuwballen / zipperposition
  An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…
  ☆152Updated last year
• LPTK / simple-sub
  Alternative algorithm for algebraic subtyping.
  ☆174Updated 2 months ago
• joshrule / term-rewriting-rs
  a Rust implementation of first-order term rewriting systems (TRS)
  ☆28Updated 4 years ago
• LPCIC / elpi
  Embeddable Lambda Prolog Interpreter
  ☆338Updated 2 weeks ago
• alloy-js / sterling
  Alloy with browser-based visualizations
  ☆30Updated 4 years ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆93Updated 7 months ago
• boomerang-lang / boomerang
  The Boomerang Bidirectional Programming Language
  ☆78Updated 2 years ago
• smarr / ReBench
  Execute and document benchmarks reproducibly.
  ☆97Updated 7 months ago