Award winning software library for nonlinear dynamics and nonlinear timeseries analysis

An extensible framework for geospatial data science and geostatistical modeling fully written in Julia

Computational geometry in Julia

Library for validated numerics using interval arithmetic

Scalable symbolic-numeric set computations in Julia

Computing reachable states of dynamical systems in Julia

Tools for the exploration of chaos and nonlinear dynamics

A package for binary and continuous, single and multi-material, truss and continuum, 2D and 3D topology optimization on unstructured meshes using automatic differentiation in Julia.

Geographical plotting utilities for Makie.jl

A development environment for robust and global optimization

Library for finding the roots of a function using interval arithmetic

Sum of Squares Programming for Julia

Evaluating Robustness of Neural Networks with Mixed Integer Programming

Toolbox for gradient-based and derivative-free non-convex constrained optimization with continuous and/or discrete variables.

Rigorous floating-point calculations with interval arithmetic in Julia

Makie package to plot maptiles from various map providers

Rigorous function approximation using Taylor models in Julia

Calculate rigorously the feasible region for a set of real-valued inequalities with Julia

Delaunay triangulations and Voronoi tessellations in two dimensions.

Plotting and interface tools for biology.

Makie.jl recipes for visualization of Meshes.jl

Rigorous global optimisation in pure Julia

-

Reachability analysis for closed-loop control systems in Julia

-

A JuMP extension for Polynomial Optimization

-

Julia package to facilitate graphing of implicit equations and inequalities

Linear algebra done rigorously

Solver for two-dimensional conservation equations using the finite volume method in Julia.

Automatic transformation of implications and complementarity into mixed-integer models in Julia

Makie topo plot recipes, for neuro-science, geo plots and anyone needing surface plots from unstructured data

Base package for the GeoStats.jl framework

Three-dimensional panel method for low-speed aerodynamics

Probability bounds analysis in Julia

Geospatial tables compatible with the GeoStats.jl framework

Julia Package for computing [controlled] invariant sets of Hybrid Systems using Sum Of Squares Programming

Enclosures of real-valued functions in Julia

Fast and exact geometrical predicates in the Euclidean plane

Natural neighbour interpolation methods for scattered data interpolation and derivative generation of planar point sets.