Santiago Zanella-Beguelin's repositories
aici
AICI: Prompts as (Wasm) Programs
Language:RustMIT000
cryptofuzz-evercrypt
A fork of Cryptofuzz with an EverCrypt module
diverse-beam-search
:mag: :shipit: Decoding Diverse Solutions from Neural Sequence Models
fstar-mode.el
Emacs support for F*
hacl-packages
The Cryspen HACL Distribution
NOASSERTION000
homebrew-core
🍻 Core formulae for the Homebrew package manager
prv_accountant
A fast algorithm to optimally compose privacy guarantees of differentially private (DP) mechanisms to arbitrary accuracy.
repro-in-cs
Tracking Responses to the "Reproducibility in Computer Science" Repository (http://reproducibility.cs.arizona.edu/)
responsible-ai-toolbox-privacy
A library for statistically estimating the privacy of ML pipelines from membership inference attacks
tls13-spec
TLS 1.3 Specification