Alternatives and similar repositories for gd-lean:

Users that are interested in gd-lean are comparing it to the libraries listed below

• optsuite / optlib
  ☆39Updated last month
• alpyurtsever / SketchyCGAL
  MATLAB implementation of the Scalable Semidefinite Programming
  ☆26Updated last year
• PerformanceEstimation / PEPit
  PEPit is a package enabling computer-assisted worst-case analyses of first-order optimization methods.
  ☆84Updated last week
• cvxgrp / diffcp
  Differentiation through cone programs
  ☆94Updated 2 months ago
• cvxgrp / CuClarabel
  ☆13Updated 3 weeks ago
• PerformanceEstimation / Performance-Estimation-Toolbox
  Code of the Performance Estimation Toolbox (PESTO) whose aim is to ease the access to the PEP methodology for performing worst-case analy…
  ☆53Updated 11 months ago
• cvxgrp / cone_prog_refine
  Cone program refinement
  ☆10Updated 4 years ago
• SaitejaUtpala / rieoptax
  Riemannian Optimization Using JAX
  ☆48Updated last year
• AccelerationMethods / AccelerationMonograph
  ☆12Updated 3 years ago
• bodono / scs-python
  Python interface for SCS
  ☆43Updated 3 weeks ago
• google-deepmind / jax_verify
  Neural network verification in JAX
  ☆141Updated last year
• ConstrainedSampler / PolytopeSamplerMatlab
  A matlab implementation for sampling log-concave distributions with polytope constraints
  ☆15Updated 3 months ago
• ZIB-IOL / FrankWolfe.jl
  Julia implementation for various Frank-Wolfe and Conditional Gradient variants
  ☆97Updated this week
• gehring / fax
  ☆80Updated 3 years ago
• NeilGirdhar / efax
  Exponential families for JAX
  ☆60Updated last week
• akbir / deq-jax
  [NeurIPS'19] Deep Equilibrium Models Jax Implementation
  ☆38Updated 4 years ago
• QB3 / sparse-ho
  Fast hyperparameter settings for non-smooth estimators:
  ☆39Updated last year
• google-deepmind / PGMax
  Loopy belief propagation for factor graphs on discrete variables in JAX
  ☆140Updated 3 months ago
• verified-optimization / CvxLean
  Convex optimization modeling in Lean 4
  ☆43Updated 7 months ago
• riadas / Autumn.jl
  Library for causal and probabilistic inference in Julia
  ☆11Updated this week
• Tractables / ProbabilisticCircuits.jl
  Probabilistic Circuits from the Juice library
  ☆103Updated 7 months ago
• wesselb / lab
  A generic interface for linear algebra backends
  ☆71Updated 7 months ago
• oxfordcontrol / TRS.jl
  Solving the Trust Region Subproblem as an Eigenproblem in Julia
  ☆23Updated 3 years ago
• MilesCranmer / sympy2jax
  Turning SymPy expressions into JAX functions
  ☆43Updated 3 years ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆77Updated 6 months ago
• wangjie212 / TSSOS
  A sparse polynomial optimization tool based on the moment-SOS hierarchy.
  ☆45Updated this week
• NeilGirdhar / tjax
  Tools for JAX
  ☆44Updated last week
• jax-ml / coix
  Inference Combinators in JAX
  ☆45Updated 3 months ago
• aterenin / SparseGaussianProcesses.jl
  A Julia implementation of sparse Gaussian processes via path-wise doubly stochastic variational inference.
  ☆33Updated 4 years ago
• vicariousinc / PGMax
  Loopy belief propagation for factor graphs on discrete variables, in JAX!
  ☆64Updated 3 months ago