derbear

PhD student in MIT PDOS

Pinned Repositories

aardvark-prototype
Aardvark evaluation artifact
Language:C2 1 00
bellbook
Book trading web application
Language:PHP6 11 02
Clockwork
Android wear time (two-device) synchronization
Language:Java1 2 00
cs186
Helper notes for CS 186.
1 1 00
edrax-vcs
Language:C++1 1 00
go-algorand
Algorand's official implementation in Go.
Language:Go1 1 01
pointproofs
Language:Rust1 1 00
potato
(potatoes (potatoes everywhere))
Language:C1 2 00
steal
S-expression syntax sugar for Algorand TEAL contracts
Language:Racket8 4 06
verifiable-shuffle
Hosts Bayer and Groth's verifiable shuffle.
Language:C++3 5 01

derbear's Repositories

derbear/steal
S-expression syntax sugar for Algorand TEAL contracts
Language:Racket8 4 06
derbear/bellbook
Book trading web application
Language:PHP6 11 02
derbear/verifiable-shuffle
Hosts Bayer and Groth's verifiable shuffle.
Language:C++3 5 01
derbear/aardvark-prototype
Aardvark evaluation artifact
Language:C2 1 00
derbear/Clockwork
Android wear time (two-device) synchronization
Language:Java1 2 00
derbear/cs186
Helper notes for CS 186.
1 1 00
derbear/edrax-vcs
Language:C++1 1 00
derbear/go-algorand
Algorand's official implementation in Go.
Language:Go1 1 01
derbear/pointproofs
Language:Rust1 1 00
derbear/potato
(potatoes (potatoes everywhere))
Language:C1 2 00
derbear/AptList
Apartment List coding challenge
Language:Python2 0
derbear/bschedule
Language:JavaScript2 0
derbear/dragonSMASH
Language:Python3 0
derbear/gyre
Collecting sensor data on Android wear
Language:Java1 0
derbear/ptpv2d
Automatically exported from code.google.com/p/ptpv2d
Language:C1 5
derbear/specs
Algorand Specifications
Language:Makefile1 0
derbear/wacaw
A fork of http://sourceforge.net/projects/webcam-tools/
Language:Objective-C2 0