Interactive documentation on zero-knowledge proof systems and related primitives.

Manifold Markets: A market for every question

Sum/Union/Variant Type in Go and Static Check Tool of switch-case handling

The Mercury logic programming system.

The missing CMake project initializer

An image generator based on Felix Kramer's The Stranger Modules.

A drawing tool/cellular automata simulator mashup.

Reverse engineering of Validity/Synaptics 138a:0090, 138a:0094, 138a:0097, 06cb:0081, 06cb:009a fingerprint readers protocol

VDF competition instructions, and simple implementation

A toolbox for zkSNARKs on Ethereum

RSA attack tool (mainly for ctf) - retrieve private key from weak public key and/or uncipher data

OCaml cryptographic library

User contributed color scripts

Bamboo see https://github.com/cornellblockchain/bamboo

A Python implementation of the Wiener attack on RSA public-key encryption scheme.

Exploits locked/password protected computers over USB, drops persistent WebSocket-based backdoor, exposes internal router, and siphons cookies using Raspberry Pi Zero & Node.js.

Trade bitcoins for tokens via btc-relay

Multisignature insurance contract to hold REP tokens

Image super-resolution through deep learning

Equihash: memory-hard PoW with fast verification

Mango: Git, completely decentralised.

a pure Python implementation of the hashing function BLAKE2

BLAKE2 official implementations

Zcash - Internet Money

💾 peer-to-peer sharing & live syncronization of files via command line

A simple web3.js extension for management APIs over IPC

Platform to host Capture the Flag competitions