Lee Gao's starred repositories
pyre-check
Performant type-checking for python.
vdexExtractor
Tool to decompile & extract Android Dex bytecode from Vdex files
dataset-api
The ApolloScape Open Dataset for Autonomous Driving and its Application.
coq-tricks
Tricks you wish the Coq manual told you
play-instant-unity-plugin
Google Play Instant Plugin for Unity Beta (Archived)
Adjoint-Workshop
Gentle introduction and demo of the adjoint variable method for electromagnetic inverse design
gradual-typing
an implementation of gradual typing in mit-scheme
goodrich-dsa-python
My solutions to Data Structures and Algorithms in Python by Michael T. Goodrich, Roberto Tamassia, and Michael H. Goldwasser
linear-transform-visualizer
Tool to visualize linear transformations in linear algebra
numbersense-vae
Modeling visual number sense with variational autoencoders
sde-parameter-estimation
Estimating parameters of stochastic differential equations (SDEs)
zte_extract
Extract ZTE firmware installer packages
PyNum4Dummies
library and exemples of numerical methods for education and research purpose
POO-2018.2
Algorithms written in the classes of Object Oriented Programming (Programação Orientada a Objetos) at Federal University of ABC (UFABC).
Sudoku-Solver
Python script for completely solving sudokus by iterating through all solutions alphabetically.
monkey-cube
Notebooks and Markdown scripts for Monkey Cube proofs
MPC-Project
Submission repository for MPC project for Udacity Self-Driving Car Engineer Nanodegree program
PID-control
Submission repository for PID control project for Udacity Self-Driving Engineer Car Nanodegree program
RoboND-Perception-Project
Project Submission for the Udacity Robotics Software Engineer Nanodegree