max-p-log-p Goto Github PK

4d617278

Gentoo ebuilds

arm

ARM Dynamic Binary Instrumentation

chat

cs4390project

Distributed Computation

cs6313project

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

lb

Browser in the less pager

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

str

Formal verification of strncmp, strlen, and strnlen

tmux

tmux source code

verifpal

Cryptographic protocol analysis for real-world protocols.

vib

Browser in vi with 50 lines of code

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