JuliaReach / JuliaCon-2021-Workshop-Its-All-SetView external linksLinks
It's all Set: A hands-on introduction to JuliaReach
☆19Jul 27, 2021Updated 4 years ago
Alternatives and similar repositories for JuliaCon-2021-Workshop-Its-All-Set
Users that are interested in JuliaCon-2021-Workshop-Its-All-Set are comparing it to the libraries listed below
Sorting:
- Segmentation models in Julia☆15Feb 15, 2022Updated 4 years ago
- ☆16May 1, 2023Updated 2 years ago
- Solving unregularized optimal transport problems with Julia☆18Sep 16, 2023Updated 2 years ago
- Reachability analysis for closed-loop control systems in Julia☆47Jan 31, 2026Updated 2 weeks ago
- ☆11Aug 27, 2021Updated 4 years ago
- Systems definitions in Julia☆44Jan 31, 2026Updated 2 weeks ago
- Enclosures of real-valued functions in Julia☆23Jan 31, 2026Updated 2 weeks ago
- A Julia repository for linear algebra with infinite matrices☆34Dec 15, 2025Updated 2 months ago
- ☆14Jul 15, 2022Updated 3 years ago
- Some convenient hacks when using Nonconvex.jl.☆16Feb 10, 2026Updated last week
- Linear algebra done rigorously☆39Aug 13, 2024Updated last year
- ChainRulesCore compatible pullbacks using ForwardDiff☆13Nov 24, 2025Updated 2 months ago
- ☆50Updated this week
- Computing reachable states of dynamical systems in Julia☆210Feb 7, 2026Updated last week
- Julia implementation of Modal Decision Trees & Forests, for interpretable classification of spatial and temporal data. Long live Symbolic…☆15Aug 23, 2024Updated last year
- Fast evaluation of multivariate polynomials☆17Jun 26, 2023Updated 2 years ago
- A simple way to specify experiment configurations☆16Aug 24, 2022Updated 3 years ago
- Tensor algebra utility library☆19Jan 12, 2026Updated last month
- Metrics for evaluation of Machine Learning and Deep Learning Models☆16Apr 20, 2024Updated last year
- Prototypes for next-generation package caches in Julia☆19Sep 29, 2022Updated 3 years ago
- A Markdown macro that won't let you down.☆18Jan 22, 2026Updated 3 weeks ago
- EfficientNet implementation in Julia☆20Dec 31, 2021Updated 4 years ago
- Matrices with interval coefficients in Julia☆19Jan 17, 2026Updated last month
- ☆11Oct 25, 2024Updated last year
- A Julia implementation of the Quadratic Kalman Filter as in Monfort, Renne, & Roussellet (2014, Journal of Econometrics).☆11May 30, 2025Updated 8 months ago
- A simple, yet comprehensive foundation for interacting with common cloud providers in Julia (GCP, Azure, AWS).☆20Dec 9, 2025Updated 2 months ago
- Wordle in Julia! 🟩🟨🟨⬛️🟩☆20Feb 15, 2022Updated 4 years ago
- Fetch datasets from GoogleDrive and Kaggle☆22Jun 29, 2022Updated 3 years ago
- Clang compiler infrastructure for Julia☆22Jul 5, 2025Updated 7 months ago
- Scalable symbolic-numeric set computations in Julia☆254Feb 9, 2026Updated last week
- ☆87Jul 27, 2021Updated 4 years ago
- A Julia package for the Fourier analysis of Multivariate Data in the Frequency and Time-Frequency Domain☆62Nov 28, 2025Updated 2 months ago
- Rigorous function approximation using Taylor models in Julia☆63Feb 8, 2026Updated last week
- Modeling Marine Ecosystems At Multiple Scales Using Julia☆23Apr 13, 2024Updated last year
- Redefinable structures☆27Apr 9, 2021Updated 4 years ago
- formally and easily, describe the semantics.☆13Aug 17, 2020Updated 5 years ago
- Rigorous moment propagation with partial information about moments and dependencies in Julia☆12May 7, 2022Updated 3 years ago
- Monad implementation in Julia☆13Dec 14, 2020Updated 5 years ago
- Generic interface for attaching metadata to stuff.☆13Sep 14, 2025Updated 5 months ago