GitHub repository: Akash-Harapanahalli/immrax
Primary language: Python
Description: Interval Analysis and Mixed Monotone Reachability in JAX