GitHub repository: JuliaReach/NeuralNetworkReachability.jl
Primary language: Julia
Description: Set propagation for neural networks in Julia