A Toolbox For Polytopic Objects, Operations, and Containment Problems
☆26Jan 3, 2025Updated last year
Alternatives and similar repositories for pypolycontain
Users that are interested in pypolycontain are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Minimal package for operations on polytopes, zonotopes, and invariant sets.☆50Nov 11, 2020Updated 5 years ago
- HyPro: A C++ state set representation library for the analysis of hybrid systems☆40Updated this week
- Geometric operations on polytopes of any dimension☆85Oct 31, 2026Updated last week
- please smile☆11Jun 4, 2019Updated 7 years ago
- Reference implementations for RecurJac, CROWN, FastLin and FastLip (Neural Network verification and robustness certification algorithms)…☆27Nov 23, 2019Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Control of piecewise affine systems☆11Sep 10, 2019Updated 7 years ago
- pycvxset is a Python package for manipulation and visualization of convex sets.☆52Feb 19, 2026Updated 8 months ago
- Implementation code for the signal temporal logic tree (sTLT) paper☆15Sep 27, 2023Updated 3 years ago
- CROWN: A Neural Network Robustness Certification Algorithm for General Activation Functions (This repository is outdated; use https://git…☆18Nov 29, 2018Updated 7 years ago
- Scripts and Javascript Glue code to use Z3 in the browser using WASM☆13Jan 10, 2022Updated 4 years ago
- ☆11Feb 6, 2025Updated last year
- library with a semiring class and some useful semirings☆11Nov 23, 2019Updated 6 years ago
- A Python package to make implementing control barrier functions (CBFs) and control Lyapunov functions (CLFs) simple.☆21May 13, 2024Updated 2 years ago
- Bachelor Thesis: P2P energy trading in a live market environment with EVs using Deep Reinforcement Learning☆10Aug 8, 2022Updated 4 years 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.
- Preparation of a new project proposal to support model exchange and co-simulation of reduced order PDE-models in system simulation☆11Jul 11, 2018Updated 8 years ago
- string diagrams for the working programmer☆16Jul 17, 2023Updated 3 years ago
- Boundary analysis based Reachability analysis Toolbox for dynamic systems in Python☆22Oct 1, 2026Updated last month
- MoonLight: a light-weight framework for runtime monitoring.☆21Jan 25, 2026Updated 9 months ago
- Constrained optimization for Pytorch using the SQP-GS algorithm☆40May 24, 2024Updated 2 years ago
- Code needed to replicate the examples from "Learning Hybrid Control Barrier Functions from Data" by L. Lindemann et al., to appear at CoR…☆25Aug 12, 2023Updated 3 years ago
- Haskell bindings to glpk☆13Jun 10, 2024Updated 2 years ago
- VNN Neural Network Verification Competition 2021☆36Jul 17, 2021Updated 5 years ago
- Data Driven Reachability Analysis from Noisy Data☆36Apr 1, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- PyTorch Implementation of Soft Actor-Critic Algorithm☆12Sep 13, 2020Updated 6 years ago
- A Julia implementation of PRONTO☆24Feb 12, 2025Updated last year
- PolyLib official git.☆15Sep 23, 2026Updated last month
- A repository for obtaining metadata of electronic music tracks collected in Spotify Playlists or Beatport Top100 charts. It can make a yo…☆18Apr 4, 2023Updated 3 years ago
- Spring 2024 - Data Science and Machine Learning in Chemical Engineering☆12Feb 14, 2024Updated 2 years ago
- Distribution and filtering on SO(3) x Euclidean space☆13Jun 24, 2022Updated 4 years ago
- ☆15Aug 30, 2025Updated last year
- Tube-Based Zonotopic Data Driven Predictive Control☆12Nov 23, 2022Updated 3 years ago
- A toolkit for enforcing logical specifications on neural networks☆137Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Controlled Invariant Sets in Two Moves☆14Sep 21, 2026Updated last month
- ☆19Aug 30, 2024Updated 2 years ago
- Data-driven decision making under uncertainty using matrices☆31Nov 15, 2024Updated last year
- ☆62May 28, 2024Updated 2 years ago
- Verifying and synthesizing compatible Control Lyapunov Function (CLF) and Control Barrier Function (CBF)☆29Updated this week
- Economic Self-Optimizing Control in a Python toolbox☆11Jul 14, 2020Updated 6 years ago
- SDCC compiler support for Visual Studio☆10Jun 22, 2023Updated 3 years ago