Pinned Repositories
checklist
cs-sum-projects
Project Skeletons for the Boston University Summer Challenge Computer Science Program
CS591K1-Labs
Lab notes and code for BU CAS CS591 K1 - Foundations and Pragmatics of Dependently-Typed Automated Systems
CS591L1
Materials for a computer science course on embedded languages and frameworks.
CSCI2390-cryptography-primer
LLVM-COQ
Semi-automating verification of LLVM programs using Hoare Logic in Coq
neptune-notebook.js
Interactive Notebook for Javascript and Node.js
jiff
JavaScript library for building web-based applications that employ secure multi-party computation (MPC).
jigg
JavaScript implementation of garbled gates and 2PC boolean circuit protocols
web-mpc
Platform for deploying web-based privacy-preserving data surveys using secure multi-party computation (MPC).
KinanBab's Repositories
KinanBab/neptune-notebook.js
Interactive Notebook for Javascript and Node.js
KinanBab/CS591K1-Labs
Lab notes and code for BU CAS CS591 K1 - Foundations and Pragmatics of Dependently-Typed Automated Systems
KinanBab/CS591L1
Materials for a computer science course on embedded languages and frameworks.
KinanBab/checklist
KinanBab/cs-sum-projects
Project Skeletons for the Boston University Summer Challenge Computer Science Program
KinanBab/CSCI2390-cryptography-primer
KinanBab/LLVM-COQ
Semi-automating verification of LLVM programs using Hoare Logic in Coq
KinanBab/Parallel-Computing---AUB-HPC
KinanBab/PrivacyInMachineLearning
Code and Analysis from Boston University's CS 591S1: Data Privacy In Machine Learning.
KinanBab/ProvideJ
TypeProviders for dynamic JSON data in Java.
KinanBab/grammars-v4
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
KinanBab/abomonation
A mortifying serialization library for Rust
KinanBab/aHash
aHash is a non-cryptographic hashing algorithm that uses the AES hardware instruction
KinanBab/bitvec
A crate for managing memory bit by bit
KinanBab/cargo-raze
Generate Bazel BUILD from Cargo dependencies!
KinanBab/challenges
(partial and complete) Solutions to programming challenges online
KinanBab/csci2390-cryptography-assignment
CS2390 cryptography assignment
KinanBab/OPRF
Oblivious Pseudo Random Function based on elliptic curve scalar mult
KinanBab/p4-pdpi
KinanBab/replicated-node
Collection of Algorithms and Infrastructure for replicating and distributing Node.js applications
KinanBab/Rocket
A web framework for Rust.
KinanBab/rocket_cors
Cross-origin resource sharing (CORS) for Rocket.rs applications
KinanBab/rocksdb
A library that provides an embeddable, persistent key-value store for fast storage.
KinanBab/rules_rust
Rust rules for Bazel
KinanBab/rustc_plugin
A framework for writing plugins that integrate with the Rust compiler
KinanBab/sea-orm
🐚 An async & dynamic ORM for Rust
KinanBab/tic-tac-toe
Tic Tac Toe game with a min max agent
KinanBab/tic-tac-toe-5
Stencil code for Summer@Brown Rust course project
KinanBab/web-mpc-mmf
Platform for deploying web-based privacy-preserving data surveys using secure multi-party computation (MPC).
KinanBab/websubmit-rs
Class submission system