d-krupke

d-krupke's Stars

• facebookincubator/submitit

  Python 3.8+ toolbox for submitting jobs to Slurm

  Language:Python1.3k125

• MiniZinc/libminizinc

  The MiniZinc compiler

  Language:C++52581

• riga/law

  Build large-scale task workflows: luigi + job submission + remote targets + environment sandboxing using Docker/Singularity

  Language:Python10341

• fastai/fastai

  The fastai deep learning library

  Language:Jupyter Notebook26.4k7.6k

• reflex-dev/reflex

  🕸️ Web apps in pure Python 🐍

  Language:Python20.9k1.2k

• CG-SHOP/pyutils24

  Utilities for verifying solutions of the CG:SHOP 2024 Competition.

  Language:Jupyter Notebook1

• scientific-python/cookie

  Scientific Python Library Development Guide and Cookiecutter

  Language:Python30755

• pandas-dev/pandas

  Flexible and powerful data analysis / manipulation library for Python, providing labeled data structures similar to R data.frame objects, statistical functions, and much more

  Language:Python44k18.1k

• mwaskom/seaborn

  Statistical data visualization in Python

  Language:Python12.7k1.9k

• d-krupke/dispersive_agp_solver

  An exact solver for the Dispersive Art Gallery Problem

  Language:Jupyter Notebook1

• d-krupke/pyvispoly

  CGAL Visibility Polygons in Python

  Language:Jupyter Notebook3

• CPMpy/cpmpy

  Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.

  Language:Python23727

• NikolajBjorner/ShonanArtOfSAT

  Schedule for ArtOfSAT

  810

• Qiskit/rustworkx

  A high performance Python graph library implemented in Rust.

  Language:Rust1.2k159

• py-pkgs/py-pkgs

  Open source book about making Python packages.

  Language:Jupyter Notebook30251

• fabiensanglard/dc

  Driving Compilers

  Language:PHP3015

• oxfordcontrol/Clarabel.rs

  Clarabel.rs: Interior-point solver for convex conic optimisation problems in Rust.

  Language:Rust35929

• Simple-Robotics/proxsuite

  The Advanced Proximal Optimization Toolbox

  Language:C++41951

• bionetslab/robust

  ROBUST: Robust disease module mining via enumeration of price-collecting Steiner trees

  Language:Jupyter Notebook52

• arminbiere/cadical

  CaDiCaL SAT Solver

  Language:C++390135

• google-research/arxiv-latex-cleaner

  arXiv LaTeX Cleaner: Easily clean the LaTeX code of your paper to submit to arXiv

  Language:Python5.4k333

• jesseduffield/lazygit

  simple terminal UI for git commands

  Language:Go54.2k1.9k

• shapely/shapely

  Manipulation and analysis of geometric objects

  Language:Python3.9k571

• scipopt/scip

  SCIP - Solving Constraint Integer Programs

  Language:C40768

• astral-sh/ruff

  An extremely fast Python linter and code formatter, written in Rust.

  Language:Rust33.8k1.1k

• Gurobi/modeling-examples

  Gurobi modeling examples

  Language:Jupyter Notebook666294

• coin-or/Cbc

  COIN-OR Branch-and-Cut solver

  Language:C++831116

• NSLS-II/scientific-python-cookiecutter

  a tutorial and 'cookiecutter' template for a scientific Python library

  Language:Python11741

• chuffed/chuffed

  The Chuffed CP solver

  Language:C++9442

• Gurobi/gurobi-logtools

  Extract and visualize information from Gurobi log files

  Language:Python10717