GitHub repository: JuliaReach/CarlemanLinearization.jl
Primary language: Julia
Description: Carleman linearization for dynamical systems in Julia