wrv Goto Github PK

atepairing-iphone

The Ate Pairing for iOS

bp-go

Bulletproofs Implementation in Go

camdraw

An Android application that takes a picture, allows you to draw on it, and save it on the system. Very basic.

cbench

A benchmark for C program verification

circlesquarefuzzing

All the fuzzing material for the CircleSquare method

facebookloginexample

Android Code to showcase how to login into Facebook

fcf

Foundational Cryptography Framework for machine-checked proofs of cryptography.

fyrebox

Encrypted file system

groundshaker

The Future of GroundShaking technology

h264-reader

Rust reader for H264 bitsream syntax

h26forge

Domain-specific infrastructure for analyzing, generating, and manipulating syntactically correct but semantically spec-non-compliant video files.

ios-evote

Implementation of e-voting protocol for iOS

ios-evoteserver

The server component to test EVoting protocol

libfss

Library for performing Function Secret Sharing (FSS)

libwebp

Mirror only. Please do not send pull requests.

lol

A library for ring-based lattice cryptography

md4c

C Markdown parser. Fast. SAX-like interface. Compliant to CommonMark specification.

mylar

Mylar - Transparent end-to-end encryption for Meteor JS

post2crucible

Crucible code review uploader client

r1cs-tutorial

rav1e

The fastest and safest AV1 encoder.

rlbox

RLBox sandboxing framework

rlbox-book

rlbox_wasm2c_sandbox

rlwe_challenger

Code to mess around with the rlwe challenges, and try to solve them

simde

Implementations of SIMD instruction sets for systems which don't natively support them.

storm-hackathon

Storm hackathon material

storm-starter

Learn to use Storm!

stormtest

Moar example code of Storm test stuff

subspace

An experimental take on a safer, simpler C++ standard library.