Pinned Loading

1. chapulin chapulin Public

   TLS 1.3 client and server in C11 for devices with a few kB of RAM: no heap, libc only, Apache-2.0. Every module has a CBMC memory-safety proof, and the crypto is checked against a Lean spec on ever…

   C 2

2. gofetch gofetch Public

   Go library for downloading content from internet, in parallel.

   Go 26 2

3. cocuyo cocuyo Public

   DNS resolver library for Zig that owns the protocol and none of the I/O: no sockets, threads or allocation; time and randomness are arguments. An optional engine runs it on your event loop, with DN…

   Zig

4. colibri colibri Public

   HTTP/1.1, HTTP/2 and HTTP/3 in Zig, client and server, written from the RFCs: no heap, no I/O of its own, deterministic simulation, TLA+ and Lean models. QUIC included.

   Zig

5. stdx stdx Public

   Compression codecs for Zig: deflate, zlib, gzip, zstd and brotli, encoders and decoders, with no heap and no I/O

   Zig

6. rotor rotor Public

   Event loop and I/O layer for Zig 0.16: io_uring on Linux with an epoll fallback, kqueue on macOS. Allocates nothing, keeps assertions on in production, and is benchmarked against libuv and libxev i…

   Zig