mor1/MPP-language-blender
MPP: a meta preprocessor that blends programming languages
bash/sh scripts
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
MPP: a meta preprocessor that blends programming languages
Public repository.
Unix HTTP client and server using the Mirage libraries
Xen HTTP client and server using the Mirage libraries