jia-kai Goto Github PK

505a-air-quality

Automatically exported from code.google.com/p/505a-air-quality

armcpu

Another Reduced Mips CPU

bachelor-thesis

besiege-drone

A drone in Besiege controlled by PID algorithms

coursey

Automatically exported from code.google.com/p/coursey

cryptopals

cryptopals-rust

darktable

darktable is an open source photography workflow application and raw developer

eevbnn

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

everywhere-ftp

Automatically exported from code.google.com/p/everywhere-ftp

graph-drawer

Automatically exported from code.google.com/p/graph-drawer

hearv

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

injuslin

Automatically exported from code.google.com/p/injuslin

jia-kai.github.io

jkos

Automatically exported from code.google.com/p/jkos

lambda-capture-chkref

lensfunpy

📷 Lens distortion correction for Python, a wrapper for lensfun

minisatcs

A minimalistic and high-performance SAT solver

mipverify.jl

Evaluating Robustness of Neural Networks with Mixed Integer Programming

mpbngcinterface.jl

Julia package interfacing the Fortran code MPBNGC.

nccl

Optimized primitives for collective multi-GPU communication

opencv

Open Source Computer Vision Library

orzoj.server-judge

Automatically exported from code.google.com/p/orzoj.server-judge

orzoj.website

Automatically exported from code.google.com/p/orzoj.website

piqp

An Proximal Interior Point Quadratic Programming solver

py-setproctitle

A Python module to customize the process title

pynojo

Automatically exported from code.google.com/p/pynojo

realadv

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

sanm

A symbolic asymptotic numerical solver

swig

SWIG is a software development tool that connects programs written in C and C++ with a variety of high-level programming languages.