d-krupke
Theoretical Mind, Practical Solutions: Mastering NP-Hard Optimization Problems @ Technical University of Braunschweig
TU BraunschweigGermany
d-krupke's Stars
jesseduffield/lazygit
simple terminal UI for git commands
carbon-language/carbon-lang
Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
astral-sh/ruff
An extremely fast Python linter and code formatter, written in Rust.
pybind/pybind11
Seamless operability between C++11 and Python
plasma-umass/scalene
Scalene: a high-performance, high-precision CPU, GPU, and memory profiler for Python with AI-powered optimization proposals
google-research/arxiv-latex-cleaner
arXiv LaTeX Cleaner: Easily clean the LaTeX code of your paper to submit to arXiv
shapely/shapely
Manipulation and analysis of geometric objects
cpm-cmake/CPM.cmake
📦 CMake's missing package manager. A small CMake script for setup-free, cross-platform, reproducible dependency management.
wjakob/nanobind
nanobind: tiny and efficient C++/Python bindings
tbenthompson/cppimport
Import C++ files directly from Python!
texworld/betterbib
:green_book: Command-line tools for bibliographies.
msoos/cryptominisat
An advanced SAT solver
coin-or/Cbc
COIN-OR Branch-and-Cut solver
Gurobi/modeling-examples
Gurobi modeling examples
scikit-build/scikit-build
Improved build system generator for CPython C, C++, Cython and Fortran extensions
pysathq/pysat
A toolkit for SAT-based prototyping in Python
Simple-Robotics/proxsuite
The Advanced Proximal Optimization Toolbox
scipopt/scip
SCIP - Solving Constraint Integer Programs
arminbiere/cadical
CaDiCaL SAT Solver
oxfordcontrol/Clarabel.rs
Clarabel.rs: Interior-point solver for convex conic optimisation problems in Rust.
scikit-build/scikit-build-core
A next generation Python CMake adaptor and Python API for plugins
texworld/blacktex
:black_heart: Cleans up your LaTeX files.
NSLS-II/scientific-python-cookiecutter
a tutorial and 'cookiecutter' template for a scientific Python library
chuffed/chuffed
The Chuffed CP solver
Gurobi/grblogtools
Extract and visualize information from Gurobi log files
google/pywrapcc
scientific-python/repo-review
Framework that can run checks on repos
bionetslab/robust
ROBUST: Robust disease module mining via enumeration of price-collecting Steiner trees
d-krupke/AlgBench
Experiment execution and result management for empirical evaluations of algorithms in Python.
d-krupke/skbuild-conan
An extension for scikit-build to add C++-dependencies as easily as Python dependencies via conan.