ERC20 wrapper over the Dai Savings Rate

Allows you to download any Grateful Dead show from archive.org into a folder onto your hard drive.

Play music with GNU Emacs

K framework proof explorer & smart contract specification format

K Semantics of the Ethereum Virtual Machine (EVM)

Tool for overriding Ethereum transactions stuck in the pool

Python API for Maker contracts

the main "web page"

A free software implementation of Symantec's VIP Access application and protocol