tulip-control/polytope external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

tulip-control/polytope

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/tulip-control/polytope)

Close

tulip-control / polytopeView on GitHubMore

• External links
• Readme badge

Geometric operations on polytopes of any dimension

☆85May 21, 2025Updated 9 months ago

Alternatives and similar repositories for polytope

Users that are interested in polytope are comparing it to the libraries listed below

• tulip-control / tulip-control

  View on GitHub
  Temporal Logic Planning toolbox
  ☆125Jan 2, 2026Updated 2 months ago
• mcmtroffaes / pycddlib

  View on GitHub
  A Python wrapper for Komei Fukuda's cddlib.
  ☆70Feb 17, 2026Updated 2 weeks ago
• slivingston / gr1py

  View on GitHub
  an enumerative reactive synthesis tool for the GR(1) fragment of LTL
  ☆13Jan 5, 2026Updated last month
• tulip-control / gr1c

  View on GitHub
  a collection of tools for GR(1) synthesis and related activities
  ☆21Dec 12, 2025Updated 2 months ago
• fmrchallenge / fmrbenchmark

  View on GitHub
  benchmark problems for research in formal methods for robotics
  ☆15May 26, 2025Updated 9 months ago
• stephane-caron / pypoman

  View on GitHub
  Python module for polyhedral geometry
  ☆76Apr 14, 2025Updated 10 months ago
• sadraddini / pypolycontain

  View on GitHub
  A Toolbox For Polytopic Objects, Operations, and Containment Problems
  ☆26Jan 3, 2025Updated last year
• ccodel / verified-encodings

  View on GitHub
  Verifying encodings into propositional logic in Lean
  ☆14Aug 14, 2023Updated 2 years ago
• blegat / SwitchOnSafety.jl

  View on GitHub
  Julia Package for computing [controlled] invariant sets of Hybrid Systems using Sum Of Squares Programming
  ☆24Aug 14, 2024Updated last year
• marcodeangelis / intervals

  View on GitHub
  A library for interval computing in Python.
  ☆12Jul 5, 2024Updated last year
• lkuper / lvar-examples

  View on GitHub
  Programming with LVars, by example
  ☆36Jul 20, 2015Updated 10 years ago
• validsdp / validsdp

  View on GitHub
  A Coq tactic for proving multivariate inequalities using SDP solvers
  ☆12Feb 3, 2026Updated last month
• heirung / pytope

  View on GitHub
  Minimal package for operations on polytopes, zonotopes, and invariant sets.
  ☆50Nov 11, 2020Updated 5 years ago
• EricssonResearch / Robust-Tracking-MPC-over-Lossy-Networks

  View on GitHub
  ☆11Feb 27, 2025Updated last year
• sburer / ipco-2019-sdp-tutorial

  View on GitHub
  ☆11May 21, 2019Updated 6 years ago
• bollu / diffgeo

  View on GitHub
  A formalization of synthetic differential geometry in Coq using infinitesimal analysis
  ☆11Aug 29, 2021Updated 4 years ago
• embotech / forcesnlp-examples

  View on GitHub
  Public examples for FORCES NLP
  ☆12Jun 20, 2017Updated 8 years ago
• oscar-system / Polymake.jl

  View on GitHub
  Interface to Polymake using CxxWrap
  ☆31Updated this week
• logiceditor-com / le-dsl-fsm

  View on GitHub
  The DSL FSM
  ☆12Dec 3, 2013Updated 12 years ago
• ejgallego / pycoq

  View on GitHub
  Python bindings for the Coq interactive proof assistant
  ☆57Jan 10, 2022Updated 4 years ago
• stephane-caron / pyfme

  View on GitHub
  Symbolic (analytical) polyhedron projection by Fourier-Motzkin elimination using SymPy
  ☆11Oct 17, 2019Updated 6 years ago
• UCSD-PL / veridrone

  View on GitHub
  Foundational Verification of Hybrid Systems
  ☆15Mar 23, 2017Updated 8 years ago
• arthurpaulino / NumLean

  View on GitHub
  A Lean 4 package for heavy numerical computations
  ☆20Jan 16, 2022Updated 4 years ago
• egraphs-good / egraph-serialize

  View on GitHub
  egraph <-> json
  ☆16Dec 29, 2025Updated 2 months ago
• kvasnica / mpt3

  View on GitHub
  ☆13Nov 6, 2019Updated 6 years ago
• elliottt / easy-smt

  View on GitHub
  Easy SMT solver interaction
  ☆34Feb 3, 2026Updated last month
• tuura / selective-theory-coq

  View on GitHub
  Selective applicative functors laws and theorems
  ☆15Mar 12, 2020Updated 5 years ago
• TobiaMarcucci / pympc

  View on GitHub
  ☆63Aug 2, 2024Updated last year
• thery / grobner

  View on GitHub
  A fornalisation of Grobner basis in ssreflect
  ☆12Jan 29, 2026Updated last month
• sorokine / phases

  View on GitHub
  Minimally Invasive bash Preprocessor
  ☆16May 15, 2018Updated 7 years ago
• johnyf / tool_lists

  View on GitHub
  Links to tools by subject
  ☆389Mar 19, 2024Updated last year
• MariaLazzaroni / HumanExoskeleton-model

  View on GitHub
  SDF and URDF models for simulation of the human and the exoskeleton in Gazebo
  ☆16Dec 18, 2017Updated 8 years ago
• opencompl / egg-tactic-code

  View on GitHub
  ☆16Jul 3, 2023Updated 2 years ago
• jeff5 / very-slow-jython

  View on GitHub
  Very slowly rethinking Jython through toy implementations
  ☆18Feb 6, 2026Updated 3 weeks ago
• mcmtroffaes / cddlib_old

  View on GitHub
  Please refer to the official version of cddlib on github instead.
  ☆13May 1, 2018Updated 7 years ago
• philzook58 / lens-algebra

  View on GitHub
  Type level algebraic "proofs" using lens combinators
  ☆19Jul 26, 2019Updated 6 years ago
• s-falke / kittel-koat

  View on GitHub
  KITTeL/KoAT
  ☆21Dec 19, 2018Updated 7 years ago
• homalg-project / homalg_project

  View on GitHub
  Deposited packages of the homalg project
  ☆17Feb 24, 2026Updated last week
• jtristan / stump-learnable

  View on GitHub
  ☆16Dec 9, 2020Updated 5 years ago