otti
by eniac
A zkSNARK compiler for optimization problems
AI summary
Optimization solver
A compiler and solver for optimization problems using zkSNARKs
- stars
- 6
- forks
- 2
- watching
- 7
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
bimk/platemo1.7K
MOO optimizer
An evolutionary multi-objective optimization platform that provides a comprehensive set of algorithms and benchmark problems for researchers and developers.
Optimizer library
A C++ library for numerical optimization tasks
Optimization algorithm
An implementation of an optimization algorithm inspired by a 2016 research paper
100/solid575
Optimizer
A comprehensive framework for solving optimization problems without gradient calculations.
Optimizer library
An optimization library based on nature-inspired meta-heuristic algorithms.
Optimization algorithm
An optimizer that automatically tunes momentum and learning rate using local quadratic approximation.
Optimization library
A collection of algorithm implementations for optimization and problem-solving in various fields
Optimization solver
A solver for nonconvex optimization problems in embedded systems and robotics
Optimization framework
A library for solving large-scale optimization problems with flexible and scalable vector and operator definitions
stevengj/nlopt1.9K
Optimization library
Provides a unified interface to multiple nonlinear optimization algorithms for global and local problem-solving in various fields
Optimization solver
A Julia package for solving optimization problems in water distribution networks
Code optimizer analyzer
A tool to help developers understand and improve the optimization of their code
Optimization tool
A Python-based package for solving optimization problems in power systems
Optimizer
An optimization algorithm implementation in Matlab.
Optimization solver
This MATLAB project implements heuristic algorithms for solving two classic optimization problems in logistics and transportation planning
Featured in 1 awesome list
Each link jumps to the spot where the list mentions otti.
