ariadne/shttpd: A toy HTTP server in development Goals: secure, scalable (vertically and horizontally), not excessively slow, separation of privilege (and knowledge: HTTP code doesn't have to know TLS key) ... @ verification

Ariadne Devos 89e87ff4fc Define vector-wide bounds		5 年之前
..
Bounds.v	89e87ff4fc Define vector-wide bounds	5 年之前
Fold.v	60e3a469b7 Fold vectors, modulo an equivalence	5 年之前
Iota.v	be5bc4d224 Generate indices in a vector	5 年之前