pdaian

gastoken

⛽ Tokenize gas on Ethereum with GasToken ⛽

vyper-semantics

KVyper: Semantics of Vyper in K

evm-semantics

K Semantics of the Ethereum Virtual Machine (EVM)

bitcoinclassic

Bitcoin Classic integration/staging tree

freejournal

Document publication and public distribution infrastructure.

lethe

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

kweb

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

middleman

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

Museum-Parser-Server

Backend server for the future Museum Gallery Android and iOS App

SafeBuckets

NerdBukkit

The Minecraft Server Mod API Implementation Modified by concerned server admins for sublime performance and minimal API modification. Beautiful (*#$.

MCBouncer

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

RedditModPlugin

RedditModPlugin

orangered

Android app to interact with reddit.com

Glowstone-Legacy

An open-source server for the Bukkit Minecraft modding interface

CraftBukkit

The Minecraft Server Mod API Implementation

PHP-URL-Shortener

reddit-is-fun

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