s-zanella

brew

🍺 The missing package manager for macOS

cryptofuzz

cryptofuzz-evercrypt

A fork of Cryptofuzz with an EverCrypt module

diverse-beam-search

:mag: :shipit: Decoding Diverse Solutions from Neural Sequence Models

enacl

Erlang bindings for NaCl / libsodium

fstar-mode.el

Emacs support for F*

hacl-packages

The Cryspen HACL Distribution

hacl-star

hacspec

homebrew-core

🍻 Core formulae for the Homebrew package manager

Idris-dev

A Dependently Typed Functional Programming Language

math-comp

Mathematical Components

opacus

Training PyTorch models with differential privacy

openssl

TLS/SSL and crypto library

oss-fuzz

OSS-Fuzz - continuous fuzzing of open source software

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

s-zanella

s-zanella.github.io

tls13-spec

TLS 1.3 Specification

WebClient

Official AngularJS web client for the ProtonMail secure email service.

zgrab

Grab banners (optionally over TLS)