☆36Feb 8, 2026Updated 2 months ago
Alternatives and similar repositories for gd-lean
Users that are interested in gd-lean are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Convex optimization modeling in Lean 4☆72May 31, 2024Updated last year
- PEPit is a package enabling computer-assisted worst-case analyses of first-order optimization methods.☆111Mar 17, 2026Updated last month
- Maros and Meszaros Convex QP test problems in MAT format☆14Mar 18, 2014Updated 12 years ago
- Pytorch implementation of SuperPolyak subgradient method.☆42Nov 18, 2022Updated 3 years ago
- Code for steering and monitoring with concepts vectors in LLMs. https://arxiv.org/abs/2502.03708☆29Aug 10, 2025Updated 8 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Efficient empirical NTKs in PyTorch☆22Jun 13, 2022Updated 3 years ago
- PyTorch implementation of efficient algorithms for DRO with CVaR and Chi-Square uncertainty sets☆65Oct 21, 2022Updated 3 years ago
- PyTorch utilities for Optimal Power Flow☆29Mar 17, 2025Updated last year
- Convex Optimization under Uncertainty☆30Mar 31, 2026Updated last month
- Machine Learning Course From Scratch☆13Jul 24, 2024Updated last year
- A functional GUI library written in Julia using OpenGL.☆49Apr 12, 2026Updated 3 weeks ago
- ☆10Aug 5, 2020Updated 5 years ago
- LCP solver based on Lemke's method.☆13Oct 15, 2022Updated 3 years ago
- Bundle Methods in Julia☆10Sep 4, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Proximal algorithms for nonsmooth optimization in Julia☆140Mar 29, 2026Updated last month
- Implements vanilla PDHG algorithm☆10Mar 13, 2023Updated 3 years ago
- Presentations of the advanced topics in optimization☆11Oct 30, 2019Updated 6 years ago
- ☆13Jun 18, 2024Updated last year
- Code for the paper: Network Decoupling: From Regular to Depthwise Separable Convolutions☆13Dec 9, 2018Updated 7 years ago
- ☆13Apr 7, 2025Updated last year
- Tilting estimators for program evaluation for Python 3☆10Oct 31, 2019Updated 6 years ago
- Optimize nonsmooth functions with gradient sampling, (ns) BFGS...☆10Feb 11, 2025Updated last year
- Successive Convexification with Continuous-Time Constraint Satisfaction☆17Sep 13, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Zeroth-order Min-max Optimization☆13Jun 28, 2020Updated 5 years ago
- HPR-LP: A GPU Solver for Linear Programming☆29Apr 26, 2026Updated last week
- ☆11May 21, 2019Updated 6 years ago
- Julia modeling interface to parallel decomposition solver DSP☆12Sep 2, 2022Updated 3 years ago
- It's a baby compiler. (Lean btw.)☆16May 19, 2025Updated 11 months ago
- A Low-Rank ADMM Splitting Approach for Semidefinite Programming☆13Jun 18, 2025Updated 10 months ago
- This example builds on the parallel-forall repo separate compilation example by adding CMake to it.☆17Nov 14, 2017Updated 8 years ago
- Cone program refinement☆10Mar 6, 2020Updated 6 years ago
- The 4DVar data assimilation technique implemented with the Lorenz '63 model☆11Dec 12, 2017Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Download and view subway ridership data for BART (Bay Area) and MTA (New York City)☆10Dec 9, 2022Updated 3 years ago
- [ECML 2020] OBProx-SG☆16Mar 23, 2021Updated 5 years ago
- ☆18Jun 9, 2021Updated 4 years ago
- Code for the paper "Distinguishing the Knowable from the Unknowable with Language Models"☆11Apr 15, 2024Updated 2 years ago
- The MIP Workshop 2023 Computational Competition☆39Feb 2, 2024Updated 2 years ago
- Terraform module to create an Elastic Kubernetes (EKS) cluster and associated worker instances on AWS☆14Aug 26, 2020Updated 5 years ago
- The Constrained and Unconstrained Testing Environment with safe threads (CUTEst) for optimization software☆133Apr 15, 2026Updated 2 weeks ago