raylin1000

drop-bert

NABERT model for solving the DROP dataset

Crowd-Dynamics

Repository for CS 205 Final Project, Spring 2019

Astrophysics-Research-Paper

A research paper proposing a new mathematical method (inverse Lanczos interpolation) to create continuous 2D cosmic dust maps from discrete, scattered observations, allowing astronomers to correct for the effects of dust extinction when taking galactic measurements in unexplored regions. The paper compares the new method to local optimization using 2D polynomial fitting.

Harvard-CSP-Solver

A customizable CSP solver for Harvard CS concentrators to optimize and plan their schedules

cs207-FinalProject

namedtensor

Named Tensor implementation for Torch

tcs

Book in preparation: introduction to theoretical computer science

crypto

Lecture notes for a course on cryptography

proof-of-sequential-work

Small repo for implementing the 2018 EUROCRYPT paper "Simple Proofs of Sequential Work" by Cohen and Pietrzak. Also used as part of our CS244 project in Professor Kung's class at Harvard University.

shilling

A proof of concept decentralised file storage system for computationally limited devices based on the Ethereum blockchain

Fully-Homomorphic-Image-Processing

Fully Homomorphic Image Preprocessing and analysis - JPEG encoding, decoding, image resizing.

WebAssembly-Taint

Implementing taint tracking in WebAssembly as a part of the V8 Javascript Engine.