Pinned Repositories
artifact-vm-builder
Build minimal Debian images for artifact evaluation.
azwn.github.io
ChatProtocol
devenv
Development environment for MetaBorg Gradle projects
documentation
JoobyWebpack
rustig
A tool to detect code paths leading to Rust's panic handler
nabl
Spoofax' Name Binding Language
spoofax
Spoofax runtime
spoofax-pie
Spoofax implementation using PIE pipelines
AZWN's Repositories
AZWN/artifact-vm-builder
Build minimal Debian images for artifact evaluation.
AZWN/azwn.github.io
AZWN/ChatProtocol
AZWN/devenv
Development environment for MetaBorg Gradle projects
AZWN/documentation
AZWN/JoobyWebpack
AZWN/rustig
A tool to detect code paths leading to Rust's panic handler
AZWN/LE---Final-Report
AZWN/master-thesis-template
Master thesis template for Computer Science at TU Delft
AZWN/multilang-bench
Benchmark project for MultiLang analysis
AZWN/multilang-statix-inconsistency-mwe
AZWN/nabl
Spoofax' Name Binding Language
AZWN/pie
Pipelines for Interactive Environments
AZWN/query-compilation-evaluation
AZWN/QuoteDB
AZWN/reposearch
Reposearch is a web-based source code search engine, implemented using WebDSL. It has project-scoped autocompletion, code and hit highlighting and support for any ascii based programming language. SVN, GitHub repositories and zip-archives are currently supported
AZWN/resource
Metaborg resource/filesystem/IO abstraction
AZWN/servo-dependency-graph
Draw.io dependency graph of servo browser engine project
AZWN/spoofax-pie
Spoofax implementation using PIE pipelines
AZWN/Spoofax-pie-diagrams
Draw.io Diagrams for Spoofax3
AZWN/talk-incremental-type-checking
AZWN/webdsl-statix
AZWN/yellowgrass