Symbolic (analytical) polyhedron projection by Fourier-Motzkin elimination using SymPy
☆11Oct 17, 2019Updated 6 years ago
Alternatives and similar repositories for pyfme
Users that are interested in pyfme are comparing it to the libraries listed below
Sorting:
- Python module for polyhedral geometry☆76Apr 14, 2025Updated 10 months ago
- Practical volume computation and sampling in high dimensions☆16Feb 20, 2026Updated 2 weeks ago
- Utilities for parsing MPS and SMPS file formats.☆20Nov 2, 2023Updated 2 years ago
- Home-Assistant Custom Component to read data from ryd (formaly Tanktaler)☆10Feb 3, 2024Updated 2 years ago
- Matrix Product State algorithm for computing characters of the symmetric group S_n☆11Sep 26, 2025Updated 5 months ago
- Official low-level API to access GAMS Data eXchange (GDX) files with bindings to various programming languages☆12Updated this week
- SDCC compiler support for Visual Studio☆10Jun 22, 2023Updated 2 years ago
- ☆13Feb 27, 2021Updated 5 years ago
- G'n'T Eval is an evaluation suite that allows to carry out pen and paper evaluations. It ships with all necessary tools, i.e. management …☆14Nov 2, 2013Updated 12 years ago
- Library for solar and geothermal district heating systems with seasonal storage☆19Mar 14, 2024Updated last year
- The Reconfigurable Solver for QP☆10Apr 19, 2023Updated 2 years ago
- GAMSPy Modelling Examples☆20Feb 12, 2026Updated 3 weeks ago
- PyOgmios is a Python version of the Ogmios Client☆10Jun 17, 2025Updated 8 months ago
- smallest z80 disassembler in the world☆12Jan 28, 2023Updated 3 years ago
- refineGEMs is a python package inteded to help with the curation of genome-scale metabolic models (GEMS).☆16Feb 26, 2026Updated last week
- ☆18Aug 1, 2025Updated 7 months ago
- ☆10Oct 22, 2019Updated 6 years ago
- A composite GitHub action that can be used to create or update a GitHub issue/pull request comment.☆10Oct 4, 2025Updated 5 months ago
- Software tool for metabolic modelling in Systems Biology☆10Dec 30, 2020Updated 5 years ago
- Solutions to math olympiad problems in Isabelle/HOL☆11May 29, 2021Updated 4 years ago
- An LV2 wrapper around Aeolus, a synthesised pipe organ emulator.☆10Oct 26, 2024Updated last year
- Set up a specific version of the Z3 theorem prover☆13Updated this week
- Code to solve linear bilevel problems using different methods☆14Mar 14, 2023Updated 2 years ago
- Tools for analysing results produced by the llvm-xray instrumentation☆16Jan 15, 2021Updated 5 years ago
- Category Theory for Quantum Natural Language Processing☆11Feb 22, 2023Updated 3 years ago
- A collection of Classes to create GUI's and more based purely on pygame (https://www.pygame.org/news).☆11May 7, 2020Updated 5 years ago
- Collection of resources from each meetup event☆13Nov 26, 2020Updated 5 years ago
- Optimize nonsmooth functions with gradient sampling, (ns) BFGS...☆10Feb 11, 2025Updated last year
- Capturability-based walking pattern generation over uneven terrains☆12Oct 28, 2019Updated 6 years ago
- A compiler and bytecode interpreter for a subset of Python☆10Jan 23, 2021Updated 5 years ago
- ARCS6 - Advanced Robot Control System V6☆16Feb 22, 2026Updated last week
- ASM generation tool for GAS/NASM/MASM with Xbyak-like syntax in Python☆12Nov 10, 2025Updated 3 months ago
- ☆14Jan 3, 2018Updated 8 years ago
- Yamaha C3 Grand Piano☆13Jan 3, 2022Updated 4 years ago
- many powerful tools for studying irreducible representations of SU(n), including making animations of hadron flavor-state multiplets☆13Jul 25, 2021Updated 4 years ago
- An optimizer of robustified Non-Linear Least Squares problems☆13Feb 26, 2026Updated last week
- LTL2PDDL tool☆11Jul 7, 2017Updated 8 years ago
- Rigid-body dynamics algorithms☆15Feb 3, 2026Updated last month
- A complete version of Uniswap in Plutus.☆12Sep 6, 2021Updated 4 years ago