☆37Feb 8, 2026Updated 4 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:
- ☆100Mar 18, 2026Updated 2 months ago
- Convex optimization modeling in Lean 4☆74May 31, 2024Updated 2 years ago
- PEPit is a package enabling computer-assisted worst-case analyses of first-order optimization methods.☆111May 21, 2026Updated 3 weeks ago
- Maros and Meszaros Convex QP test problems in MAT format☆14Mar 18, 2014Updated 12 years ago
- Convert CVXPY expressions to PyTorch expressions☆18Jul 8, 2025Updated 11 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.
- Pytorch implementation of SuperPolyak subgradient method.☆42Nov 18, 2022Updated 3 years ago
- ☆15Mar 7, 2016Updated 10 years ago
- PyTorch utilities for Optimal Power Flow☆32Mar 17, 2025Updated last year
- Convex Optimization under Uncertainty☆32Mar 31, 2026Updated 2 months ago
- Machine Learning Course From Scratch☆13Jul 24, 2024Updated last year
- ☆30Jun 22, 2020Updated 5 years ago
- Custom solver generator for quadratic objective SOCPs☆16May 7, 2026Updated last month
- A functional GUI library written in Julia using OpenGL.☆49Updated this week
- A repo with documentation on how to set up a Julia repo☆12Jul 10, 2020Updated 5 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆10Aug 5, 2020Updated 5 years ago
- Bundle Methods in Julia☆10Sep 4, 2024Updated last year
- Official Github for Wharton STAT 4830☆57Apr 16, 2026Updated last month
- Proximal algorithms for nonsmooth optimization in Julia☆141Mar 29, 2026Updated 2 months ago
- ☆10Dec 17, 2019Updated 6 years ago
- Implements vanilla PDHG algorithm☆10Mar 13, 2023Updated 3 years ago
- Code for "Approaching Deep Learning through the Spectral Dynamics of Weights"☆13Oct 30, 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
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Nov 6, 2019Updated 6 years ago
- ☆14Oct 31, 2024Updated last year
- 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
- Zeroth-order Min-max Optimization☆13Jun 28, 2020Updated 5 years ago
- ☆13Aug 2, 2023Updated 2 years ago
- Code for lin-RFM used for sparse recovery tasks☆17Mar 13, 2025Updated last year
- HPR-LP: A GPU Solver for Linear Programming☆30May 25, 2026Updated 2 weeks ago
- ☆12May 21, 2019Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆10Aug 13, 2021Updated 4 years ago
- It's a baby compiler. (Lean btw.)☆16May 19, 2025Updated last year
- A Low-Rank ADMM Splitting Approach for Semidefinite Programming☆13Jun 18, 2025Updated 11 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
- Download and view subway ridership data for BART (Bay Area) and MTA (New York City)☆10Dec 9, 2022Updated 3 years ago