d-krupke
Theoretical Mind, Practical Solutions: Mastering NP-Hard Optimization Problems @ Technical University of Braunschweig
TU BraunschweigGermany
d-krupke's Stars
ollama/ollama
Get up and running with Llama 3.3, Mistral, Gemma 2, and other large language models.
langchain-ai/langchain
🦜🔗 Build context-aware reasoning applications
fastapi/fastapi
FastAPI framework, high performance, easy to learn, fast to code, ready for production
minio/minio
MinIO is a high-performance, S3 compatible object store, open sourced under GNU AGPLv3 license.
Homebrew/brew
🍺 The missing package manager for macOS (or Linux)
rust-lang/mdBook
Create book from markdown files. Like Gitbook but implemented in Rust
LazyVim/LazyVim
Neovim config for the lazy
fastapi/sqlmodel
SQL databases in Python, designed for simplicity, compatibility, and robustness.
Z3Prover/z3
The Z3 Theorem Prover
google/benchmark
A microbenchmark support library
conan-io/conan
Conan - The open-source C and C++ package manager
cvxpy/cvxpy
A Python-embedded modeling language for convex optimization problems.
hatchet-dev/hatchet
A distributed, fault-tolerant task queue
mitmproxy/pdoc
API Documentation for Python Projects
automl/SMAC3
SMAC3: A Versatile Bayesian Optimization Package for Hyperparameter Optimization
qpsolvers/qpsolvers
Quadratic programming solvers in Python with a unified API
ai4co/rl4co
A PyTorch library for all things Reinforcement Learning (RL) for Combinatorial Optimization (CO)
N-Wouda/ALNS
Adaptive large neighbourhood search (and more!) in Python.
coin-or/Clp
COIN-OR Linear Programming Solver
KaHIP/KaHIP
KaHIP -- Karlsruhe HIGH Quality Partitioning.
madduci/moderncpp-project-template
A Modern C++ cross-platform Project Template with CMake, conan (optional), cppcheck (optional) and clang-format (optional)
metab0t/PyOptInterface
Efficient modeling interface for mathematical optimization in Python
fidelity/mabwiser
[IJAIT 2021] MABWiser: Contextual Multi-Armed Bandits Library
MiniZinc/minizinc-python
Access to all MiniZinc functionality directly from Python
or-tools/awesome_or-tools
A curated list of awesome OR-Tools community resources.
kahypar/mt-kahypar
Mt-KaHyPar (Multi-Threaded Karlsruhe Hypergraph Partitioner) is a shared-memory multilevel graph and hypergraph partitioner equipped with parallel implementations of techniques used in the best sequential partitioning algorithms. Mt-KaHyPar can partition extremely large hypergraphs very fast and with high quality.
d-krupke/cpsat-autotune
WIP: Tune the hyperparameters of Google's OR-Tools' CP-SAT solver for specific models
b-turan/deeplearning-co-at-work2024
Interactive Session at the Summer School & Conference: Mathematical Optimization for Machine Learning
acse-yw11823/SeismicMesh
2D/3D serial and parallel triangular mesh generation tool for finite element methods.
tubs-alg/cg-shop-instances-frontend