schillic

schillic's Stars

• paperswithcode/ai-deadlines

  :alarm_clock: AI conference deadline countdowns

  Language:JavaScript5.6k10092961

• fonsp/Pluto.jl

  🎈 Simple reactive notebooks for Julia

  Language:Julia5k361.6k286

• radian-software/TerrariaClone

  🔥 An incomprehensible hellscape of spaghetti code.

  Language:Java1.8k3121136

• JuliaIntervals/IntervalArithmetic.jl

  Library for validated numerics using interval arithmetic

  Language:Julia2971334972

• sisl/NeuralVerification.jl

  Methods to soundly verify deep neural networks

  Language:Julia2232711550

• JuliaReach/ReachabilityAnalysis.jl

  Computing reachable states of dynamical systems in Julia

  Language:Julia1901025217

• JuliaPolyhedra/Polyhedra.jl

  Polyhedral Computation Interface

  Language:Julia172813127

• JuliaIntervals/IntervalConstraintProgramming.jl

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

  Language:Julia63810116

• ultimate-pa/smtinterpol

  SMTInterpol interpolating SMT solver

  Language:Java591811617

• JuliaReach/ClosedLoopReachability.jl

  Reachability analysis for closed-loop control systems in Julia

  Language:Polar446752

• JuliaIntervals/IntervalLinearAlgebra.jl

  Linear algebra done rigorously

  Language:Julia367459

• dpsanders/IntervalsJuliaCon2020

  Language:Jupyter Notebook29607

• JuliaReach/RangeEnclosures.jl

  Enclosures of real-valued functions in Julia

  Language:Julia226393

• lucaferranti/GeometricTheoremProver.jl

  A Julia library for automated deduction in Euclidean geometry.

  Language:Julia20241

• JuliaReach/JuliaCon-2021-Workshop-Its-All-Set

  It's all Set: A hands-on introduction to JuliaReach

  Language:Jupyter Notebook19402

• JuliaReach/IntervalMatrices.jl

  Matrices with interval coefficients in Julia

  Language:Julia185852

• fonsp/PlutoEducation.jl

  Tips & tools for educators who use Pluto

  Language:Julia17712

• ueliwechsler/InvariantSets.jl

  Language:Julia154102

• JuliaReach/BernsteinExpansions.jl

  Computing Bernstein coefficients of multivariate polynomials in Julia

  Language:Julia106122

• JuliaReach/juliareach-days-3

  Language:CSS9600

• VeriXAI/Outside-the-Box

  Novelty detection for neural networks

  Language:Python8605

• HySynth/HySynth

  Synthesis of hybrid automata from data

  Language:Python6300

• JuliaReach/CarlemanLinearization.jl

  Carleman linearization for dynamical systems in Julia

  Language:Julia6592

• JuliaReach/LazySets-JuliaCon21

  LazySets.jl article for the JuliaCon 2021 Conference Proceedings

  Language:TeX5411

• JuliaReach/MathematicalSets.jl

  Set definitions in Julia

  Language:Julia5510

• JuliaReach/ReachabilityModels.jl

  JuliaReach model library

  Language:Julia5440

• JuliaReach/MathematicalPredicates.jl

  Predicate definitions in Julia

  Language:Julia446

• VeriXAI/Into-the-Unknown

  Active monitoring of neural networks

  Language:Python40

• verivital/ARCH-COMP2021

  Friendly ARCH AINNCS Competition - Benchmark Description

  Language:MATLAB2313

• JuliaReach/NeuralNetworkReachability.jl

  Set propagation for neural networks in Julia

  Language:Julia136