Reachability analysis and synthesis of parameters for polynomial dynamical systems
☆11May 15, 2023Updated 2 years ago
Alternatives and similar repositories for sapo
Users that are interested in sapo are comparing it to the libraries listed below
Sorting:
- Toolbox for Automated Controller Synthesis☆17Jan 20, 2024Updated 2 years ago
- HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models☆15Sep 3, 2020Updated 5 years ago
- Julia Package for computing [controlled] invariant sets of Hybrid Systems using Sum Of Squares Programming☆24Aug 14, 2024Updated last year
- A Tool for Continuous Reachability Analysis.☆151Feb 19, 2026Updated last week
- Systems definitions in Julia☆44Feb 22, 2026Updated last week
- Optimized Circuit Generation for Secure Multiparty Computation☆12Nov 25, 2019Updated 6 years ago
- MIP21 example☆15Jun 20, 2022Updated 3 years ago
- Controlled Invariant Sets in Two Moves☆14Dec 21, 2021Updated 4 years ago
- QMK Homebrew Formulae☆16May 28, 2025Updated 9 months ago
- A Redis-compatible in-memory database server written in Rust with MLua-based Lua 5.1 scripting☆17Nov 28, 2025Updated 3 months ago
- A jailbreak tweak to respring your device using the hardware buttons☆11Jun 9, 2020Updated 5 years ago
- Diffusion for EEG☆11Jan 2, 2023Updated 3 years ago
- ☆14Dec 10, 2025Updated 2 months ago
- Uncertainty sets for nonlinear dynamical systems☆10Nov 7, 2020Updated 5 years ago
- A command-line benchmarking tool to measure the startup times of programs in various languages☆14Oct 17, 2020Updated 5 years ago
- Django/Angular/React software for graphing neural activity data (analog signals, spike trains etc.) read from Neo files.☆11Feb 18, 2026Updated last week
- Persistence support for NServiceBus using NHibernate☆12Updated this week
- Go implementation of the Peer-to-Peer Streaming Peer Protocol (rfc7574)☆11Sep 24, 2017Updated 8 years ago
- Reverse Engineering the Tabstate files for Windows Notepad☆10May 1, 2024Updated last year
- SaRA: A Tool for Safe Human-Robot Co-existence and Collaboration through Reachability Analysis☆17Sep 25, 2025Updated 5 months ago
- Windows Sets sample from Build 2018☆11Apr 16, 2022Updated 3 years ago
- A video-sharing web platform compatible with NextShare, a peer-to-peer streaming technology developed within European project P2P-Next☆15Nov 13, 2012Updated 13 years ago
- Functions for determining terminal sizes in Rust☆14Feb 16, 2026Updated 2 weeks ago
- Homework Template for Typst☆12Apr 5, 2023Updated 2 years ago
- F110 Autonomous Valet Parking with Ouster LiDAR☆14Sep 15, 2020Updated 5 years ago
- nonholonomic improved RRT path planning using BSpline and heuristic function☆10Aug 7, 2015Updated 10 years ago
- Using Xaml in the Win32 app model using DesktopWindowXamlSource☆16Jul 19, 2024Updated last year
- ☆12Feb 13, 2025Updated last year
- XDeFi Yield Farming & XDEX on Ethereum☆12Apr 20, 2021Updated 4 years ago
- Rigorous moment propagation with partial information about moments and dependencies in Julia☆12May 7, 2022Updated 3 years ago
- ☆10Feb 16, 2026Updated 2 weeks ago
- Standard atmosphere gas properties. Support for n-dim inputs, non-standard atmospheres, units, etc.☆10Aug 21, 2025Updated 6 months ago
- Proving ground for changes to attohttpc☆12Jun 16, 2025Updated 8 months ago
- Library and command-line tool to gather stats on typeshed packages☆12Updated this week
- ☆12Jun 14, 2021Updated 4 years ago
- Courier Mail Server - shared libraries☆12Jan 31, 2026Updated last month
- Do not use☆15Jan 25, 2019Updated 7 years ago
- Threshold Signatures with Silent Setup☆12Apr 12, 2023Updated 2 years ago
- Version 2 of the MINA Instruction Set Architecture.☆10Jan 31, 2024Updated 2 years ago