codahale

Coda Hale's starred repositories

property testing and verification front-end for Rust

Language:CMIT168 4 67

A Rust hyper/tower service that implements load shedding with queuing & concurrency limiting based on latency.

Language:RustApache-2.0141 3 3

Rust library for cryptographic research

Language:RustMIT122 8 1

Language:MakefileNOASSERTION18 14 2

Language:RustNOASSERTION12 10

Adept Secret Sharing

Language:GoMIT7 20

Rust CLI utility library. Error handling, status reporting, and exit codes.

Language:RustApache-2.07 1 17

KangarooTwelve

Language:PythonNOASSERTION5 50