-
vcpkg Public
Forked from microsoft/vcpkgC++ Library Manager for Windows, Linux, and MacOS
CMake MIT License UpdatedSep 21, 2025 -
mapnik Public
Forked from mapnik/mapnikMapnik is an open source toolkit for developing mapping applications
C++ GNU Lesser General Public License v2.1 UpdatedAug 2, 2025 -
-
f3d Public
Forked from f3d-app/f3dFast and minimalist 3D viewer.
C++ BSD 3-Clause "New" or "Revised" License UpdatedFeb 9, 2025 -
-
trafs Public
Trust Region Adversarial Functional Subdifferential for nonsmooth convex optimization
Python UpdatedMay 28, 2024 -
piqp Public
Forked from PREDICT-EPFL/piqpAn Proximal Interior Point Quadratic Programming solver
C++ BSD 2-Clause "Simplified" License UpdatedJan 3, 2024 -
MPBNGCInterface.jl Public
Forked from milzj/MPBNGCInterface.jlJulia package interfacing the Fortran code MPBNGC.
Julia GNU General Public License v3.0 UpdatedDec 22, 2023 -
lensfunpy Public
Forked from letmaik/lensfunpy📷 Lens distortion correction for Python, a wrapper for lensfun
Cython MIT License UpdatedJul 24, 2023 -
darktable Public
Forked from darktable-org/darktabledarktable is an open source photography workflow application and raw developer
C GNU General Public License v3.0 UpdatedJul 19, 2022 -
eevbnn Public
Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks
-
minisatcs Public
Forked from niklasso/minisatA minimalistic and high-performance SAT solver
-
realadv Public
Code for the SAS 2021 paper Exploiting Verified Neural Networks via Floating Point Numerical Error.
-
-
MIPVerify.jl Public
Forked from vtjeng/MIPVerify.jlEvaluating Robustness of Neural Networks with Mixed Integer Programming
-
-
-
-
-
py-setproctitle Public
Forked from dvarrazzo/py-setproctitleA Python module to customize the process title
C Other UpdatedAug 23, 2016 -
nccl Public
Forked from NVIDIA/ncclOptimized primitives for collective multi-GPU communication
Cuda BSD 3-Clause "New" or "Revised" License UpdatedAug 19, 2016 -
opencv Public
Forked from opencv/opencvOpen Source Computer Vision Library
C++ Other UpdatedDec 22, 2015 -
SWIG is a software development tool that connects programs written in C and C++ with a variety of high-level programming languages.
C++ Other UpdatedNov 24, 2015 -
-
uSQL Public
uSQL stands for unnamedSQL, a course project for Introduction to Database Systems in 2014 fall, Tsinghua University.
-
pynojo Public
Automatically exported from code.google.com/p/pynojo
Python GNU General Public License v3.0 UpdatedMar 22, 2015 -
-
-
graph-drawer Public
Automatically exported from code.google.com/p/graph-drawer
C++ GNU General Public License v3.0 UpdatedMar 22, 2015 -
everywhere-ftp Public
Automatically exported from code.google.com/p/everywhere-ftp
Python UpdatedMar 22, 2015
{{ message }}