A minimal crate for decoding ROQ video streams
RTP over iroh
Proc-macro Coq code generation and proof automation
Derive macros to generate Coq code from Rust
GStreamer Plugin for QUIC
Ruby wrapper for liboqs via direct shared library method invocation. The wrapper is pretty stable since it is direct method invocation from shared library. Any upgrade to the liboqs, after compiled to a shred library, roqs can immediately utilize the upgraded library without any modification.