robertzhidealx

Robert Zhang's repositories

lyte

A collection of highly extensible React components.

Language:TypeScript3 10

trade-ml

Predict Bitcoin price and trade in real time.

Language:Jupyter Notebook3 10

lytepq

A small and mighty suite of data structures in JavaScript.

Language:JavaScriptMIT2 10

notest

AI-enabled question generation note-taking app.

Language:JavaScript1 10

bedrock2

A work-in-progress language and compiler for verified low-level programming

Language:CoqMIT000

fall2022-tests

Test cases for 601.428/628 Compilers and Interpreters, Fall 2022, at JHU

Language:Ruby000

ocelot

Public repo for Ocelot code and benchmarks

000

An ARCHIVED implementation of DDPA and related program analyses. This repository was split into separate projects when it became apparent that the related analyses would not be merged back into the DDPA branch. See the "ddpa", "ddse", and "sato" repositories in this organization.

000