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 година