jia-kai/bachelor-thesis jia-kai/bachelor-thesis

  • Stars
    star
    4
  • Rank 3,287,811 (Top 66 %)
  • Language
    Python
  • License
    Do What The F*ck ...
  • Created over 9 years ago
  • Updated about 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jia-kai/bachelor-thesis
github

jia-kai

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

SANM

A symbolic asymptotic numerical solver
C++
30
star
2

eevbnn

Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks
Python
12
star
3

realadv

Code for the SAS 2021 paper Exploiting Verified Neural Networks via Floating Point Numerical Error.
Python
5
star
4

hearv

Following http://people.csail.mit.edu/mrub/VisualMic/ to create a visual microphone; course project for DSP in 2014 fall, Tsinghua
TeX
5
star
5

jia-kai.github.io

SCSS
3
star
6

besiege-drone

A drone in Besiege controlled by PID algorithms
Python
3
star
7

armcpu

Another Reduced Mips CPU
C
3
star
8

uSQL

uSQL stands for unnamedSQL, a course project for Introduction to Database Systems in 2014 fall, Tsinghua University.
C++
1
star
9

yasap

Yet Anothe Star Alignment Program for Astrophotography
Python
1
star
10

cryptopals

Jupyter Notebook
1
star