amutake/spa-server
Simple static file server for single-page application
A Scheme interpreter written in Haskell (programming project for newcomers of PSG)
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Simple static file server for single-page application
My beamer template
Verification Framework for Actor Systems on Coq
Public repository.