max-p-log-p's repositories
cs4390project
Distributed Computation
4D617278
Gentoo ebuilds
arm
ARM Dynamic Binary Instrumentation
cs6385p1
Linear Programming
fbpdf
A small framebuffer pdf, djvu, epub, xps, and cbz viewer
gentoo
[MIRROR] Official Gentoo ebuild repository
gzkbpp
Implementation of the ZKB++ proof system
intel
amd64 and i386 Dynamic Binary Instrumentation
less
Less - text pager
mmm
Minimal Matrix Messenger
multiverse-development
A collection of development resources used by Multiverse OS developers; including guides for manual installation, notes, scripts and other tools that will eventually be merged into an installer
mutex
Optimal Distributed Mutual Exclusion
net
Combinatorial Optimization
Picnic
Reference implementation of the Picnic post-quantum signature scheme
pqthr
Post Quantum Threshold Ring Signatures
regex
Formally verified regular expression matcher
shell
Shell scripts
tmux
tmux source code
verifpal
Cryptographic protocol analysis for real-world protocols.
WebApp
We Vote's javascript (client-side) mobile website built with React/Flux. Twitter: @WeVote Apple Store: https://itunes.apple.com/us/app/we-vote-voter-guide/id1347335726 Android: https://play.google.com/store/apps/details?id=org.wevote.cordova&hl=en_US
WeVoteCordova
Cordova wrapper for the We Vote WebApp. Twitter: @WeVote
WeVoteServer
We Vote's API application server written in Django/Python. Election data pulled from many sources, used by https://github.com/wevote/WebApp and WeVoteReactNative
within-ring
Implement within-ring signatures