Stars
BUSPACELab / fizz-rs
Forked from alex-douk/fizz-rsRust bindings for the Facebook Fizz TLS 1.3 library. Does not contain all the Fizz bindings, this mostly focuses around RFC 9345 (Delegated Credentials).
A suite of Rust libraries for secure multi-party computation.
Versatile framework for multi-party computation on the web. Based on the implementation of MP-SPDZ.
A Rust library for producing NIZK proofs of knowledge of any linear discrete log relationship
Practical End-to-End Privacy Compliance with Policy Containers and Privacy Regions
An offline collection of Homestuck and its related works.
JavaScript library for building web-based applications that employ secure multi-party computation (MPC).
MySQL-compatible database for GDPR compliance by construction.
A text editor with an sort-of-unusual undo/redo algorithm
A library that provides an embeddable, persistent key-value store for fast storage.
Implementation of snapping mechanism for differentially private noise generation
victor-mora / signmeup
Forked from signmeup/signmeupReal-time application to sign up for and manage TA hours.
FunkyFr3sh / cnc-ddraw
Forked from mvdhout1992/cnc-ddrawGDI, OpenGL and Direct3D 9 re-implementation of the DirectDraw API for classic 2D games for better compatibility with Windows ME, 2000, XP, Vista, 7, 8, 10, 11, Wine (Linux/macOS/Android) and Virtu…
Rewrite of cnc-ddraw with Tiberian Sun as the target
Coq development for the course "Mechanized semantics", Collège de France, 2019-2020
A library of mechanised undecidability proofs in the Coq proof assistant.
SQL Parser for C++. Building C++ object structure from SQL statements.
Serde serializable and deserializable trait objects
Open Source real-time strategy game engine for early Westwood games such as Command & Conquer: Red Alert written in C# using SDL and OpenGL. Runs on Windows, Linux, *BSD and Mac OS X.
Expand a macro-circuit into standard Bristol format
JavaScript implementation of garbled gates and 2PC boolean circuit protocols