Beast code in Giters

Kai Jia's repositories

SANM

A symbolic asymptotic numerical solver

Language:C++MIT30 3 1

eevbnn

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

Language:Python12 30

realadv

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

Language:Python5 3 1

bachelor-thesis

Language:PythonWTFPL4 30

minisatcs

A minimalistic and high-performance SAT solver

Language:C++NOASSERTION4 10

besiege-drone

A drone in Besiege controlled by PID algorithms

Language:Python3 20

jia-kai.github.io

Language:SCSS3 30

cryptopals

Language:Jupyter Notebook1 20

MIPVerify.jl

Evaluating Robustness of Neural Networks with Mixed Integer Programming

Language:JuliaNOASSERTION1 20

uSQL

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

Language:C++Unlicense1 5 1

yasap

Yet Anothe Star Alignment Program for Astrophotography

Language:Python1 10

coursey

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

Language:PythonNOASSERTION01 1

cryptopals-rust

Language:Rust020

darktable

darktable is an open source photography workflow application and raw developer

Language:CGPL-3.0000

everywhere-ftp

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

Language:Python010

graph-drawer

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

Language:C++GPL-3.0010

injuslin

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

Language:C++GPL-3.0020

jkos

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

Language:C++GPL-3.0020

lambda-capture-chkref

Language:C++020

lensfunpy

📷 Lens distortion correction for Python, a wrapper for lensfun

Language:CythonMIT000

MPBNGCInterface.jl

Julia package interfacing the Fortran code MPBNGC.

Language:JuliaGPL-3.0000

nccl

Optimized primitives for collective multi-GPU communication

Language:CudaBSD-3-Clause020

opencv

Open Source Computer Vision Library

Language:C++NOASSERTION020

piqp

An Proximal Interior Point Quadratic Programming solver

Language:C++BSD-2-Clause000

py-setproctitle

A Python module to customize the process title

Language:CNOASSERTION020

pynojo

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

Language:PythonGPL-3.0010

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++NOASSERTION020

trafs

Trust Region Adversarial Functional Subdifferential for nonsmooth convex optimization

Language:Python000

wordbar

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

Language:Java02 1

xabell

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

Language:C++010