OlivierHnt / RadiiPolynomial.jlView external linksLinks
Library for computer-assisted proofs in dynamical systems
☆24Feb 6, 2026Updated last week
Alternatives and similar repositories for RadiiPolynomial.jl
Users that are interested in RadiiPolynomial.jl are comparing it to the libraries listed below
Sorting:
- Package for the Rigorous Computation of Invariant Measures☆12Sep 25, 2025Updated 4 months ago
- Unified interface for interacting with Git forges☆13Jun 25, 2025Updated 7 months ago
- Interface for approximate and exact equality☆12Oct 5, 2024Updated last year
- Generic interface for attaching metadata to stuff.☆13Sep 14, 2025Updated 5 months ago
- High precision replacements for Float64☆13Aug 12, 2018Updated 7 years ago
- An implementation of interval union arithmetic in Julia☆12May 25, 2022Updated 3 years ago
- Code for testing of Julia's random numbers☆12Jan 2, 2026Updated last month
- exactly rounded double-precision summation for Julia☆20Dec 15, 2025Updated 2 months ago
- ☆16Feb 8, 2020Updated 6 years ago
- ☆16Aug 20, 2022Updated 3 years ago
- Utilities for English-language quirks in Julia☆17Apr 11, 2023Updated 2 years ago
- Fixed-bit collections in Julia☆15Sep 25, 2021Updated 4 years ago
- A pure Julia SVG generator.☆20Jul 18, 2024Updated last year
- FdeSolver.jl: A Julia package for the numerical solution of fractional differential equations (FDEs) as well as systems of equations.☆17Jun 17, 2025Updated 8 months ago
- Fast and backward stable computation of roots of polynomials in Julia☆17Jan 2, 2026Updated last month
- Arithmetic with small and with very large rationals is made fast.☆23Feb 9, 2026Updated last week
- Iterators with message passing and feedback loops☆22Apr 14, 2023Updated 2 years ago
- Reduced-Rejection-Rate Monte Carlo for Ising spin models☆18Mar 16, 2022Updated 3 years ago
- Base API optimized for tuples☆19Sep 9, 2020Updated 5 years ago
- Library for finding the roots of a function using interval arithmetic☆131Dec 15, 2025Updated 2 months ago
- Canonical default initial values and identity elements for Julia☆27Jan 15, 2022Updated 4 years ago
- @yield-based syntax for iterating over collections—foldl for humans™☆25Jan 15, 2021Updated 5 years ago
- Lambert W mathematical function☆24Oct 3, 2024Updated last year
- Lazy, structured, and efficient operations with kernel matrices.☆21Jan 29, 2023Updated 3 years ago
- traits for julia: dispatch on whatever you want☆39Jul 27, 2020Updated 5 years ago
- ☆21Nov 11, 2021Updated 4 years ago
- Efficient lattice simulation algorithms - a Julia library☆18Apr 5, 2020Updated 5 years ago
- KeywordCalls makes it easy to define a method taking a NamedTuple considered as a an unordered collection of bound variables. The require…☆24Sep 28, 2022Updated 3 years ago
- Enclosures of real-valued functions in Julia☆23Jan 31, 2026Updated 2 weeks ago
- Take your packages for a jog!☆24Aug 17, 2025Updated 6 months ago
- ☆24May 12, 2022Updated 3 years ago
- Julia language implementation of the Cell Lists algorithm to solve the fixed-radius near neighbors problem including serial and multithre…☆19Aug 21, 2021Updated 4 years ago
- ☆55Aug 29, 2024Updated last year
- ☆26Sep 10, 2020Updated 5 years ago
- Probability bounds analysis in Julia☆25Jan 13, 2025Updated last year
- A Julia package for consensus-based optimisation☆16Nov 28, 2025Updated 2 months ago
- Quaternions for Julia☆29Jan 29, 2026Updated 2 weeks ago
- NBConverter stuff to convert Jupyter Notebooks in to Julia Literate.jl files (This is the opposite of Literate.jl)☆23May 11, 2020Updated 5 years ago
- Compute the action of the matrix exponential☆30Feb 11, 2026Updated last week