Discover @jia-kai Open Source projects

Kai Jia (@jia-kai)

jia-kai

Stars
73
Global Rank 259,582 (Top 9 %)
Followers 210
Following 10
Registered about 12 years ago
Most used languages

Python
45.5 %

C++
18.2 %

SCSS 9.1 %

TeX
9.1 %

C
9.1 %

Jupyter Notebook
9.1 %
Location 🇬🇧 United Kingdom
Country Total Rank 11,170
Country Ranking

SCSS 261

TeX
453

C++
1,052

C
2,937

Python
4,112

Jupyter Notebook
5,820

SANM

A symbolic asymptotic numerical solver

eevbnn

Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks

realadv

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, Tsinghua

bachelor-thesis

jia-kai.github.io

besiege-drone

A drone in Besiege controlled by PID algorithms

armcpu

Another Reduced Mips CPU

uSQL

uSQL stands for unnamedSQL, a course project for Introduction to Database Systems in 2014 fall, Tsinghua University.

yasap

Yet Anothe Star Alignment Program for Astrophotography

cryptopals

Jupyter Notebook