Psi Vesely

No description provided.

A Latex template for formatting the Yale GSAS dissertation

An attempt at a new LWE estimator

A Virtual Machine for Zero-Knowledge Executions

Ansible Role - GPG Key

a build tool for ACIs

The documentation and build system for the grsecurity kernel maintained by the Freedom of the Press Foundation for SecureDrop

Tor Configuration and Tweaks for Anonymity Distributions

CryptoBib Database for Developers

No description provided.

An implementation of the WOTS-T one-time signature scheme.

No description provided.

Implements SNARK-friendly BLS signatures

Rust library for decentralized private computation

A Rust library for polynomial commitments

A Rust library for the Marlin preprocessing zkSNARK

Spacemacs layer for fstar (wrapper for fstar-mode.el)

When They Came Down—A People's History of Reclaiming our Space from Genocide, Colonialism, and Slavery

A delightful community-driven framework for managing your zsh configuration. Includes 200+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, php, python, etc), over 140 themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.

Hugo-based website of Philipp Jovanovic

Free and Open Source messaging and emailing app that combines common web applications into one.

ZKProofs website

Zcash Improvement Proposals

Sodium Oxide: Fast cryptographic library for Rust (bindings to libsodium)

A crawler based on Tor Browser and Selenium

WeeChat IRC client container is a docker container you run on a server and connect to over ssh.

specification and design documents

🎄🖋 A Rust implementation of Merkle signing

:christmas_tree: A Rust implementation of a Merkle tree

:fountain_pen: A Rust implementation of Lamport Signatures