Repositories list

• documentation

  Public
  TeX

  •

  Apache License 2.0

  •2222 forks•44 stars•44 issues•22 pull requests•Updated Mar 30, 2026Mar 30, 2026

• stratego

  Public
  Jupyter Notebook

  •

  Apache License 2.0

  •66 forks•1313 stars•88 issues•22 pull requests•Updated Mar 17, 2026Mar 17, 2026

• metaborg.github.io

  Public
  Documentation for the Spoofax language workbench.

  TeX

  •

  Apache License 2.0

  •55 forks•00 stars•11 issue•00 pull requests•Updated Jun 3, 2025Jun 3, 2025

• spoofax-releng

  Public
  Metaborg Release Engineering

  Shell

  •

  Apache License 2.0

  •77 forks•1818 stars•00 issues•00 pull requests•Updated May 14, 2025May 14, 2025

• strategoxt

  Public
  The Stratego program transformation language

  C

  •

  Apache License 2.0

  •1313 forks•3636 stars•11 issue•11 pull request•Updated Apr 29, 2025Apr 29, 2025

• coronium

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

  gradleeclipseeclipse-plugin+ 6

  gradleeclipseeclipse-plugingradle-plugingradle-pluginseclipse-pluginsgradle-metadataeclipse-featureseclipse-repositories

  Kotlin

  •

  Apache License 2.0

  •00 forks•33 stars•00 issues•11 pull request•Updated Apr 29, 2025Apr 29, 2025

• spoofax-pie

  Public
  Spoofax implementation using PIE pipelines

  Java

  •

  Apache License 2.0

  •99 forks•1414 stars•3434 issues•33 pull requests•Updated Apr 29, 2025Apr 29, 2025

• spoofax

  Public
  Spoofax runtime

  Java

  •

  Apache License 2.0

  •2222 forks•163163 stars•00 issues•00 pull requests•Updated Apr 28, 2025Apr 28, 2025

• spoofax-deploy

  Public
  Python

  •

  Apache License 2.0

  •55 forks•00 stars•00 issues•55 pull requests•Updated Apr 28, 2025Apr 28, 2025

• spt

  Public
  Java

  •

  Apache License 2.0

  •88 forks•00 stars•33 issues•00 pull requests•Updated Apr 28, 2025Apr 28, 2025

• sdf

  Public
  Java

  •

  Apache License 2.0

  •1010 forks•88 stars•22 issues•33 pull requests•Updated Apr 28, 2025Apr 28, 2025

• nabl

  Public
  Spoofax' Name Binding Language

  Java

  •

  Apache License 2.0

  •1111 forks•99 stars•3939 issues•33 pull requests•Updated Apr 28, 2025Apr 28, 2025

• esv

  Public
  Apache License 2.0

  •33 forks•00 stars•00 issues•00 pull requests•Updated Apr 28, 2025Apr 28, 2025

• runtime-libraries

  Public
  Runtime libraries and task engine for Spoofax

  Java

  •

  Apache License 2.0

  •22 forks•44 stars•00 issues•00 pull requests•Updated Apr 28, 2025Apr 28, 2025

• flowspec

  Public
  Control- and Data-Flow Specification meta-language

  Java

  •

  Apache License 2.0

  •11 fork•22 stars•00 issues•11 pull request•Updated Apr 28, 2025Apr 28, 2025

• spg

  Public
  Spoofax Program Generator

  Java

  •11 fork•11 star•00 issues•00 pull requests•Updated Apr 28, 2025Apr 28, 2025

• spoofax-intellij

  Public
  Java

  •

  Apache License 2.0

  •77 forks•1212 stars•88 issues•00 pull requests•Updated Apr 28, 2025Apr 28, 2025

• spoofax-eclipse

  Public
  Eclipse integration for Spoofax core

  eclipsespoofax

  eclipsespoofax

  Java

  •

  Apache License 2.0

  •88 forks•00 stars•00 issues•00 pull requests•Updated Apr 28, 2025Apr 28, 2025

• spoofax-maven

  Public
  Spoofax Maven plugin

  Java

  •

  Apache License 2.0

  •22 forks•00 stars•00 issues•55 pull requests•Updated Apr 28, 2025Apr 28, 2025

• dynsem

  Public
  DynSem

  Java

  •

  Apache License 2.0

  •55 forks•1313 stars•3636 issues•33 pull requests•Updated Apr 28, 2025Apr 28, 2025

• spoofax-sunshine

  Public
  Java

  •

  Apache License 2.0

  •22 forks•33 stars•00 issues•00 pull requests•Updated Apr 28, 2025Apr 28, 2025

• ts

  Public
  type stuff

  TypeScript

  •

  Apache License 2.0

  •33 forks•11 star•00 issues•00 pull requests•Updated Apr 28, 2025Apr 28, 2025

• jsglr

  Public
  Java

  •

  Apache License 2.0

  •99 forks•1010 stars•00 issues•11 pull request•Updated Apr 28, 2025Apr 28, 2025

• mb-exec

  Public
  Java

  •

  Apache License 2.0

  •22 forks•22 stars•00 issues•00 pull requests•Updated Apr 28, 2025Apr 28, 2025

• mb-rep

  Public
  Java

  •

  Apache License 2.0

  •44 forks•22 stars•22 issues•11 pull request•Updated Apr 28, 2025Apr 28, 2025

• rust-scopegraphs

  Public
  Scope Graph Implementation in Rust

  Rust

  •

  MIT License

  •00 forks•3131 stars•2222 issues•33 pull requests•Updated Nov 22, 2024Nov 22, 2024

• spoofax.gradle

  Public
  Gradle plugin for building and using Spoofax languages

  gradlegradle-pluginspoofax+ 2

  gradlegradle-pluginspoofaxgradle-pluginsgradle-metadata

  Kotlin

  •

  Apache License 2.0

  •00 forks•11 star•00 issues•00 pull requests•Updated Oct 4, 2024Oct 4, 2024

• metaborg-dynamix

  Public
  Haskell

  •00 forks•11 star•00 issues•00 pull requests•Updated Oct 4, 2024Oct 4, 2024

• disamb-verification

  Public
  Coq

  •00 forks•00 stars•00 issues•00 pull requests•Updated Oct 2, 2024Oct 2, 2024

• java-front

  Public
  Java frontend for Spoofax

  javaparsespoofax

  javaparsespoofax

  Java

  •

  Apache License 2.0

  •88 forks•55 stars•00 issues•11 pull request•Updated Sep 18, 2024Sep 18, 2024