There are no reviews yet. Be the first to send feedback to the community and the maintainers!
SANM
A symbolic asymptotic numerical solvereevbnn
Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networksrealadv
Code for the SAS 2021 paper Exploiting Verified Neural Networks via Floating Point Numerical Error.hearv
Following http://people.csail.mit.edu/mrub/VisualMic/ to create a visual microphone; course project for DSP in 2014 fall, Tsinghuabachelor-thesis
jia-kai.github.io
besiege-drone
A drone in Besiege controlled by PID algorithmsarmcpu
Another Reduced Mips CPUuSQL
uSQL stands for unnamedSQL, a course project for Introduction to Database Systems in 2014 fall, Tsinghua University.cryptopals
Love Open Source and this site? Check out how you can help us