Performance Survey of Several Ratcheted Key-Agreement and Messaging Protocols

A lightweight C++ graph library

Experimental project for testing and scaling consensus and broadcast algorithms

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

Software Automatic Mouth - Tiny Speech Synthesizer

Advanced crypto library for the Go language

Pure Go implementation of the Ristretto prime-order group over Edwards25519

Lambda calculus interpreter written in Java