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 2 years ago
Linked from 1 awesome list
worldcoin/awesome-zkmlRelated projects:
| Repository | Description | Stars |
|---|---|---|
 bimk/platemo | An evolutionary multi-objective optimization platform that provides a comprehensive set of algorithms and benchmark problems for researchers and developers. | 1,671 |
 mlpack/ensmallen | A C++ library for numerical optimization tasks | 754 |
 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. | 575 |
 gugarosa/opytimizer | An optimization library based on nature-inspired meta-heuristic algorithms. | 609 |
 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 | 700 |
 alphaville/optimization-engine | A solver for nonconvex optimization problems in embedded systems and robotics | 517 |
 fpicetti/occamypy | A library for solving large-scale optimization problems with flexible and scalable vector and operator definitions | 55 |
 stevengj/nlopt | Provides a unified interface to multiple nonlinear optimization algorithms for global and local problem-solving in various fields | 1,908 |
 lanl-ansi/watermodels.jl | A Julia package for solving optimization problems in water distribution networks | 74 |
 ofekshilon/optview2 | A tool to help developers understand and improve the optimization of their code | 136 |
 grid-parity-exchange/egret | A Python-based package for solving optimization problems in power systems | 135 |
 matthewpeterkelly/particleswarmoptimization | An optimization algorithm implementation in Matlab. | 83 |
 liukewia/solving-tsp-vrp | This MATLAB project implements heuristic algorithms for solving two classic optimization problems in logistics and transportation planning | 119 |