Katzenpost is a free and open source software project dedicated to researching and developing mix network protocols

Native Android messaging app using Bluetooth LE, TCP, or RNode (LoRa) over LXMF and Reticulum

Dire Wolf is a software "soundcard" AX.25 packet modem/TNC and APRS encoder/decoder. It can be used stand-alone to observe APRS traffic, as a tracker, digipeater, APRStt gateway, or Internet Gatewa…

Hybrid Post Quantum Cryptography

no_std compatible, pure Rust implementation of the Noise protocol framework with post-quantum support

Rust bindings for the Lean 4 proof assistant

CBOR codec (RFC 8949, RFC 8742) with CBOR tags, Go struct tag options (toarray, keyasint, omitempty, omitzero), float64/32/16, big.Int, and fuzz tested.

Lean 4 programming language and theorem prover

Merkle Hash Tree in Haskell

Cryptographic routines for the Lean 4 language

A Haskell library implementing the Noise protocol.

Render markdown on the CLI, with pizzazz! 💅🏻

Golang library for querying and parsing OFX

A simple, modern and secure encryption tool (and Go library) with small explicit keys, no config options, and UNIX-style composability.

A privacy preserving contact tracing design to battle infectious diseases

Go bindings for libnetfilter_queue (Forked from openshift/geard)

Software sandbox for storage of sensitive information in memory.

A catalogue of Rust design patterns, anti-patterns and idioms

Hands-On Concurrency with Rust, published by Packt

🎲 A Distributed Randomness Beacon Daemon - Go implementation

Mirror of my Go Kyber implementation.

A coding challenge to learn Rust

Go port of secret-handshake

mixminion is the main implementation of the Type III ("Mixminion") remailer protocol.

A pure-Rust implementation of group operations on Ristretto and Curve25519

Emulator for rapid prototyping of Software Defined Networks

Scapy: the Python-based interactive packet manipulation program & library.

Proof of Concept code for CVE-2016-5696