Repositories list

• metaborg.github.io

  Public
  Documentation for the Spoofax language workbench.

  TeX

  •

  Apache License 2.0

  •5•0•1•0•Updated Jun 3, 2025Jun 3, 2025

• stratego

  Public
  Jupyter Notebook

  •

  Apache License 2.0

  •6•11•8•2•Updated Jun 3, 2025Jun 3, 2025

• spoofax-releng

  Public
  Metaborg Release Engineering

  Shell

  •

  Apache License 2.0

  •7•14•0•0•Updated May 14, 2025May 14, 2025

• strategoxt

  Public
  The Stratego program transformation language

  C

  •

  Apache License 2.0

  •13•32•1•1•Updated Apr 29, 2025Apr 29, 2025

• coronium

  Public
  Gradle plugin for building, developing, and publishing Eclipse plugins

  gradleeclipseeclipse-plugin+ 6gradle-plugingradle-pluginseclipse-pluginsgradle-metadataeclipse-featureseclipse-repositories

  Kotlin

  •

  Apache License 2.0

  •0•3•0•1•Updated Apr 29, 2025Apr 29, 2025

• spoofax-pie

  Public
  Spoofax implementation using PIE pipelines

  Java

  •

  Apache License 2.0

  •9•13•34•3•Updated Apr 29, 2025Apr 29, 2025

• spoofax

  Public
  Spoofax runtime

  Java

  •

  Apache License 2.0

  •23•146•0•0•Updated Apr 28, 2025Apr 28, 2025

• spoofax-deploy

  Public
  Python

  •

  Apache License 2.0

  •5•0•0•5•Updated Apr 28, 2025Apr 28, 2025

• spt

  Public
  Java

  •

  Apache License 2.0

  •8•0•3•0•Updated Apr 28, 2025Apr 28, 2025

• sdf

  Public
  Java

  •

  Apache License 2.0

  •10•8•2•3•Updated Apr 28, 2025Apr 28, 2025

• nabl

  Public
  Spoofax' Name Binding Language

  Java

  •

  Apache License 2.0

  •12•8•39•3•Updated Apr 28, 2025Apr 28, 2025

• esv

  Public
  Apache License 2.0

  •3•0•0•0•Updated Apr 28, 2025Apr 28, 2025

• runtime-libraries

  Public
  Runtime libraries and task engine for Spoofax

  Java

  •

  Apache License 2.0

  •2•4•0•0•Updated Apr 28, 2025Apr 28, 2025

• flowspec

  Public
  Control- and Data-Flow Specification meta-language

  Java

  •

  Apache License 2.0

  •1•2•0•1•Updated Apr 28, 2025Apr 28, 2025

• spg

  Public
  Spoofax Program Generator

  Java

  •1•1•0•0•Updated Apr 28, 2025Apr 28, 2025

• spoofax-intellij

  Public
  Java

  •

  Apache License 2.0

  •7•11•8•0•Updated Apr 28, 2025Apr 28, 2025

• spoofax-eclipse

  Public
  Eclipse integration for Spoofax core

  eclipsespoofax

  Java

  •

  Apache License 2.0

  •8•0•0•0•Updated Apr 28, 2025Apr 28, 2025

• spoofax-maven

  Public
  Spoofax Maven plugin

  Java

  •

  Apache License 2.0

  •2•0•0•5•Updated Apr 28, 2025Apr 28, 2025

• dynsem

  Public
  DynSem

  Java

  •

  Apache License 2.0

  •4•13•36•3•Updated Apr 28, 2025Apr 28, 2025

• spoofax-sunshine

  Public
  Java

  •

  Apache License 2.0

  •2•3•0•1•Updated Apr 28, 2025Apr 28, 2025

• ts

  Public
  type stuff

  TypeScript

  •

  Apache License 2.0

  •3•1•0•0•Updated Apr 28, 2025Apr 28, 2025

• jsglr

  Public
  Java

  •

  Apache License 2.0

  •9•10•0•1•Updated Apr 28, 2025Apr 28, 2025

• mb-exec

  Public
  Java

  •

  Apache License 2.0

  •2•2•0•0•Updated Apr 28, 2025Apr 28, 2025

• mb-rep

  Public
  Java

  •

  Apache License 2.0

  •4•2•2•1•Updated Apr 28, 2025Apr 28, 2025

• rust-scopegraphs

  Public
  Scope Graph Implementation in Rust

  Rust

  •

  MIT License

  •0•27•22•3•Updated Nov 22, 2024Nov 22, 2024

• spoofax.gradle

  Public
  Gradle plugin for building and using Spoofax languages

  gradle-plugingradle-pluginsgradle-metadata+ 2gradlespoofax

  Kotlin

  •

  Apache License 2.0

  •0•1•0•0•Updated Oct 4, 2024Oct 4, 2024

• metaborg-dynamix

  Public
  Haskell

  •0•1•0•0•Updated Oct 4, 2024Oct 4, 2024

• disamb-verification

  Public
  Coq

  •0•0•0•0•Updated Oct 2, 2024Oct 2, 2024

• java-front

  Public
  Java frontend for Spoofax

  javaparsespoofax

  Java

  •

  Apache License 2.0

  •9•5•0•1•Updated Sep 18, 2024Sep 18, 2024

• metaborg-gradle

  Public
  Metaborg Gradle convention and development plugins.

  Kotlin

  •

  Apache License 2.0

  •0•0•0•0•Updated Aug 6, 2024Aug 6, 2024