Dependency Packages
-
Oceananigans.jl781🌊 Julia software for fast, friendly, flexible, ocean-flavored fluid dynamics on CPUs and GPUs
-
DynamicalSystems.jl725Award winning software library for nonlinear dynamics and nonlinear timeseries analysis
-
TaylorSeries.jl280Taylor polynomial expansions in one and several independent variables.
-
IntervalArithmetic.jl237Rigorous floating-point calculations using interval arithmetic in Julia
-
LazySets.jl208Scalable Symbolic-Numeric Set Computations
-
ChaosTools.jl183Tools for the exploration of chaos and nonlinear dynamics
-
ReachabilityAnalysis.jl170Methods to compute sets of states reachable by dynamical systems
-
TopOpt.jl141A beautifully Julian topology optimization package.
-
EAGO.jl117A development environment for robust and global optimization
-
IntervalRootFinding.jl116Find all roots of a function in a guaranteed way with Julia
-
MIPVerify.jl104Evaluating Robustness of Neural Networks with Mixed Integer Programming
-
ProbNumDiffEq.jl100Probabilistic Numerical Differential Equation solvers via Bayesian filtering and smoothing
-
ODEFilters.jl100Probabilistic Numerical Differential Equation solvers via Bayesian filtering and smoothing
-
Nonconvex.jl91Toolbox for non-convex constrained optimization.
-
TaylorIntegration.jl84ODE integration using Taylor's method, and more, in Julia
-
ValidatedNumerics.jl81Rigorous floating-point calculations with interval arithmetic in Julia
-
PDDL.jl64Julia parser, interpreter and compiler interface for the Planning Domain Definition Language (PDDL). Planners not included.
-
IntervalConstraintProgramming.jl60Calculate rigorously the feasible region for a set of real-valued inequalities with Julia
-
ClimaCore.jl59CliMA model dycore
-
TaylorModels.jl58Rigorous function approximation using Taylor models in Julia
-
IntervalOptimisation.jl51Rigorous global optimisation in pure Julia
-
ReversePropagation.jl48-
-
ClimaAtmos.jl43ClimaAtmos.jl is a library for building atmospheric circulation models that is designed from the outset to leverage data assimilation and machine learning tools. We welcome contributions!
-
Copulas.jl40A fully `Distributions.jl`-compliant copula package
-
ClosedLoopReachability.jl38Reachability analysis for closed-loop control systems
-
ImplicitEquations.jl34Julia package to facilitate graphing of implicit equations and inequalities
-
SymbolicPlanners.jl34Symbolic planners for problems and domains specified in PDDL.
-
ConditionalJuMP.jl29Automatic transformation of implications and complementarity into mixed-integer models in Julia
-
DelaunayTriangulation.jl25Delaunay triangulations and Voronoi tessellations of planar point sets.
-
QuasinormalModes.jl25A Julia package for computing discrete eigenvalues of second order ODEs
-
IntervalLinearAlgebra.jl24Linear algebra done rigorously
-
TurbulenceConvection.jl24-
-
ProbabilityBoundsAnalysis.jl23Probability bounds analysis in Julia
-
OpticSim.jl20-
-
Oceanostics.jl17-
-
ParameterEstimation.jl17ParameterEstimation.jl is a Julia package for estimating parameters and initial conditions of ODE models given measurement data.
-
ParameterEstimocean.jl17🎲 Parameter estimation for Oceananigans using EnsembleKalmanProcesses
-
RangeEnclosures.jl17A Julia package to compute range enclosures of real-valued functions.
-
CovarianceFunctions.jl17Lazy, structured, and efficient operations with kernel matrices.
-
ExactPredicates.jl17Fast and exact geometrical predicates in the Euclidean plane
Loading more...