PyInterval — Interval arithmetic in Python
☆88Jun 13, 2017Updated 8 years ago
Alternatives and similar repositories for pyinterval
Users that are interested in pyinterval are comparing it to the libraries listed below
Sorting:
- A library for interval computing in Python.☆12Jul 5, 2024Updated last year
- Constrained Manipulability is a library used to compute and visualize a robot's capacities in constrained environments.☆14Apr 23, 2025Updated 10 months ago
- Rigorous floating-point calculations with interval arithmetic in Julia☆85Nov 26, 2025Updated 3 months ago
- GameBoyAdvance & NintendoDS development classes' source codes.☆12Jul 5, 2018Updated 7 years ago
- Probabilistic reachability and parameter set synthesis for stochastic hybrid systems☆17Jul 18, 2025Updated 8 months ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆21Feb 7, 2020Updated 6 years ago
- Exact real arithmetic in Julia☆13Feb 8, 2020Updated 6 years ago
- Example analyses making extensive use of nelpy.☆10May 1, 2019Updated 6 years ago
- Explorations in relations and the algebra of programming☆17Oct 4, 2019Updated 6 years ago
- Repositório público para publicação das atas e pautas das próximas reuniões.☆13Mar 23, 2025Updated 11 months ago
- Lean 3 web editor☆12Oct 25, 2023Updated 2 years ago
- kv - a C++ Library for Verified Numerical Computation☆94Mar 15, 2025Updated last year
- NeuroScope is an advanced viewer for electrophysiological and behavioral data.☆11May 19, 2020Updated 5 years ago
- A ROS interface to FCL collision checking☆21Jan 28, 2025Updated last year
- Unums 2.0 for Julia☆13Feb 1, 2017Updated 9 years ago
- IBEX is a C++ library for constraint processing over real numbers.☆86Feb 21, 2026Updated 3 weeks ago
- Code for Krause and Drugowitsch (2022). "A large majority of awake hippocampal sharp-wave ripples feature spatial trajectories with momen…☆15Apr 18, 2023Updated 2 years ago
- Branch and prune interface for Julia☆16Feb 13, 2023Updated 3 years ago
- An implementation of an algebraically closed interval system of the extended real number set☆100Dec 26, 2025Updated 2 months ago
- Fast and backward stable computation of roots of polynomials in Julia☆17Jan 2, 2026Updated 2 months ago
- Tutorial for the CHR system☆16Feb 8, 2021Updated 5 years ago
- Extensions to MathOptInterface to support constraint programming.☆24Jul 12, 2025Updated 8 months ago
- A URL builder for genius :D☆12Aug 13, 2021Updated 4 years ago
- Library for construction, manipulation and evaluation of factorable functions☆13Dec 13, 2025Updated 3 months ago
- A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators☆17Jan 7, 2023Updated 3 years ago
- Fortran Automatic Differentiation library☆30Mar 3, 2026Updated 2 weeks ago
- A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)☆25Aug 12, 2025Updated 7 months ago
- CNN-ripple is a 1D convolutional neural network (CNN) operating over high-density LFP recordings to detect hippocampal SWR both offline a…☆16Nov 15, 2022Updated 3 years ago
- Using Forester, We are attempting to resurrect and grow the since deleted model theory wiki and give it a better foundation for future gr…☆16Jun 8, 2025Updated 9 months ago
- Python library for hyperspectral analysis focused on spectroscopic approach.☆18Sep 9, 2024Updated last year
- Search-based test generation toolbox written in Python☆17Oct 27, 2025Updated 4 months ago
- Cayley Dickson algebra implementation in python☆12Jan 3, 2019Updated 7 years ago
- Visualizations of shortest path routes in road networks.☆10Aug 24, 2022Updated 3 years ago
- Python module for polyhedral geometry☆76Apr 14, 2025Updated 11 months ago
- Automated Analysis Framework for Simulink/Stateflow☆16Jul 25, 2023Updated 2 years ago
- A Qt-Js hybrid application for visualisation of executing or log-replayed behaviour trees in a ROS2 ecosystem.☆47Jun 10, 2025Updated 9 months ago
- A Julia package to approximate multivariate continuous functions using Smolyak's method.☆18Mar 10, 2026Updated last week
- Docker images for Chaste☆13Jan 28, 2026Updated last month
- An open source first-order MATLAB solver for conic programs with row sparsity.☆11May 30, 2017Updated 8 years ago