jump-dev/JuMP.jl
Modeling language for Mathematical Optimization (linear, mixed-integer, conic, semidefinite, nonlinear)
Julia
2,421 3
415
AlgebraicJulia/Catlab.jl
A framework for applied category theory in the Julia language
Julia
701 3
65
Modeling language for Mathematical Optimization (linear, mixed-integer, conic, semidefinite, nonlinear)
A framework for applied category theory in the Julia language