Benoît Legat (blegat)

blegat

Geek Repo

Company:STADIUS, ESAT, KU Leuven

Location:Leuven, Belgium

Home Page:blegat.github.io

Github PK Tool:Github PK Tool


Organizations
JuliaAlgebra
JuliaOpt
JuliaPolyhedra
JuliaReach
JuliaStochOpt
jump-dev

Benoît Legat's repositories

mathraining

Site interactif avec théorie, exercices et problèmes

HybridSystems.jl

Hybrid Systems definitions in Julia

Language:JuliaLicense:NOASSERTIONStargazers:28Issues:9Issues:17

SwitchOnSafety.jl

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

Language:JuliaLicense:NOASSERTIONStargazers:22Issues:5Issues:7

SetProg.jl

Set Programming with JuMP

Language:JuliaLicense:NOASSERTIONStargazers:20Issues:5Issues:4

blegat.github.io

Code for my website, powered by JuDoc.jl https://blegat.github.io

Language:JavaScriptStargazers:2Issues:3Issues:1

ContractionHierarchies.jl

Contraction Hierarchies shortest path for OpenStreetMap

Zaphod.jl

ADMM conic solver

Language:JuliaLicense:NOASSERTIONStargazers:2Issues:2Issues:0

Manopt.jl

🏔️Manopt. jl – Optimization on Manifolds in Julia

Language:JuliaLicense:NOASSERTIONStargazers:1Issues:1Issues:0

Alpine.jl

A JuMP-based Global Optimization Solver

Language:JuliaLicense:NOASSERTIONStargazers:0Issues:3Issues:0

Bibliography.jl

General bibliography manager in pure Julia

Language:JuliaLicense:MITStargazers:0Issues:1Issues:0

BibParser.jl

Parser for bibliographic formats, including BibTeX, in pure Julia

Language:JuliaLicense:MITStargazers:0Issues:1Issues:0

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.

License:MITStargazers:0Issues:0Issues:0

docs

Scalable, modular, and easy to combine BIOS firmware technology without boundaries on processor architecture.

Language:HTMLLicense:MITStargazers:0Issues:1Issues:0

ebook

Third edition of the Computer Networking: Principles, Protocols and Practice ebook

Language:PythonStargazers:0Issues:0Issues:0

Gapjm.jl

Port to Julia of the Gap3 packages Chevie and VKcurve and some other Gap functionality

Language:JuliaStargazers:0Issues:1Issues:0
Language:CSSStargazers:0Issues:1Issues:0

juliacon.github.io

http://juliacon.org/

Language:HTMLStargazers:0Issues:3Issues:0

julialabs.github.io

JuliaLab Website

Language:JavaScriptStargazers:0Issues:1Issues:0

OpenStreetMapX.jl

OpenStreetMap (*.osm) support for Julia 1.0 and up

Language:JuliaLicense:MITStargazers:0Issues:2Issues:0

Optim.jl

Optimization functions for Julia

Language:JuliaLicense:NOASSERTIONStargazers:0Issues:2Issues:0

Percival.jl

Implementation of a Augmented Lagrangian method

Language:JuliaLicense:NOASSERTIONStargazers:0Issues:1Issues:0

Plots.jl

Powerful convenience for Julia visualizations and data analysis

Language:JuliaLicense:NOASSERTIONStargazers:0Issues:3Issues:0

PowerModelsACDC.jl

A hybrid AC/DC OPF package based on PowerModels.jl

Language:MATLABLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

Remarkable.jl

Julia API Interface to the Remarkable cloud

Language:JuliaLicense:MITStargazers:0Issues:1Issues:0

SDPA

unofficial mirror of SDPA solver for semidefinite programming

Language:C++License:GPL-2.0Stargazers:0Issues:0Issues:0

SDPAFamily.jl

A Julia interface to the SDPA-GMP, SDPA-DD, and SDPA-QD high precision semidefinite programming solvers.

Language:JuliaLicense:NOASSERTIONStargazers:0Issues:2Issues:0

sdplr

Low-Rank Algorithm for Semidefinite Programming

Language:CLicense:GPL-2.0Stargazers:0Issues:1Issues:0

SketchyCGAL

MATLAB implementation of the Scalable Semidefinite Programming

Language:MATLABLicense:GPL-3.0Stargazers:0Issues:1Issues:0
Language:JuliaStargazers:0Issues:1Issues:0

Yggdrasil

Collection of builder repositories for BinaryBuilder.jl

Language:JuliaStargazers:0Issues:2Issues:0