amiller/ucmodel
Public repository.
Discovered public repositories for amiller in the GitHub catalog.
Public repository.
Public repository.
Public repository.
Public repository.
Public repository.
Systematizing Knowledge about Bitcoin
Crowdsourced Storage from Scratch
Public repository.
Mechanical turk vision scripts
Public repository.
A low-level bitcoin library written in standard C.
Bitcoin library
Generalized Authenticated Data Structures
Public repository.
Bitcoin P2P router, in python
JSON-RPC 2.0 over ZeroMQ in Python
distribution bond market software
a model of Bitcoin as a distributed Byzantine consensus protocol
Public repository.
An authenticated data structure based on a red-black tree.
Public repository.
Convert OpenNI (opennpy) depth images to metric 3D and back
Public repository.
The Tahoe-LAFS decentralized secure filesystem. https://github.com/tahoe-lafs/tahoe-lafs is the master. (note that this is a mirror of the darcs repo, updated manually whenever I remember to run the script)
Open-Transactions allows users to issue and manipulate digital assets. Users may create many pseudonyms (public keys), each of which may own asset accounts of various types. Users can transfer digital assets securely between accounts (even a server cannot change balances or forge transactions.) Users can also operate “cash-only” (without accounts) for maximum anonymity. Open-Transactions also implements higher-level, contract-based transactions such as payment plans and markets with trades. The markets on Open-Transactions support market orders, limit orders, fill-or-kill orders, day orders, stop orders, and stop limits, just like trading on a real market. OT also supports basket currencies. All of this is accomplished in such a way that all parties are able to prove, at all times, which transactions have cleared and which instruments are authorized, without having to store their entire transaction history, but instead by merely keeping the last signed receipt.
Public repository.
qrcode reader - wrapper for Zebra-Crossing (zxing/cpp)
wxWidgets-based alternative to GLUT that works with ipython -wthread
A library of abstract interfaces for mathematical structures in Coq.
An attempt at a formal specification for Bitcoin, including formal semantics for Bitcoin scripts.
linked data store
Public repository.
Self-issued currency for a gift-economy. An electronic potlatch.
Redis Python Client
An experiment using a chat with a three-person group
Public repository.
A trading game that makes use of the MPM (Miller Pseudonym Manager)
Pseudonym Manager - javascript toolkit for managing your pseudonyms
OTR Implementation in Javascript (libotr clone)
A JavaScript library for parsing the OTR message format, using parser combinators.
Public repository.
A JavaScript library which implements fancy IPC semantics on top of postMessage.
A secure, distributed, and easy to use identification system.
Simple, secure chat utilizing BrowserID
A real-time encrypted chat service using Browser ID
Gets you an OpenGL context for offscreen rendering
Public repository.
Static web server that uses bottle
pure-python ECDSA signature/verification
Public repository.