Haoze Zhang's repositories
incredible-solution
Solutions to the Incredible Proof Machine http://incredible.pm/
motor-driver
BLDC/DC motor and multi-axis stepper motor driver on STM32.
Darkmode.js
🌓 Add a dark-mode / night-mode to your website in a few seconds
Language:JavaScriptMIT000
future_champions_platform
Educational robotic platform made for future champions
Language:C++000
hartshorne-isabelle
Isabelle version of everything in Hartshorne's Foundations of Projective Geometry book.
Language:Isabelle000
notes.hzz.sh
Technical notes by me for you
CC-BY-4.0000
openj9
Eclipse OpenJ9: A Java Virtual Machine for OpenJDK that's optimized for small footprint, fast start-up, and high throughput. Builds on Eclipse OMR (https://github.com/eclipse/omr) and combines with the Extensions for OpenJDK for OpenJ9 repo.
Language:JavaNOASSERTION000
primer
Primer is a Jekyll theme for GitHub Pages
Language:SCSSMIT000
ros-start
Handouts for getting started with ROS
000