Christian Schilling's starred repositories
ai-deadlines
:alarm_clock: AI conference deadline countdowns
TerrariaClone
🔥 An incomprehensible hellscape of spaghetti code.
IntervalArithmetic.jl
Library for validated numerics using interval arithmetic
NeuralVerification.jl
Methods to soundly verify deep neural networks
ReachabilityAnalysis.jl
Computing reachable states of dynamical systems in Julia
Polyhedra.jl
Polyhedral Computation Interface
IntervalConstraintProgramming.jl
Calculate rigorously the feasible region for a set of real-valued inequalities with Julia
smtinterpol
SMTInterpol interpolating SMT solver
ClosedLoopReachability.jl
Reachability analysis for closed-loop control systems in Julia
IntervalLinearAlgebra.jl
Linear algebra done rigorously
RangeEnclosures.jl
Enclosures of real-valued functions in Julia
JuliaCon-2021-Workshop-Its-All-Set
It's all Set: A hands-on introduction to JuliaReach
GeometricTheoremProver.jl
A Julia library for automated deduction in Euclidean geometry.
IntervalMatrices.jl
Matrices with interval coefficients in Julia
PlutoEducation.jl
Tips & tools for educators who use Pluto
BernsteinExpansions.jl
Computing Bernstein coefficients of multivariate polynomials in Julia
Outside-the-Box
Novelty detection for neural networks
CarlemanLinearization.jl
Carleman linearization for dynamical systems in Julia
LazySets-JuliaCon21
LazySets.jl article for the JuliaCon 2021 Conference Proceedings
MathematicalSets.jl
Set definitions in Julia
ReachabilityModels.jl
JuliaReach model library
MathematicalPredicates.jl
Predicate definitions in Julia
Into-the-Unknown
Active monitoring of neural networks
ARCH-COMP2021
Friendly ARCH AINNCS Competition - Benchmark Description
NeuralNetworkReachability.jl
Set propagation for neural networks in Julia