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) ... @ 3ad28c4ba838c92b381ba44639c44f2498edc0e7

Ariadne Devos 3ad28c4ba8 Note what work on arrows has been performed		5 gadi atpakaļ
..
computation-model	29e1e18973 Model speculation	5 gadi atpakaļ
parsers	d5d303cc2c Allow only GPL-2 and GPL-3	5 gadi atpakaļ
people	a449547542 Work out reliability prospects	5 gadi atpakaļ
program-proofs	3ad28c4ba8 Note what work on arrows has been performed	5 gadi atpakaļ
structures	d5d303cc2c Allow only GPL-2 and GPL-3	5 gadi atpakaļ
conf.py	d5d303cc2c Allow only GPL-2 and GPL-3	5 gadi atpakaļ
index.rst	676f64972a Give a few hints on ACSL	5 gadi atpakaļ
tasks.md	d5d303cc2c Allow only GPL-2 and GPL-3	5 gadi atpakaļ