makefile for managing python projects

Training Butler: automatically run evals, save artifacts, and swap between tensorboard/wandb/local logging

A simple, WYSIWYG, 2D vector shape drawing and editing tool that supports TikZ output

Simple and flexible multi-index containers.

Deployments of fancy cryptography

Decree Fiat Shamir Library

Experimental Rust implementation of Asymmetric Message Franking

Algebraic effects for Rust

FrodoKEM: Learning with Errors Key Encapsulation. FrodoKEM is a family of key-encapsulation mechanisms that are designed to be conservative yet practical post-quantum constructions whose security d…

LegoGroth16 implementation on top of Zexe

Facilitating high-level interactions between Wasm modules and JavaScript

Python & Command-line tool to gather text and metadata on the Web: Crawling, scraping, extraction, output as CSV, JSON, HTML, MD, TXT, XML

Progress indicators/bars using Streams, Service Workers, and Fetch APIs

fully accessible cross-browser HTML5 media player.

A suite of rust libraries for secure multi-party computation

Community Cryptography Specification Project

High-performance open BitTorrent tracker (UDP, HTTP, WebTorrent)

Multiprecision arithmetic & RSA accumulators, within SNARKs

An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.

Open source alternative frontend for TikTok made using PHP

Overview of alternative open source front-ends for popular internet platforms (e.g. YouTube, Twitter, etc.)

Nova: High-speed recursive arguments from folding schemes

Solidity RSA Sha256 Pkcs1 Verification

e-Passport NFC Reader Android app

Implementations of proof-carrying data

Big array helper for serde

A development version of the numerically exact variant of MIP solver SCIP

The Free Software Media System - Server Backend & API

Verifying Integer Programming Results

Don't Roll Your Own Crypto: pure-Rust, hard to misuse cryptography library