Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switch…

Old v1 repo, please see http://github.org/telehash now.

Kodkod solver for relational logic

A Tahoe-LAFS client for Android

The original Android client for the 2cloud Project

A project I worked on to make a multiprotocol messaging client back when the android API was in beta

A Kademlia-based DHT and JSON protocol for application meshing and eventing

A project I worked on to make a multiclient messaging client back when the android API was in beta