⛽ Tokenize gas on Ethereum with GasToken ⛽

KVyper: Semantics of Vyper in K

K Semantics of the Ethereum Virtual Machine (EVM)

Bitcoin Classic integration/staging tree

Document publication and public distribution infrastructure.

Secure self-destructing messaging service for the privacy conscious user. Designed to be deployed over anonymity networks such as Tor and I2P.

Online extensible IDE for the K Framework and other formal verification projects. Example deployment at http://kframework.org/kweb/

Python app making international arbitrage profitable and easy for the average citizen.

Backend server for the future Museum Gallery Android and iOS App

A banning plugin for Minecraft which is open, modular, fair, and unbiased.

RedditModPlugin

Android app to interact with reddit.com

An open-source server for the Bukkit Minecraft modding interface

OLD VERSION 1.3 of reddit is fun -- Android app to interact with reddit.com