Thomas Xenos's starred repositories
stancon_talks
Materials from Stan conferences
orcid-model
Container for all classes that will be used to marshal and unmarshal XML/JSON from the API
orcid-angular
Angular UI for ORCID
orcid-api-tutorial
MkDocs version of ORCID API workshop materials
ORCID-Source
ORCID Open Source Project
DynamicBoundspODEsIneq.jl
Differential Inequality Algorithms for Parametric ODEs
EAGO-notebooks
A collection of Jupyter notebooks which use the EAGO package
EAGODifferential.jl
Utilities for relaxing differential equations and solving ODE-constrained optimization problems
EAGOBranchBound.jl
A Flexible Branch and Bound Library for Julia
McCormick.jl
A forward McCormick operator library
NeuralVerification.jl
Methods to soundly verify deep neural networks
ProbabilityBoundsAnalysis.jl
Probability bounds analysis in Julia
IntervalConstraintProgramming.jl
Calculate rigorously the feasible region for a set of real-valued inequalities with Julia
IntervalOptimisation.jl
Rigorous global optimisation in pure Julia
TaylorModels.jl
Rigorous function approximation using Taylor models in Julia
IntervalRootFinding.jl
Library for finding the roots of a function using interval arithmetic
IntervalArithmetic.jl
Library for validated numerics using interval arithmetic
ValidatedNumerics.jl
Rigorous floating-point calculations with interval arithmetic in Julia
JuliaCon-2021-Workshop-Its-All-Set
It's all Set: A hands-on introduction to JuliaReach
MathematicalSystems.jl
Systems definitions in Julia
JuliaCon-2021-Minisymposium-Set-Propagation
Minisymposium for JuliaCon 2021: Applications of Set Propagation Techniques in Julia
ClosedLoopReachability.jl
Reachability analysis for closed-loop control systems in Julia
ReachabilityAnalysis.jl
Computing reachable states of dynamical systems in Julia
LazySets.jl
Scalable symbolic-numeric set computations in Julia
StandardizedPredictors.jl
Standardized regression predictors for use with StatsModels.jl (centered, z-scored, etc.)