mor1/MPP-language-blender
MPP: a meta preprocessor that blends programming languages
Miscellaneous Python 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