Discover amiller/ucmodel Open Source project

Stars
1
Language
Python
Created almost 11 years ago
Updated almost 11 years ago

amiller

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

HoneyBadgerBFT

The Honey Badger of BFT Protocols

Python

310

libfreenect-goodies

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

Python

166

redblackmerkle

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

Python

lambda-auth

authenticated data structures, generically

Python

sprites

Python

haskell-saucy

Super Amazing Universal Composability, Yeah!

Haskell

bitcoin-python

Friendly bitcoin API binding for Python

Python

python-zk-proofs

Python

instant-poker

Off-chain poker in Ethereum

Python

tinybitcoinpeer

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

Python

generic-ads

Generalized Authenticated Data Structures

Haskell

pinocchio

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

C++

ethereum-blockhashes

Contract to record hashes of recent and historic blocks

Python

sgx-epid-contest

Good Riddance to EPID Pre-Deprecation Memorial Contest

Solidity

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".

Python

pykinect

Python demos and tools for working with kinect data

Python

distributed-keygen

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

C++

bitcoin-sok

Systematizing Knowledge about Bitcoin

TeX

dstack-vm

Python

fstar374

algorithms and models of computation in fstar

gramine-rsademo

Python

gramine-sgx-revm

Rust

allofthecoins

Dockerfile

otrjs

OTR Implementation in Javascript (libotr clone)

JavaScript

glxcontext

Gets you an OpenGL context for offscreen rendering

Python

static_server

Static web server that uses bottle

Python

shadow-plugin-bitcoin

Shadow plugin for bitcoind (the Satoshi reference client)

byzbit

a model of Bitcoin as a distributed Byzantine consensus protocol

Python

rtmodel

Python

pyzxing

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

C++

projective_stereo

Python

CoinCoq

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

Verilog

zero-collateral-lottery

Commitment-based Ethereum Lotteries without Collateral

Python

wxpy3d

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

Python

gramine-dummy-attester

Python

accessoracles

upright

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

Java

chitchat

An experiment using a chat with a three-person group

Python

viff

Clone of http://viff.dk/

Python

legoscan

3D reconstruction for lego

Python

clickmeasure

Python

geppetto

Geppetto from Microsoft Research

quartet

Python

classipy-visuals

Classifier Performance Visualization

Python

nonoutsourceable

Nonoutsourceable Scratch-off Puzzles to Discourage Bitcoin Mining Coalitions

browseridchat

A real-time encrypted chat service using Browser ID

JavaScript

mesh

Python

dapperlabs

Free Software from Dapper Vision Inc.

solidity-dupchecker

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

Solidity

gramine-forge

Solidity

figr

Use the web to display matplotlib figures from a headless machine

miniviff

experiments in secret sharing

mev-meditations

graphicsii

pystats

pyreg

Python and JS bridge for easy prototyping

Python

handframe_calibration

Python

statusupdate

it's status update, our top secrete game

PHP

cot6410coq

computability models and theorems in coq

Verilog

dividingline

Python

calibkinect

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

Python

giftchecks

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

Python

pywebcredits

Python

docker-zcash

Docker files for building zcash repeatably.

Shell

expdeam

deamortized exponential datastructures

Haskell

wearcoin

JavaScript

rapier

Rapid Iterative Prototyping Tutorials for Python

pnymgr

Pseudonym Manager - javascript toolkit for managing your pseudonyms

amiller/ucmodel

amiller

Reviews

Repository Details

More Repositories