JuliaIntervals / IntervalContractors.jl
Interval contractors and inverse (reverse) functions for Julia
☆10Updated 3 weeks ago
Related projects: ⓘ
- Much faster than BigFloat at precisions up to 3,500 bits (1050 digits)☆26Updated 5 years ago
- Calculate rigorously the feasible region for a set of real-valued inequalities with Julia☆63Updated last week
- Linear algebra done rigorously☆36Updated last month
- A simple symbolic library with a pretty name 🧚🏻☆46Updated 5 years ago
- Tensor algebra abstract type interoperability setup☆43Updated 3 months ago
- Extended precision arithmetic for Julia (deprecated)☆26Updated 9 months ago
- eXpression differentiation in Julia☆28Updated 4 years ago
- Julia package for the Singular library☆20Updated 2 years ago
- extended precision math, accurate and performant☆78Updated this week
- Julia bindings to the SAT solver picosat☆29Updated 8 months ago
- Symbolic Computations in Julia using Maxima☆44Updated 3 years ago
- Pattern matching☆52Updated 2 years ago
- ☆43Updated last year
- An Extensible Test Matrix Collection for Julia☆74Updated last month
- A generalized version of Julia generated functions @generated to allow closures in generated functions and avoid the use of runtime eval …☆89Updated 2 years ago
- extra sorting algorithms extending Julia's sorting API☆53Updated 3 months ago
- A cassette-based debugger | The Other Debugger☆50Updated 2 years ago
- for you with the good questions☆27Updated 3 years ago
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆55Updated 2 years ago
- Julia Enhancement Proposals☆67Updated 4 years ago
- Sugar coating Julia's many ASTs☆41Updated 3 years ago
- Automated integrated regression tests for graphics libraries☆29Updated last month
- A database of julia deprecations and how to fix them☆17Updated 3 years ago
- Vectors of unique elements, with quick reverse lookups☆24Updated last year
- A framework to represent chunks of entities and parallel methods on them.☆30Updated last year
- A tool to evaluate the quality of Julia packages.☆35Updated 4 years ago
- Concise type definitions☆43Updated 9 months ago
- Rigorous function approximation using Taylor models in Julia☆63Updated last month
- A collection of Julia benchmarks available for CI tracking from the JuliaLang/julia repository☆42Updated last month
- Pirating base type NTuple{N,Core.VecElement{T}} -- although base methods are NOT overloaded -- and plundering the great work of eschnett'…☆26Updated 3 years ago