Skip to content
@metaborg

MetaBorg

Pinned Loading

  1. spoofax Public

    Spoofax runtime

    Java 140 23

  2. spoofax-eclipse Public

    Eclipse integration for Spoofax core

    Java 8

  3. spoofax-intellij Public

    Java 11 7

  4. sdf Public

    Java 7 10

  5. nabl Public

    Spoofax' Name Binding Language

    Java 8 12

  6. dynsem Public

    DynSem

    Java 13 4

Repositories

Showing 10 of 87 repositories
  • sdf Public
    Java 7 Apache-2.0 10 0 3 Updated Jan 31, 2025
  • spoofax-releng Public

    Metaborg Release Engineering

    Shell 13 Apache-2.0 7 0 0 Updated Jan 31, 2025
  • stratego Public
    Java 10 Apache-2.0 6 8 2 Updated Jan 31, 2025
  • spoofax Public

    Spoofax runtime

    Java 140 Apache-2.0 23 0 0 Updated Jan 30, 2025
  • metaborg.github.io Public

    Documentation for the Spoofax language workbench.

    TeX 0 Apache-2.0 5 1 0 Updated Jan 28, 2025
  • rust-scopegraphs Public

    Scope Graph Implementation in Rust

    Rust 22 MIT 0 22 3 Updated Nov 22, 2024
  • spoofax.gradle Public

    Gradle plugin for building and using Spoofax languages

    Kotlin 1 Apache-2.0 0 0 0 Updated Oct 4, 2024
  • metaborg-dynamix Public
    Haskell 1 0 0 0 Updated Oct 4, 2024
  • spoofax-pie Public

    Spoofax implementation using PIE pipelines

    Java 13 Apache-2.0 9 34 3 Updated Oct 3, 2024
  • disamb-verification Public
    Coq 0 0 0 0 Updated Oct 2, 2024
View all repositories