KinanBab

KinanBab's Stars

• multiparty/jiff

  JavaScript library for building web-based applications that employ secure multi-party computation (MPC).

  Language:JavaScript24850

• brownsys/K9db

  MySQL-compatible database for GDPR compliance by construction.

  Language:C++24

• zaboople/klonk

  A text editor with an sort-of-unusual undo/redo algorithm

  Language:Java2188

• multiparty/DP-PIR

  Differentially Private Information Retrieval

  Language:C++10

• facebook/rocksdb

  A library that provides an embeddable, persistent key-value store for fast storage.

  Language:C++27.8k6.2k

• pystardust/ani-cli

  A cli tool to browse and play anime

  Language:Shell7.4k530

• HoTT/Coq-HoTT

  A Coq library for Homotopy Type Theory

  Language:Coq1.2k185

• rwbarton/advent-of-lean-4

  Advent of Code 2020 solutions in Lean 4

  Language:Lean25

• ryll-spectre/DP-Snapping-Mech

  Implementation of snapping mechanism for differentially private noise generation

  Language:Rust41

• victor-mora/signmeup

  Real-time application to sign up for and manage TA hours.

  1

• FunkyFr3sh/cnc-ddraw

  GDI, OpenGL and Direct3D 9 re-implementation of the DirectDraw API for classic 2D games for better compatibility with Windows 2000, XP, Vista, 7, 8, 10, 11, Wine (Linux/macOS/Android) and Virtual Machines

  Language:C2.1k143

• CnCNet/ts-ddraw

  Rewrite of cnc-ddraw with Tiberian Sun as the target

  Language:C39444

• xavierleroy/cdf-mech-sem

  Coq development for the course "Mechanized semantics", Collège de France, 2019-2020

  Language:Coq614

• dimakogan/checklist

  Language:C213

• uds-psl/coq-library-undecidability

  A library of mechanised undecidability proofs in the Coq proof assistant.

  Language:Coq10129

• hyrise/sql-parser

  SQL Parser for C++. Building C++ object structure from SQL statements.

  Language:C++722240

• googleinterns/p4-symbolic

  Language:C++111

• dtolnay/typetag

  Serde serializable and deserializable trait objects

  Language:Rust1.1k36

• OpenRA/OpenRA

  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.

  Language:C#14.4k2.6k

• sodium-friends/sodium-native

  Low level bindings for libsodium

  Language:JavaScript29763

• zuik/restql

  Language:Python1

• wyatt-howe/macro-circuit-assembler

  Expand a macro-circuit into standard Bristol format

  Language:JavaScript51

• multiparty/jigg

  JavaScript implementation of garbled gates and 2PC boolean circuit protocols

  Language:JavaScript226

• multiparty/web-mpc

  Platform for deploying web-based privacy-preserving data surveys using secure multi-party computation (MPC).

  Language:JavaScript5322

• KinanBab/cs-sum-projects

  Project Skeletons for the Boston University Summer Challenge Computer Science Program

  Language:HTML11

• multiparty/secure-code-delivery-extension

  Chrome extension for federated secure web application code delivery.

  Language:JavaScript4

• KinanBab/neptune-notebook.js

  Interactive Notebook for Javascript and Node.js

  Language:JavaScript7

• wyatt-howe/jigg

  JavaScript implementation of garbled gates and 2PC boolean circuit protocols

  Language:JavaScript2

• sarahscheffler/dp-census

  Maintaining correct apportionment of House seats with differentially-private population counts

  Language:Python1

• jedisct1/libsodium

  A modern, portable, easy to use crypto library.

  Language:C12.1k1.7k