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
ContractionHierarchies.jl
Contraction Hierarchies shortest path for OpenStreetMap
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.
juliacon.github.io
http://juliacon.org/
julialabs.github.io
JuliaLab Website
OpenStreetMapX.jl
OpenStreetMap (*.osm) support for Julia 1.0 and up
Percival.jl
Implementation of a Augmented Lagrangian method
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