sisl / OVERT.jl
Relational piecewise-linear overapproximations of multi-dimensional functions
☆17Updated 11 months ago
Related projects: ⓘ
- Julia implementation of Locally Feasibly Projected Sequential Quadratic Programming☆24Updated 2 years ago
- ☆16Updated last year
- Some convenient hacks when using Nonconvex.jl.☆16Updated 7 months ago
- ☆24Updated this week
- A free LDL factorisation routine (Julia implementation)☆18Updated last year
- Mixed-Integer Convex Programming: Branch-and-bound with Frank-Wolfe-based convex relaxations☆22Updated this week
- Backward-filtering forward-guiding with StochasticDiffEq.jl☆12Updated 6 months ago
- Solving unregularized optimal transport problems with Julia☆17Updated last year
- Reactive, "soft real-time" programming tools for Julia.☆17Updated 9 months ago
- a Julia interface to PRIMA, a Reference Implementation for Powell's methods with Modernization and Amelioration☆21Updated 5 months ago
- A set of functions in pure Julia for Game Theory☆11Updated last year
- ☆15Updated last year
- A Julia package for differentiating through expectations with Monte-Carlo estimates☆14Updated last month
- A small step for dynamics, a giant leap for SciML☆13Updated 8 months ago
- ☆31Updated 8 months ago
- Trust region methods for nonlinear systems of equations in Julia.☆14Updated 3 months ago
- ☆17Updated this week
- Differentiable matrix factorizations using ImplicitDifferentiation.jl.☆30Updated last year
- ☆24Updated 2 years ago
- Probability bounds analysis in Julia☆25Updated 2 years ago
- Visualize the dependency graph of a Julia package☆43Updated last year
- Local polynomial regression in pure Julia☆13Updated 4 months ago
- Julia package for creating composable invariants with helpful error messages☆25Updated last year
- Basically what it says on the tin☆13Updated 9 months ago
- Let the AI fix your mistakes.☆18Updated last year
- A repository for long-term benchmarking of JuMP performance☆19Updated this week
- Automatic Jacobian sparsity detection using minimal scalar tracing and autodifferentiation☆9Updated last year
- A forward McCormick operator library☆16Updated 7 months ago
- BlackBoxOptimizationBenchmarking☆21Updated 3 years ago
- A Julia implementation of PRONTO☆20Updated last week