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