David Cook's repositories
tomestone-utils
FFXIV data mining and modding in Rust
dap-interop-test-runner
Reference DAP interoperation test harness
query-plan-charts
Phase diagram-style charts for PostgreSQL query plans
cargo
The Rust package manager
cargo-llvm-lines
Count lines of LLVM IR per generic function
criterion.rs
Statistics-driven benchmarking library for Rust
curl-container
curl images
curve25519-dalek
A pure-Rust implementation of group operations on Ristretto and Curve25519
draft-mouris-cfrg-mastic
Specification of the Mastic Verifiable Distributed Aggregation Function (VDAF)
draft-wang-ppm-differential-privacy
Describe DP mechanisms and guarantees on a DAP/VDAF system
fiat-crypto
Cryptographic Primitive Code Generation by Fiat
getrandom
A small cross-platform library for retrieving random data from (operating) system source
helm-charts
Prometheus community Helm charts
libprio-rs
Implementation of Prio in Rust.
opentelemetry-rust
OpenTelemetry API and SDK for Rust
postgres_exporter
A PostgreSQL metric exporter for Prometheus
ppm-specification
Design documents and other documentation related to the Prio family of projects
rcgen
Generate X.509 certificates
retry-after
Retry-After header for Hyper
rewriter
Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting
terraform-provider-github
Terraform GitHub provider
transit-buffer-map
Python notebook to map all properties within a half mile of transit stations
trillium
🌱🦀🌱 Trillium is a composable toolkit for building internet applications with async rust
validator
Simple validation for Rust structs
vdaf-rejection-sampling-search
Brute-force search tool for rejection sampling test vectors