Search Results - RepositoryStats

397

2.2k

other

86

Modeling language for Mathematical Optimization (linear, mixed-integer, conic, semidefinite, nonlinear)

julia optimization conic-programs modeling-language linear-programming nonlinear-programming mathematical-modelling mathematical-programming semidefinite-programming mixed-integer-programming

Created 2012-10-10

4,996 commits to master branch, last one 22 hours ago

pyomo Pyomo

524

2.1k

other

62

An object-oriented algebraic modeling language in Python for structured optimization problems.

python optimization modeling-language linear-programming nonlinear-programming mathematical-programming

Created 2016-05-27

26,035 commits to main branch, last one a day ago

Stats-Maths-with-Python tirthajyoti

374

892

mit

38

General statistics, mathematical programming, and numerical/scientific computing scripts and notebooks in Python

Created 2017-11-06

141 commits to master branch, last one 3 years ago

PySCIPOpt scipopt

255

826

mit

24

Python interface for the SCIP Optimization Suite

scip cython python integer-optimization nonlinear-optimization mathematical-programming

Created 2016-05-19

2,073 commits to master branch, last one 10 hours ago

ifopt ethz-adrl

158

788

bsd-3-clause

35

An Eigen-based, light-weight C++ Interface to Nonlinear Programming Solvers (Ipopt, Snopt)

cpp nlp ros cmake eigen ipopt snopt catkin robotics optimization nonlinear-optimization trajectory-optimization mathematical-programming

Created 2017-12-13

210 commits to master branch, last one about a year ago

ojAlgo optimatika

208

466

mit

21

oj! Algorithms

Created 2013-10-06

2,013 commits to develop branch, last one a day ago

MathOptInterface.jl jump-dev

87

399

other

24

A data structure for mathematical optimization problems

julia jump-jl optimization mathematical-programming

Created 2017-06-29

3,600 commits to master branch, last one 16 hours ago

awesome-optimization ebrahimpichka

36

317

unknown

6

A curated list of mathematical optimization courses, lectures, books, notes, libraries, frameworks and software.

awesome awesome-list optimization linear-programming convex-optimization integer-programming linear-optimization operations-research discrete-optimization mathematical-modelling stochastic-optimization mathematical-programming mathematical-optimization combinatorial-optimization integer-linear-programming

Created 2023-10-31

33 commits to main branch, last one about a month ago

Uno cvanaret

22

299

mit

11

