ControllerFormats.jl
This light-weight Julia library contains basic representations of controllers (currently deep neural networks) as well as functionality to parse them from various file formats like MAT, YAML and ONNX.
The library originated from the package ClosedLoopReachability, which performs formal analysis of a given trained neural network. This motivates that ControllerFormats.jl
does not provide support for typical other tasks such as network training, and some of the supported file formats are only used by some similar analysis tool.