Benoît Legat's repositories
mathraining
Site interactif avec théorie, exercices et problèmes
HybridSystems.jl
Hybrid Systems definitions in Julia
SwitchOnSafety.jl
Julia Package for computing [controlled] invariant sets of Hybrid Systems using Sum Of Squares Programming
SetProg.jl
Set Programming with JuMP
blegat.github.io
Code for my website, powered by JuDoc.jl https://blegat.github.io
ProxSDP.jl
Semidefinite programming optimization solver
BibInternal.jl
Internal format and rules for managing Bibliography in pure Julia
Bibliography.jl
General bibliography manager in pure Julia
BibParser.jl
Parser for bibliographic formats, including BibTeX, in pure Julia
DecisionProgramming.jl
DecisionProgramming.jl is a Julia package for solving multi-stage decision problems under uncertainty, modeled using influence diagrams. Internally, it relies on mathematical optimization. Decision models can be embedded within other optimization models.
HomotopyContinuation.jl
A Julia package for solving systems of polynomials via homotopy continuation.
IntervalConstraintProgramming.jl
Calculate rigorously the feasible region for a set of real-valued inequalities with Julia
IntervalLinearAlgebra.jl
Linear algebra done rigorously
juliacon.github.io
http://juliacon.org/
julialabs.github.io
JuliaLab Website
PowerModelsACDC.jl
A hybrid AC/DC OPF package based on PowerModels.jl
Remarkable.jl
Julia API Interface to the Remarkable cloud
SDPAFamily.jl
A Julia interface to the SDPA-GMP, SDPA-DD, and SDPA-QD high precision semidefinite programming solvers.
SketchyCGAL
MATLAB implementation of the Scalable Semidefinite Programming