Stars
⛽ Tokenize gas on Ethereum with GasToken ⛽
K Semantics of the Ethereum Virtual Machine (EVM)
bitcoinclassic / bitcoinclassic
Forked from bitcoin/bitcoinBitcoin 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.
pdaian / orangered
Forked from talklittle/reddit-is-funAndroid 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