Lists (1)
Stars
Rust implementation of protobuf with editions support, JSON serialization, and zero-copy views
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…
BBRv3 congestion control for quic-go pluggable CC
Ohayou(おはよう), HTTP load generator, inspired by rakyll/hey with tui animation.
0-day malware detection for binaries, source & scripts (that doesn't suck)
Community plugin to control Blender 3D with any LLM of your choice. Not affiliated with the official Blender Foundation.
Simple Theorem Prover, an efficient SMT solver for bitvectors, floating-point and arrays.
The micro-VM for AI agents — light enough to embed on your laptop, elastic enough to power an agentic cloud.
ngtcp2 project is an effort to implement IETF QUIC protocol
Policy-driven, layered isolation and containment
Turn any codebase, with its docs, SQL schemas, configs, and PDFs, into a queryable knowledge graph. A /graphify skill for Claude Code, Cursor, Codex, and Gemini CLI: local deterministic AST parsing…
Write HTML. Render video. Built for agents.
Domain-specific language designed to streamline the development of high-performance GPU/CPU/Accelerators kernels
Compression codecs for Zig: deflate, zlib, gzip, zstd and brotli, encoders and decoders, with no heap and no I/O
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…
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.
QUIC / WebTransport Interop Runner
A conformance testing tool for HTTP/2 implementation.
Simple DNS proxy with DoH, DoT, DoQ and DNSCrypt support
Differential testing framework for HTTP implementations