spgroup/rgmsPreprocessor
Pre-processor for the RGMS project.
The EPiC-Java research project: an extension to the Java language based on OpenJDK's compiler.
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Pre-processor for the RGMS project.
A framework for crawling GitHub projects and raw data and to extract metrics from them
Public repository.
PVS specification files for the theory of Software Product Line Refinement