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