A next-gen Lagrange-Newton solver for nonconvex optimization. It unifies barrier and SQP methods in a modern and generic way, and implements different globalization flavors (line search/trust region a...

cpp optimization newton-method gradient-descent local-optimization optimization-solver optimization-methods interior-point-method nonlinear-programming quadratic-programming nonconvex-optimization nonlinear-optimization numerical-optimization continuous-optimization optimization-algorithms constrained-optimization mathematical-programming mathematical-optimization nonlinear-programming-algorithms sequential-quadratic-programming

Created 2021-09-29

1,757 commits to main branch, last one 22 hours ago

OMLT cog-imperial

59

283

other

14

Represent trained machine learning models as Pyomo optimization formulations

cnn onnx relu pyomo python optimization neural-network modeling-language keras-neural-networks nonlinear-programming gradient-boosted-trees mathematical-modelling nonlinear-optimization mathematical-programming mixed-integer-programming mixed-integer-optimization

Created 2021-06-03

524 commits to main branch, last one 3 months ago

PyOptInterface metab0t

8

219

other

6

Efficient modeling interface for mathematical optimization in Python

python optimization conic-programs modeling-language linear-programming quadratic-programming mathematical-modelling mathematical-programming mixed-integer-programming

Created 2023-06-13

343 commits to master branch, last one 3 days ago

toysolver msakai

11

155

other

11

My sandbox for experimenting with solver algorithms.

algorithms sat-solver smt-solver theorem-prover mathematical-programming

Created 2011-06-12

3,032 commits to master branch, last one 7 days ago

biteopt avaneev

9

147

mit

14

Derivative-Free Global Optimization Algorithm (C++, Python binding) - Continuous, Discrete, TSP, NLS, MINLP

optimization meta-heuristic metaheuristics genetic-algorithm optimization-tools global-optimization integer-programming optimization-methods discrete-optimization stochastic-optimizers black-box-optimization constraint-programming differential-evolution evolutionary-algorithms optimization-algorithms mathematical-programming mathematical-optimization mixed-integer-programming hyperparameter-optimization global-optimization-algorithms

Created 2016-07-13

409 commits to master branch, last one 3 months ago

JuMPTutorials.jl jump-dev

38

142

mit

14

Tutorials on using JuMP for mathematical optimization in Julia

julia notebooks mathematical-programming

This repository has been archived (exclude archived)

Created 2019-05-27

248 commits to master branch, last one 3 years ago

GALAHAD ralna

15

119

other

7

A library of modern Fortran modules for nonlinear optimization

c julia matlab python fortran trust-region-methods quadratic-programming nonlinear-optimization numerical-optimization nonlinear-least-squares mathematical-programming cubic-regularization-methods

Created 2018-02-03

1,424 commits to master branch, last one 12 days ago

Unity.mathx ltmx

7

84

mit

1

An Extension Library for Unity.Mathematics - Extension Methods, New Syntax, Optimized Functions, and more !

math unity unity3d unity-3d math-helper mathematics math-library unity-plugin math-functions game-development extension-methods unity-mathematics unity-math-helpers mathematical-programming unity-mathematics-helpers unity-mathematics-extensions

Created 2020-06-05

392 commits to master branch, last one 2 months ago

Complementarity.jl chkwon

19

75

other

11

provides a modeling interface for mixed complementarity problems (MCP) and math programs with equilibrium problems (MPEC) via JuMP

mcp equilibrium optimization complementarity mathematical-programs equilibrium-constraints mathematical-programming complementarity-conditions

Created 2016-04-27

274 commits to master branch, last one about a year ago

Parametron.jl tkoolen

7

73

other

8

Efficiently solving instances of a parameterized family of (possibly mixed-integer) linear/quadratic optimization problems in Julia

julia optimization julia-language modeling-language optimization-tools numerical-optimization optimization-framework mathematical-programming

Created 2018-04-23

230 commits to master branch, last one 4 years ago

BinPacking2D ktnr

9

56

mit

1

Exact solutions for two-dimensional bin packing problems by branch-and-cut

algorithm branch-and-cut knapsack-problem bin-packing-problem operations-research constraint-programming mathematical-programming mixed-integer-programming

Created 2021-04-07

95 commits to master branch, last one 2 years ago

ExaModels.jl exanauts

4

55

mit

3

An algebraic modeling and automatic differentiation tool in Julia Language, specialized for SIMD abstraction of nonlinear programs.

optimization modeling-tool julia-language modeling-language nonlinear-optimization mathematical-programming automatic-differentiation

Created 2023-03-28

116 commits to main branch, last one 26 days ago

EV2Gym StavrosOrf

17

50

mit

2

A V2G Simulation Environment for large scale EV charging optimization

gym gurobi simulator electric-vehicles mathematical-programming model-predictive-control deep-reinforcement-learning

Created 2023-07-17

414 commits to main branch, last one 20 days ago

LeanProject pitmonticone

3

31

apache-2.0

4

Template for blueprint-driven formalization projects in Lean.

lean4 mathematics leanblueprint lean-blueprint proof-assistant theorem-proving formal-mathematics lean-theorem-prover formalised-mathematics mathematical-programming formalisation-mathematics

Created 2024-07-26

116 commits to main branch, last one 8 days ago

functional-programming-from-scratch-ja ken-okabe

0

25

unknown

1

Functional Programming From Scratch 日本語版

verse fsharp haskell solidjs learning typescript mathematics learn-to-code functional-programming mathematical-programming functional-reactive-programming

Created 2023-11-18

18 commits to main branch, last one about a year ago