Discover @amiller Open Source projects

Andrew Miller (@amiller)

amiller

Stars
1,043
Global Rank 29,349 (Top 2 %)
Followers 494
Following 28
Registered over 15 years ago
Most used languages

Python
60.0 %

C++
4.6 %

JavaScript
4.6 %

C
4.6 %

Solidity
4.6 %

Haskell
4.6 %

Verilog 3.1 %

Jupyter Notebook
1.5 %

TeX
1.5 %

PHP
1.5 %

Rust
1.5 %

F* 1.5 %

Java
1.5 %

Dockerfile
1.5 %

Shell
1.5 %

F#
1.5 %
Location 🇺🇸 United States
Country Total Rank 8,808
Country Ranking

F* 3

Solidity
237

Haskell
356

F#
380

Verilog 532

TeX
1,436

Dockerfile
1,647

Python
1,760

Rust
4,708

C++
5,293

C
8,866

HoneyBadgerBFT

The Honey Badger of BFT Protocols

libfreenect-goodies

Extra libraries and examples for libfreenect, especially high level processing, vision, and visualizations

redblackmerkle

An authenticated data structure based on a red-black tree.

lambda-auth

authenticated data structures, generically

sprites

haskell-saucy

Super Amazing Universal Composability, Yeah!

bitcoin-python

Friendly bitcoin API binding for Python

python-zk-proofs

instant-poker

Off-chain poker in Ethereum

tinybitcoinpeer

A toy bitcoin peer. Connects to testnet, shakes hands, reacts to pings, asks for pongs.

generic-ads

Generalized Authenticated Data Structures

pinocchio

pinocchio from Microsoft Research - this is rehosted on github only because Codeplex went down!

ethereum-blockhashes

Contract to record hashes of recent and historic blocks

sgx-epid-contest

Good Riddance to EPID Pre-Deprecation Memorial Contest

blockplayer

Blockplayer is a system that uses a depth sensor to acquire and track a building block model in realtime, as the user assembles and interacts with the physical model. This is the open-source project code that goes along with the IEEE TVGC 2012 (IEEE VR 2012) paper "Interactive 3D Model Acquisition and Tracking for Building Block Structures".

pykinect

Python demos and tools for working with kinect data

distributed-keygen

Distributed Key Generation in the Wild (from https://crysp.uwaterloo.ca/software/DKG/ )

bitcoin-sok

Systematizing Knowledge about Bitcoin

dstack-vm

fstar374

algorithms and models of computation in fstar

gramine-rsademo

gramine-sgx-revm

allofthecoins

otrjs

OTR Implementation in Javascript (libotr clone)

glxcontext

Gets you an OpenGL context for offscreen rendering

static_server

Static web server that uses bottle

shadow-plugin-bitcoin

Shadow plugin for bitcoind (the Satoshi reference client)

byzbit

a model of Bitcoin as a distributed Byzantine consensus protocol

rtmodel

pyzxing

qrcode reader - wrapper for Zebra-Crossing (zxing/cpp)

projective_stereo

CoinCoq

An attempt at a formal specification for Bitcoin, including formal semantics for Bitcoin scripts.

zero-collateral-lottery

Commitment-based Ethereum Lotteries without Collateral

wxpy3d

wxWidgets-based alternative to GLUT that works with ipython -wthread

gramine-dummy-attester

accessoracles

upright

Automatically exported from code.google.com/p/upright

chitchat

An experiment using a chat with a three-person group

viff

Clone of http://viff.dk/

legoscan

3D reconstruction for lego

clickmeasure

geppetto

Geppetto from Microsoft Research

quartet

classipy-visuals

Classifier Performance Visualization

nonoutsourceable

Nonoutsourceable Scratch-off Puzzles to Discourage Bitcoin Mining Coalitions

browseridchat

A real-time encrypted chat service using Browser ID

mesh

dapperlabs

Free Software from Dapper Vision Inc.

solidity-dupchecker

solidity code for checking if an array has duplicates using a bloom filter or advice

gramine-forge

figr

Use the web to display matplotlib figures from a headless machine

miniviff

experiments in secret sharing

mev-meditations

Jupyter Notebook

graphicsii

pystats

pyreg

Python and JS bridge for easy prototyping

ucmodel

handframe_calibration

statusupdate

it's status update, our top secrete game

cot6410coq

computability models and theorems in coq

dividingline

calibkinect

Convert OpenNI (opennpy) depth images to metric 3D and back

giftchecks

Self-issued currency for a gift-economy. An electronic potlatch.

pywebcredits

docker-zcash

Docker files for building zcash repeatably.

expdeam

deamortized exponential datastructures

wearcoin

rapier

Rapid Iterative Prototyping Tutorials for Python

pnymgr

Pseudonym Manager - javascript toolkit for managing your pseudonyms