otti
Optimization solver
A compiler and solver for optimization problems using zkSNARKs
A zkSNARK compiler for optimization problems
6 stars
7 watching
2 forks
Language: Python
last commit: over 1 year ago
Linked from 1 awesome list
worldcoin/awesome-zkmlRelated projects:
| Repository | Description | Stars |
|---|---|---|
 bimk/platemo | An evolutionary multi-objective optimization platform providing a suite of algorithms and benchmark problems | 1,629 |
 mlpack/ensmallen | A high-quality C++ library for non-linear numerical optimization | 743 |
 moskomule/eve.pytorch | An implementation of an optimization algorithm inspired by a 2016 research paper | 33 |
 100/solid | A comprehensive framework for solving optimization problems without gradient calculations. | 576 |
 gugarosa/opytimizer | An optimization library based on nature-inspired meta-heuristic algorithms. | 606 |
 jiangoforit/yellowfin_pytorch | An optimizer that automatically tunes momentum and learning rate using local quadratic approximation. | 287 |
 liyangsir/smart-algorithm | A collection of algorithm implementations for optimization and problem-solving in various fields | 687 |
 alphaville/optimization-engine | A solver for nonconvex optimization problems in embedded systems and robotics | 514 |
 fpicetti/occamypy | A library for solving large-scale optimization problems with flexible and scalable vector and operator definitions | 54 |
 stevengj/nlopt | A unified interface and packaging of several nonlinear optimization libraries for global and local optimization. | 1,892 |
 lanl-ansi/watermodels.jl | A Julia package for solving optimization problems in water distribution networks | 73 |
 ofekshilon/optview2 | A tool to help developers understand and improve the optimization of their code | 131 |
 grid-parity-exchange/egret | A Python-based package for solving optimization problems in power systems | 133 |
 matthewpeterkelly/particleswarmoptimization | An optimization algorithm implementation in Matlab. | 82 |
 liukewia/solving-tsp-vrp | This MATLAB project implements heuristic algorithms for solving two classic optimization problems in logistics and transportation planning | 116 |