jia-kai

MITCambridge

Pinned Repositories

armcpu
Another Reduced Mips CPU
Language:C3 5 03
bachelor-thesis
Language:Python4 3 02
besiege-drone
A drone in Besiege controlled by PID algorithms
Language:Python3 2 00
eevbnn
Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks
Language:Python13 3 03
hearv
Following http://people.csail.mit.edu/mrub/VisualMic/ to create a visual microphone; course project for DSP in 2014 fall, Tsinghua
Language:TeX5 3 12
minisatcs
A minimalistic and high-performance SAT solver
Language:C++4 1 02
realadv
Code for the SAS 2021 paper Exploiting Verified Neural Networks via Floating Point Numerical Error.
Language:Python5 3 10
SANM
A symbolic asymptotic numerical solver
Language:C++31 3 12
yasap
Yet Anothe Star Alignment Program for Astrophotography
Language:Python1 1 00
MegEngine
MegEngine 是一个快速、可拓展、易于使用且支持自动求导的深度学习框架
Language:C++4.8k 137 371542

jia-kai's Repositories

jia-kai/SANM
A symbolic asymptotic numerical solver
Language:C++31 3 12
jia-kai/eevbnn
Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks
Language:Python13 3 03
jia-kai/realadv
Code for the SAS 2021 paper Exploiting Verified Neural Networks via Floating Point Numerical Error.
Language:Python5 3 10
jia-kai/bachelor-thesis
Language:Python4 3 02
jia-kai/minisatcs
A minimalistic and high-performance SAT solver
Language:C++4 1 02
jia-kai/besiege-drone
A drone in Besiege controlled by PID algorithms
Language:Python3 2 00
jia-kai/jia-kai.github.io
Language:SCSS3 3 00
jia-kai/cryptopals
Language:Jupyter Notebook1 2 0
jia-kai/MIPVerify.jl
Evaluating Robustness of Neural Networks with Mixed Integer Programming
Language:Julia1 2 0
jia-kai/uSQL
uSQL stands for unnamedSQL, a course project for Introduction to Database Systems in 2014 fall, Tsinghua University.
Language:C++1 5 1
jia-kai/yasap
Yet Anothe Star Alignment Program for Astrophotography
Language:Python1 1 00
jia-kai/cryptopals-rust
Language:Rust2 0
jia-kai/darktable
darktable is an open source photography workflow application and raw developer
Language:C0 0
jia-kai/everywhere-ftp
Automatically exported from code.google.com/p/everywhere-ftp
Language:Python1 0
jia-kai/f3d
Fast and minimalist 3D viewer.
Language:C++0 0
jia-kai/graph-drawer
Automatically exported from code.google.com/p/graph-drawer
Language:C++1 0
jia-kai/injuslin
Automatically exported from code.google.com/p/injuslin
Language:C++2 0
jia-kai/jkos
Automatically exported from code.google.com/p/jkos
Language:C++2 0
jia-kai/lambda-capture-chkref
Language:C++2 0
jia-kai/lensfunpy
📷 Lens distortion correction for Python, a wrapper for lensfun
Language:Cython0 0
jia-kai/MPBNGCInterface.jl
Julia package interfacing the Fortran code MPBNGC.
Language:Julia0 0
jia-kai/nccl
Optimized primitives for collective multi-GPU communication
Language:Cuda2 0
jia-kai/opencv
Open Source Computer Vision Library
Language:C++2 0
jia-kai/piqp
An Proximal Interior Point Quadratic Programming solver
Language:C++0 0
jia-kai/py-setproctitle
A Python module to customize the process title
Language:C2 0
jia-kai/pynojo
Automatically exported from code.google.com/p/pynojo
Language:Python1 0
jia-kai/swig
SWIG is a software development tool that connects programs written in C and C++ with a variety of high-level programming languages.
Language:C++2 0
jia-kai/trafs
Trust Region Adversarial Functional Subdifferential for nonsmooth convex optimization
Language:Python1 0
jia-kai/wordbar
Automatically exported from code.google.com/p/wordbar
Language:Java2 1
jia-kai/xabell
Automatically exported from code.google.com/p/xabell
Language:C++1 01