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) ...

Ariadne Devos d8dd0d8fc1 Add missing wrap-around theorem		%!s(int64=5) %!d(string=hai) anos
..
conf.py	13ace6b12d Add missing Sphinx build configuration	%!s(int64=5) %!d(string=hai) anos
failbit.rst	991751ef26 Track arithmetic overflow in failbit	%!s(int64=5) %!d(string=hai) anos
gpl.rst	b59fddbe85 Include the license text nicely formatted in documentation	%!s(int64=5) %!d(string=hai) anos
index.rst	9d35813c1b Correct <sHT/lex/nat.h> and implementation	%!s(int64=5) %!d(string=hai) anos
license-copyright.rst	b9a8a3bf34 Generate some documentation	%!s(int64=5) %!d(string=hai) anos
memory-model.rst	36ec5f7f81 Define read-write-set and peek-poke	%!s(int64=5) %!d(string=hai) anos
numeric-bases.rst	d8dd0d8fc1 Add missing wrap-around theorem	%!s(int64=5) %!d(string=hai) anos
reliability.rst	b9a8a3bf34 Generate some documentation	%!s(int64=5) %!d(string=hai) anos
slice.rst	c23f08079f Math: introduce the slice concept	%!s(int64=5) %!d(string=hai) anos
speculation.rst	ff00662f56 Document speculation controls	%!s(int64=5) %!d(string=hai) anos
tasks.md	896ddc89f7 Introduce SPDX-License-Identifier	%!s(int64=5) %!d(string=hai) anos