sisl / OVERT.jlLinks
Relational piecewise-linear overapproximations of multi-dimensional functions
☆21Updated 4 months ago
Alternatives and similar repositories for OVERT.jl
Users that are interested in OVERT.jl are comparing it to the libraries listed below
Sorting:
- ☆28Updated 11 months ago
- Julia implementation of Locally Feasibly Projected Sequential Quadratic Programming☆26Updated 4 years ago
- ☆35Updated 9 months ago
- a Julia interface to PRIMA, a Reference Implementation for Powell's methods with Modernization and Amelioration☆35Updated 2 months ago
- ☆17Updated 2 years ago
- Enables computing the gradient of the parameters of Hidden Markov Models (HMMs)☆22Updated 4 years ago
- Optimal piecewise linear approximation package for the Julia programming language☆23Updated 6 months ago
- ☆16Updated 2 years ago
- Probability bounds analysis in Julia☆25Updated last year
- Solving unregularized optimal transport problems with Julia☆18Updated 2 years ago
- Robust and optimal design and analysis of linear control systems☆65Updated last week
- Fast operator-overloading Jacobian & Hessian sparsity pattern detection.☆55Updated last month
- Benchmark problems for decision-focused learning☆15Updated 3 weeks ago
- Differentiable matrix factorizations using ImplicitDifferentiation.jl.☆31Updated 2 years ago
- A free LDL factorisation routine (Julia implementation)☆21Updated 2 years ago
- Example of the use of jlcode and the JuliaMono font to write Julia code in LaTeX☆17Updated 3 years ago
- Interface between ControlSystems and ModelingToolkit☆19Updated 3 weeks ago
- Local polynomial regression in pure Julia☆14Updated last year
- Some convenient hacks when using Nonconvex.jl.☆16Updated 2 years ago
- Total Variation Regularized Numerical Differentiation☆38Updated 2 years ago
- Reactive, "soft real-time" programming tools for Julia.☆18Updated 2 years ago
- A Julia implementation of PRONTO☆23Updated 11 months ago
- ☆35Updated last month
- Data structures for linear and quadratic optimization problems based on NLPModels.jl☆19Updated 4 months ago
- A Julia package for differentiating through expectations with Monte-Carlo estimates☆16Updated last year
- Basically what it says on the tin☆13Updated 2 years ago
- Backward-filtering forward-guiding with StochasticDiffEq.jl☆12Updated last year
- Mixed-Integer Convex Programming: Branch-and-bound with Frank-Wolfe-based convex relaxations☆36Updated this week
- Signal logging and scoping for DifferentialEquations.jl simulations.☆24Updated 9 months ago
- GitHub action to downgrade julia compat entries before testing☆22Updated 3 weeks ago