Pinned Repositories
dynsem
DynSem
linear.agda
A library and case-study for linear, intrinsically-typed interpreters in Agda
mj.agda
https://metaborg.github.io/mj.agda/
nabl
Spoofax' Name Binding Language
rust-scopegraphs
Scope Graph Implementation in Rust
sdf
spoofax
Spoofax runtime
spoofax-eclipse
Eclipse integration for Spoofax core
spoofax-intellij
strategoxt
The Stratego program transformation language
MetaBorg's Repositories
metaborg/spoofax
Spoofax runtime
metaborg/strategoxt
The Stratego program transformation language
metaborg/rust-scopegraphs
Scope Graph Implementation in Rust
metaborg/spoofax-pie
Spoofax implementation using PIE pipelines
metaborg/spoofax-releng
Metaborg Release Engineering
metaborg/jsglr
metaborg/stratego
metaborg/pie
A Programmatic Incremental Build System in Java
metaborg/nabl
Spoofax' Name Binding Language
metaborg/sdf
metaborg/java-front
Java frontend for Spoofax
metaborg/coronium
Gradle plugin for building, developing, and publishing Eclipse plugins
metaborg/gitonium
Gradle plugin for automatic versioning based on Git branch and tag
metaborg/flowspec
Control- and Data-Flow Specification meta-language
metaborg/mb-exec
metaborg/mb-rep
metaborg/common
metaborg/resource
Metaborg resource/filesystem/IO abstraction
metaborg/spg
Spoofax Program Generator
metaborg/spoofax.gradle
Gradle plugin for building and using Spoofax languages
metaborg/disamb-verification
metaborg/metaborg.github.io
Documentation for the Spoofax language workbench.
metaborg/actions
GitHub actions and reusable workflows.
metaborg/devenv
Development environment for MetaBorg Gradle projects
metaborg/esv
metaborg/log
Metaborg logging abstraction
metaborg/metaborg-dynamix
metaborg/metaborg-gradle
Metaborg Gradle convention and development plugins.
metaborg/spoofax-deploy
metaborg/spt