Kai Jia

No description provided.

Mapnik is an open source toolkit for developing mapping applications

C++ Library Manager for Windows, Linux, and MacOS

Yet Anothe Star Alignment Program for Astrophotography

A symbolic asymptotic numerical solver

Fast and minimalist 3D viewer.

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

Trust Region Adversarial Functional Subdifferential for nonsmooth convex optimization

An Proximal Interior Point Quadratic Programming solver

Julia package interfacing the Fortran code MPBNGC.

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

📷 Lens distortion correction for Python, a wrapper for lensfun

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

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

A minimalistic and high-performance SAT solver

Another Reduced Mips CPU

darktable is an open source photography workflow application and raw developer

No description provided.

Evaluating Robustness of Neural Networks with Mixed Integer Programming

A drone in Besiege controlled by PID algorithms

No description provided.

No description provided.

No description provided.

A Python module to customize the process title

Optimized primitives for collective multi-GPU communication

Open Source Computer Vision Library

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

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

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

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