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