GitHub repository: JuliaDynamics/RigorousInvariantMeasures.jl
Primary language: Julia
Description: Package for the Rigorous Computation of Invariant Measures