spector-in-london Goto Github PK

proof-systems

prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.

psi

Private Set Intersection Cardinality protocol based on ECDH and Bloom Filters

ptp

Facebook's PTP libraries

publications

Easily display Zotero items on a webpage

pulsarcast-test-harness

A test harness for Pulsarcast using ipfs-testbed

pushbox

Durable Storage for Push

py-rse

Research Software Engineering with Python course material

pybra12

Python implementation of "Fully Homomorphic Encryption without Modulus Switching from Classical GapSVP"

pydentity

A repository for leveraging Self-Sovereign Identity in applications

pyntl

Experimental Python bindings for NTL, a C++ Number Therory Library.

pyo3

Rust bindings for the Python interpreter

pysyft

A library for answering questions using data you cannot see

python-1

All Algorithms implemented in Python

python-guide

Python best practices guidebook, written for Humans.

pyumbral

NuCypher's reference implementation of Umbral (threshold proxy re-encryption) using OpenSSL and Cryptography.io

pywebio

Write interactive web app in script way.

qa-interview-assignment

Takehome assignment for the cLabs QA Engineer interview process

qredo-crypto-library

Qredo Crypto Library is a suite of post-quantum secure algorithms used the in Qredo cryptocurrency.

qredo-documentation

Project documentation repository

quinn

Futures-based QUIC implementation in Rust

quorum

RUM: The internet alternatives

rage

A simple, secure and modern encryption tool (and Rust library) with small explicit keys, no config options, and UNIX-style composability.

raha

rand

A Rust library for random number generation.

raneto

Markdown powered Knowledgebase for Nodejs

rapidsnark

fast zksnark prover

rcig_coordination_repo

A Coordination repo for all things Rust Cryptography oriented

react-native-demo

react-styleguidist

Isolated React component development environment with a living style guide