blegat Goto Github PK

setprog.jl

Set Programming with JuMP

simdpolynomials.jl

singular.jl

Julia package for the Singular library

smartcp

Smart Copy Utility

sos

Information page for running sos solvers

sparse_bsos

We provide the Matlab Implementation of Sparse-BSOS described in Weisser, Lasserre, Toh: Sparse-BSOS: a bounded degree SOS hierarchy for large scale polynomial optimization with sparsity, to be published in Mathematical Programming Computation.

structjump.jl

A stochastic optimization framework for JuMP

structjumpsolverinterface.jl

sumofsquaresslides

Slides of the "Sum-of-squares optimization in Julia" presentation at the JuMP Developers Meetup

switchonsafety.jl

Julia Package for computing [controlled] invariant sets of Hybrid Systems using Sum Of Squares Programming

symbolicutils.jl

Expression rewriting and simplification

symbolicwedderburn.jl

Amazing package providing symbolic Wedderburn decomposition for permutation group *-algebras

systemesinformatiques

Cours de Systèmes informatiques (C, Unix/Linux, ...)

talks

testit

CLI tester tool

thresholdstability.jl

Stability Tools for Threshold Vector Autoregressive Models

timeroutputs.jl

Formatted output of timed sections in Julia

tinyengine

Tiny OpenGL Wrapper / 3D Engine in C++

trade-opt_2022

Materials for the TraDE-OPT workshop https://trade-opt-itn.eu/workshop-program.html

tulip.jl

Interior-point solver in pure Julia

usaco-tool

Tool in bash and python for training at the usacogate website

vorox.jl

winrpm.jl

RPM-md processing library

www.julialang.org

Julia Project website

yalmip

MATLAB toolbox for optimization modeling

yalmip.github.io

YALMIP Homepage

yggdrasil

Collection of builder repositories for BinaryBuilder.jl