☆37Feb 8, 2026Updated 3 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☆74May 31, 2024Updated last year
- PEPit is a package enabling computer-assisted worst-case analyses of first-order optimization methods.☆111Mar 17, 2026Updated 2 months 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 10 months ago
- Pytorch implementation of SuperPolyak subgradient method.☆42Nov 18, 2022Updated 3 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.
- Code for steering and monitoring with concepts vectors in LLMs. https://arxiv.org/abs/2502.03708☆30Aug 10, 2025Updated 9 months ago
- 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☆30Mar 17, 2025Updated last year
- Machine Learning Course From Scratch☆13Jul 24, 2024Updated last year
- A functional GUI library written in Julia using OpenGL.☆49Updated this week
- LCP solver based on Lemke's method.☆13Oct 15, 2022Updated 3 years ago
- Bundle Methods in Julia☆10Sep 4, 2024Updated last year
- The goal of this project is to develop a program for planetary soft landings using lossless convexification of non convex control bounds.☆12Mar 25, 2022Updated 4 years ago
- 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.
- Official Github for Wharton STAT 4830☆57Apr 16, 2026Updated last month
- Proximal algorithms for nonsmooth optimization in Julia☆141Mar 29, 2026Updated last month
- ☆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
- ☆13Jun 18, 2024Updated last year
- Code for the paper: Network Decoupling: From Regular to Depthwise Separable Convolutions☆13Dec 9, 2018Updated 7 years ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Nov 6, 2019Updated 6 years ago
- Implementation of several multiagent trajectory generation algorithms☆12Jul 21, 2020Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Tilting estimators for program evaluation for Python 3☆10Oct 31, 2019Updated 6 years ago
- Turtlesim-PID-Controller: A ROS 2 node designed to navigate a turtle in the turtlesim simulator using Proportional control. Aims to drive…☆14Feb 26, 2025Updated last year
- Successive Convexification with Continuous-Time Constraint Satisfaction☆17Sep 13, 2024Updated last year
- ☆13Aug 2, 2023Updated 2 years ago
- NonOpt: Nonconvex, Nonsmooth Optimizer☆28Apr 14, 2026Updated last month
- Implementation of basic navigation behaviours for a unicycle robot written in Python☆10Oct 8, 2023Updated 2 years ago
- With GraphSynth, one can design, implement, test, and automatically invoke grammar rules that transform a graph from an initial seed into…☆17Jan 15, 2025Updated last year
- Full spectrum sheaf neural network over arbitrary CW complexes.☆17Apr 1, 2026Updated last month
- ☆11May 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.
- Julia modeling interface to parallel decomposition solver DSP☆12Sep 2, 2022Updated 3 years ago
- A Low-Rank ADMM Splitting Approach for Semidefinite Programming☆13Jun 18, 2025Updated 11 months ago
- Cone program refinement☆10Mar 6, 2020Updated 6 years ago
- Download and view subway ridership data for BART (Bay Area) and MTA (New York City)☆10Dec 9, 2022Updated 3 years ago
- A Multiagent Simulation Platform for Research. PFA the corresponding paper presented at Eight Indian Control Conference 2022.☆10Sep 14, 2022Updated 3 years ago
- [ECML 2020] OBProx-SG☆16Mar 23, 2021Updated 5 years ago
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆18Dec 21, 2022Updated 3 years ago