JuliaReach / RangeEnclosures.jl
Enclosures of real-valued functions in Julia
☆22Updated last week
Related projects: ⓘ
- ☆50Updated 8 months ago
- Julia implementations of symbolic integration algorithms☆35Updated last year
- Example of the use of jlcode and the JuliaMono font to write Julia code in LaTeX☆17Updated 2 years ago
- Under some conditions you may need this function☆19Updated 2 years ago
- A Julia wrapper for cusolverRF☆18Updated 5 months ago
- ☆31Updated 8 months ago
- A common solve function for scientific machine learning (SciML) and beyond☆19Updated last week
- Sparse matrix class with efficient successive insertion of entries☆25Updated last month
- Julia Package for skew-symmetric matrices☆17Updated 3 weeks ago
- A wrapper type around AbstractArray that is read-only☆28Updated 5 months ago
- A small package for providing the minimal required method surface of a Julia API☆36Updated 2 weeks ago
- Probability bounds analysis in Julia☆25Updated 2 years ago
- Makes Julia's package extensions backwards compatible☆50Updated 11 months ago
- A Julia package providing variable-length set and vector types that don't allocate☆27Updated last week
- The Code Tracer☆32Updated 5 months ago
- An implementation of interval union arithmetic in Julia☆11Updated 2 years ago
- 🏩🏠🌆🏨🌇🏦☆77Updated last year
- A package for computing integrals over domains like they are defined in DomainSets.jl.☆22Updated 9 months ago
- a Julia interface to PRIMA, a Reference Implementation for Powell's methods with Modernization and Amelioration☆21Updated 5 months ago
- Branch and prune interface for Julia☆15Updated last year
- ☆52Updated 3 weeks ago
- ☆13Updated this week
- Julia library for function approximation with compact basis functions☆16Updated 6 months ago
- Fast operator-overloading Jacobian & Hessian sparsity detection.☆26Updated last week
- Type stable methods for small tuples☆38Updated 4 months ago
- Aggregating all the docs☆59Updated 10 months ago
- This package contains a macro for converting expressions to use muladd calls and fused-multiply-add (FMA) operations for high-performance…☆44Updated 4 months ago
- Carry your own cache.☆22Updated 4 years ago
- Symbolics-based function property propagation for optimization☆13Updated last week
- ☆41Updated last year