HyPro: A C++ state set representation library for the analysis of hybrid systems
☆38Nov 21, 2025Updated 3 months ago
Alternatives and similar repositories for hypro
Users that are interested in hypro are comparing it to the libraries listed below
Sorting:
- ☆30May 19, 2025Updated 9 months ago
- ☆61Nov 20, 2025Updated 3 months ago
- Manned Bayesian Network Encounter Models☆19May 1, 2024Updated last year
- Toolbox for Automated Controller Synthesis☆17Jan 20, 2024Updated 2 years ago
- TChecker is an open-source verification tool for timed automata☆25Dec 9, 2025Updated 2 months ago
- A Toolbox For Polytopic Objects, Operations, and Containment Problems☆26Jan 3, 2025Updated last year
- ☆62May 28, 2024Updated last year
- Theses-Checker is a tool for students and teachers alike to check theses for frequent typographical errors and see content analysis for q…☆16Jan 5, 2026Updated last month
- MemVerge Netflow Plugin☆16Jun 24, 2025Updated 8 months ago
- A Data Mesh demo repository☆13Oct 10, 2024Updated last year
- The last working version of "cint" C/C++ Interpreter, pulled from within "root-5.34.00-patches"☆12Jan 14, 2018Updated 8 years ago
- Tetris with an interesting twist☆12Mar 5, 2022Updated 3 years ago
- Controlled Invariant Sets in Two Moves☆14Dec 21, 2021Updated 4 years ago
- C++ library for creating and manipulating decision diagrams.☆13Dec 3, 2025Updated 3 months ago
- Various Arduino project codes made available by me.☆10Sep 30, 2016Updated 9 years ago
- Deep Learning for Computer Vision Practitioner Bundle examples and excercises☆11Apr 23, 2019Updated 6 years ago
- A collection of actions for working with ROS data☆14Jun 11, 2025Updated 8 months ago
- GPU-accelerated first-order low-rank SDP solver☆13Mar 17, 2025Updated 11 months ago
- GNU Guix zephyrRTOS integration☆16Sep 25, 2025Updated 5 months ago
- ☆14Jan 4, 2025Updated last year
- BuDDy BDD package (with CMake support)☆15May 7, 2024Updated last year
- Fast Approximate Quadratic Assignment for (Brain) Graph Matching☆16Aug 23, 2016Updated 9 years ago
- 🏃♀️🏃♂️ ⏳ A Julia wrapper for wasmtime☆13Oct 3, 2023Updated 2 years ago
- A Scala DSL (API) designed for monitoring event streams, such as for example log files. Based on data parameterized automata and temporal…☆11Dec 21, 2020Updated 5 years ago
- Vijos: Vijos Isn't Just an Operating System☆10May 31, 2020Updated 5 years ago
- (WIP) A relatively simple pipelined RISC-V core, written in Bluespec SystemVerilog☆12Sep 9, 2021Updated 4 years ago
- Reachability analysis and synthesis of parameters for polynomial dynamical systems☆11May 15, 2023Updated 2 years ago
- Header only C++ plotting interface for Gnuplot☆10Nov 13, 2019Updated 6 years ago
- An implementation of "Subspace Representations for Soft Set Operations and Sentence Similarities" (NAACL 2024)☆10May 31, 2024Updated last year
- A Python library for creating digital sound.☆13Sep 22, 2024Updated last year
- F110 Autonomous Valet Parking with Ouster LiDAR☆14Sep 15, 2020Updated 5 years ago
- A python tool for solving reachability/safety, parity, weak parity and generalized parity games☆13Aug 16, 2018Updated 7 years ago
- TensorFlow plugin for Gen probabilistic programming system.☆10Apr 7, 2021Updated 4 years ago
- "LINDO" The Home Assistant Robot☆14Oct 6, 2018Updated 7 years ago
- Benefit from generator on express router.☆10Mar 27, 2018Updated 7 years ago
- ☆16Apr 11, 2023Updated 2 years ago
- ☆10May 21, 2021Updated 4 years ago
- http-signatures☆11Feb 23, 2026Updated last week
- ☆11Jun 2, 2019Updated 6 years ago