metaborg/spoofax external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

metaborg/spoofax

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/metaborg/spoofax)

Close

metaborg / spoofaxView on GitHubMore

• External links
• Readme badge

Spoofax runtime

☆162Apr 28, 2025Updated 10 months ago

Alternatives and similar repositories for spoofax

Users that are interested in spoofax are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• JetBrains / mps-coderules

  View on GitHub
  Type checking and logical inference for JetBrains MPS
  ☆32Feb 19, 2026Updated last month
• pigworker / Totality

  View on GitHub
  being the programs and code for a paper about general recursion
  ☆26Feb 15, 2015Updated 11 years ago
• PLTools / GT

  View on GitHub
  Datatype-generic object-oriented transformations for OCaml
  ☆17Nov 16, 2025Updated 4 months ago
• Deducteam / Dedukti

  View on GitHub
  Type-checker for the λΠ-calculus modulo rewriting
  ☆230Nov 25, 2025Updated 4 months ago
• sto0pkid / swipl-tt

  View on GitHub
  Implementation of dependent type theory in SWI-Prolog
  ☆10Oct 6, 2020Updated 5 years ago
• herbie-fp / regraph

  View on GitHub
  Racket Equivalence Graph Library
  ☆19May 24, 2022Updated 3 years ago
• harp-project / AML-Formalization

  View on GitHub
  ☆11Feb 27, 2026Updated 3 weeks ago
• neel-krishnaswami / adjs

  View on GitHub
  Higher-order FRP compiler
  ☆16Oct 20, 2021Updated 4 years ago
• logicmoo / logicmoo_clif

  View on GitHub
  Base Forward Chaining Knowledge Base Maintenance System
  ☆19Oct 2, 2021Updated 4 years ago
• dorchard / effectful-explanations-talk

  View on GitHub
  "Programs that explain their effects" talk material
  ☆17Jun 22, 2018Updated 7 years ago
• TiarkRompf / virtualization-lms-core

  View on GitHub
  A Framework for Runtime Code Generation and Compiled DSLs
  ☆334Feb 27, 2019Updated 7 years ago
• Tritlo / PropR

  View on GitHub
  Genetic program repair using GHC
  ☆33May 16, 2024Updated last year
• sto0pkid / CategoryTheory

  View on GitHub
  Category Theory in Agda
  ☆13Jan 16, 2018Updated 8 years ago
• Barry-Jay / Intensional-computation

  View on GitHub
  translations of a lambda abstraction to combinations of operators
  ☆18Sep 6, 2019Updated 6 years ago
• usethesource / rascal

  View on GitHub
  The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…
  ☆453Updated this week
• QuickChick / Luck

  View on GitHub
  Luck -- A Language for Property-Based Generators
  ☆37Feb 28, 2025Updated last year
• pickfire / babelfish

  View on GitHub
  Universal translater for encodings
  ☆14Dec 20, 2021Updated 4 years ago
• fadoss / umaudemc

  View on GitHub
  Unified Maude model-checking tool
  ☆13Feb 4, 2026Updated last month
• Soonad / Base.fm

  View on GitHub
  Standard library for the Formality language
  ☆18Mar 22, 2020Updated 6 years ago
• yallop / metaocaml-letrec

  View on GitHub
  flexible 'let rec' generation for MetaOCaml
  ☆28Jan 25, 2026Updated 2 months ago
• wilbowma / multi-lang-comp

  View on GitHub
  a compiler from a lambda language to an assembly language, as a rewrite system
  ☆16Sep 23, 2025Updated 6 months ago
• ikuraj / SciFe

  View on GitHub
  SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants
  ☆15Mar 15, 2024Updated 2 years ago
• JetBrains / Arend

  View on GitHub
  The Arend Proof Assistant
  ☆742Feb 25, 2025Updated last year
• JoeyEremondi / GDTL-artifact

  View on GitHub
  A Gradual Dependently-typed Language
  ☆14Jun 26, 2019Updated 6 years ago
• cesaro / dpu

  View on GitHub
  Dynamic analysis of multithreaded C programs
  ☆13Feb 7, 2020Updated 6 years ago
• kframework / matching-logic-prover

  View on GitHub
  ☆15Apr 16, 2021Updated 4 years ago
• squaresLab / SOAR

  View on GitHub
  Synthesis API Refactor
  ☆12May 17, 2022Updated 3 years ago
• andreasabel / agda2lagda

  View on GitHub
  Simple conversion from Agda text to literate Agda text.
  ☆14Dec 26, 2025Updated 2 months ago
• rewriting / tom

  View on GitHub
  ☆34Oct 12, 2020Updated 5 years ago
• cs-au-dk / MONA

  View on GitHub
  MONA - a decision procedure for monadic second-order logic on finite strings and trees
  ☆57Mar 3, 2020Updated 6 years ago
• willcrichton / rabbot

  View on GitHub
  Abstract binding tree code generator
  ☆37Oct 31, 2016Updated 9 years ago
• szabta89 / IncA

  View on GitHub
  Incremental Program Analysis Framework
  ☆94May 7, 2021Updated 4 years ago
• microvm / microvm-refimpl2

  View on GitHub
  We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2
  ☆26Jun 30, 2016Updated 9 years ago
• dcodeIO / purerc

  View on GitHub
  ☆13Apr 12, 2019Updated 6 years ago
• gridbugs / gws

  View on GitHub
  7DRL 2019
  ☆15Jan 7, 2023Updated 3 years ago
• oskar2517 / microhaskell

  View on GitHub
  Interpreter for a small subset of the Haskell programming language
  ☆16Dec 11, 2025Updated 3 months ago
• MetaBorgCube / IceDust

  View on GitHub
  A language for data modeling and incremental computing of derived values
  ☆11May 7, 2024Updated last year
• pcein / rust-sipeed-longan-nano

  View on GitHub
  Running Rust on the RISCV dev board "Sipeed Longan Nano"
  ☆10Nov 17, 2019Updated 6 years ago
• cesquivias / mumbler

  View on GitHub
  My experimental programming language using Truffle
  ☆113Feb 28, 2020Updated 6 years ago