kinanbab Goto Github PK

ahash

aHash is a non-cryptographic hashing algorithm that uses the AES hardware instruction

artificial-intelligence-coursework

bitvec

A crate for managing memory bit by bit

challenges

(partial and complete) Solutions to programming challenges online

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

grammars-v4

Grammars written for ANTLR v4; expectation that the grammars are free of actions.

llvm-coq

Semi-automating verification of LLVM programs using Hoare Logic in Coq

neptune-notebook.js

Interactive Notebook for Javascript and Node.js

numerical-codes-numerical-analysis

oprf

Oblivious Pseudo Random Function based on elliptic curve scalar mult

p4-pdpi

parallel-computing---aub-hpc

privacyinmachinelearning

Code and Analysis from Boston University's CS 591S1: Data Privacy In Machine Learning.

providej

TypeProviders for dynamic JSON data in Java.

replicated-node

Collection of Algorithms and Infrastructure for replicating and distributing Node.js applications

rocket

A web framework for Rust.

rocket_cors

Cross-origin resource sharing (CORS) for Rocket.rs applications

rocksdb

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

rustc_plugin

A framework for writing plugins that integrate with the Rust compiler

sea-orm

🐚 An async & dynamic ORM for Rust

web-mpc-mmf

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

websubmit-rs

Class submission system