A package for compositional system analysis and design
☆30Jul 22, 2025Updated 8 months ago
Alternatives and similar repositories for pacti
Users that are interested in pacti are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Interval Analysis and Mixed Monotone Reachability in JAX☆17Feb 22, 2026Updated last month
- Solving unregularized optimal transport problems with Julia☆18Sep 16, 2023Updated 2 years ago
- ☆18Jun 14, 2024Updated last year
- This is an example of the design-by-contract method☆14Dec 27, 2022Updated 3 years ago
- Specify and synthesize systems using symbolic algorithms☆52Dec 15, 2025Updated 4 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- an enumerative reactive synthesis tool for the GR(1) fragment of LTL☆13Jan 5, 2026Updated 3 months ago
- Deprecated: please use GillesPy2☆12Oct 15, 2019Updated 6 years ago
- Benchmarks for the VNN Comp 2023☆16Jun 7, 2024Updated last year
- A Python toolbox for COPASI☆13Jun 5, 2024Updated last year
- Temporal Logic Planning toolbox☆125Mar 6, 2026Updated last month
- Linear algebra done rigorously☆40Updated this week
- A python library to conjugate spanish words with parameters tense, mood and pronoun☆16Apr 21, 2025Updated 11 months ago
- Large-Scale Graph Inference☆12Nov 6, 2024Updated last year
- Exact real arithmetic using Dedekind cuts☆11Mar 30, 2026Updated 2 weeks ago
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆50Updated this week
- DM i AI 2022☆10Oct 4, 2022Updated 3 years ago
- Hybrid Systems definitions in Julia☆30Dec 15, 2025Updated 4 months ago
- JaxRobotarium | CoRL 2025☆24Jul 16, 2025Updated 8 months ago
- [ICRA 2025] TCAFF: a multiple hypothesis algorithm for aligning coordinate frames of collaborative robots☆18Sep 26, 2025Updated 6 months ago
- A platform that provides users with easy access to AI services developed by Montimage and usage of explainable AI techniques (e.g., LIME,…☆10Feb 17, 2026Updated last month
- ☆12Oct 27, 2022Updated 3 years ago
- Towards Sustainable Learning: Coresets for Data-efficient Deep Learning☆13Jul 5, 2023Updated 2 years ago
- benchmark problems for research in formal methods for robotics☆15May 26, 2025Updated 10 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆13Aug 22, 2024Updated last year
- Sample code, tools, and other resources for working with the Misty II REST API and WebSocket events.☆10May 6, 2020Updated 5 years ago
- Tool for learning linear temporal logic formulas using combinatorial approach☆13Jan 11, 2025Updated last year
- ☆14Nov 1, 2023Updated 2 years ago
- Education4Climate is a tool for crawling and analyzing data from higher education schools.☆20Oct 27, 2025Updated 5 months ago
- ROS code for Tenacity - A SAWPPY-inspired rover☆14Mar 8, 2025Updated last year
- BioSCRAPE (Bio-circuit Stochastic Single-cell Reaction Analysis and Parameter Estimation)☆29Mar 29, 2025Updated last year
- ☆21Mar 18, 2026Updated 3 weeks ago
- Bare essentials for building abstract syntax trees, and skeleton classes for PLY lexers and parsers.☆18Jun 4, 2025Updated 10 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆119Apr 7, 2026Updated last week
- The Verifiably Safe Reinforcement Learning Framework☆57Jul 22, 2021Updated 4 years ago
- Drona is a programming framework for building safe robotics systems☆30Apr 29, 2022Updated 3 years ago
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆28Apr 24, 2024Updated last year
- C++ drivers and utilities for the kobuki base☆20May 20, 2025Updated 10 months ago
- gbs is a c++ header library to build and manage NURBS, some optional module are used for visualization and export. This library is compat…☆45Mar 26, 2026Updated 2 weeks ago
- SLSpy provides a Python-based framework to design and simulate model-based control systems, especially for system level synthesis (SLS) m…☆18Jun 29, 2023Updated 2 years ago