Library for rigorous verification of non-linear arithmetic
☆117Sep 18, 2026Updated last month
Alternatives and similar repositories for Kodiak
Users that are interested in Kodiak are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Markov Decision Process (MDP) Toolbox for Python☆36May 22, 2015Updated 11 years ago
- Matplotlib object oriented style system☆46Mar 14, 2018Updated 8 years ago
- ☆12Oct 30, 2024Updated 2 years ago
- Create Microsoft Documents automatically using Text and Template files☆121Nov 13, 2016Updated 9 years ago
- Library for construction, manipulation and evaluation of factorable functions☆19Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Python Polarimetric Radar Beam Blockage Calculation (PyBlock)☆41Aug 1, 2017Updated 9 years ago
- Machine-readable schema for NASA's response to the president's digital strategy.☆41Mar 18, 2021Updated 5 years ago
- Base repository with generic software components☆11Sep 8, 2026Updated last month
- Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs☆30Mar 21, 2023Updated 3 years ago
- Closed-loop simulation code using ACAS Xu neural networks for collision avoidance☆12Jan 21, 2022Updated 4 years ago
- Tool for Rigorous Estimation of Round-Off Floating-Point Errors☆37Sep 1, 2024Updated 2 years ago
- An interval library for OCaml☆17Dec 9, 2022Updated 3 years ago
- libSPRITE is a set of libraries that have been used on several past projects including flight, technology demonstration, and simulation p…☆64Sep 25, 2016Updated 10 years ago
- Julia interface to SNOPT (must obtain a licensed copy of SNOPT separately)☆19Mar 27, 2026Updated 7 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- EADIN_Lite Network Protocol☆59Mar 1, 2018Updated 8 years ago
- kv - a C++ Library for Verified Numerical Computation☆98Aug 1, 2026Updated 2 months ago
- A 2d "programming language" based around triangles☆11Sep 23, 2023Updated 3 years ago
- A parametric aircraft geometry tool☆74Oct 17, 2016Updated 10 years ago
- FPRoCK is a software library for checking satisfiability of a set of mixed real and floating-point constraints. If this set of constraint…☆14Jun 30, 2021Updated 5 years ago
- Rigorous Global Branch-and-Bound Optimizer☆25Dec 13, 2024Updated last year
- Homework Template for Typst☆13Apr 5, 2023Updated 3 years ago
- Fine-grained lattice primitives for Haskell☆18Mar 8, 2018Updated 8 years ago
- Choice operator in OCaml, providing a backtracking monad☆26Jan 26, 2022Updated 4 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.
- KITTeL/KoAT☆21Dec 19, 2018Updated 7 years ago
- open source release: LAR-19282-1 Detect and Avoid Alerting Logic for Unmanned Systems (DAIDALUS) with Dynamic Well-Clear Separation Volum…☆89Sep 30, 2025Updated last year
- QuIP provides an interactive environment for computing and presenting images and image sequences, manipulating and storing arbitrary data…☆132Jan 31, 2020Updated 6 years ago
- Random Variable Library☆25Nov 10, 2017Updated 8 years ago
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆50Jun 17, 2015Updated 11 years ago
- Service discovery for Finagle cluster with Consul.☆10Sep 27, 2018Updated 8 years ago
- GAOL is not Just Another Interval Arithmetic Library☆20Dec 9, 2025Updated 10 months ago
- A series of bare metal AVR development basic examples with commentary to help you get started.☆14Oct 16, 2022Updated 4 years ago
- ☆56Jun 9, 2021Updated 5 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Bicategories of automata, completeness of F-automata in monoidal categories, adjoints between (semi)bicategories; https://arxiv.org/pdf/2…☆22May 29, 2024Updated 2 years ago
- GeomScale in Google Summer of Code 2021☆10Feb 10, 2021Updated 5 years ago
- Python Turbulence Detection Algorithm (PyTDA)☆101Mar 4, 2024Updated 2 years ago
- Program Round-off Error Certifier via Static Analysis☆60Sep 24, 2026Updated last month
- OpenMDAO is an open-source Multidisciplinary Design Analysis and Optimization (MDAO) framework, written in Python. It helps users solve c…☆148May 6, 2015Updated 11 years ago
- ⚛️⚡️ AsyncStorage manager library for React Native☆10Aug 21, 2018Updated 8 years ago
- Conservative floating point interval arithmetic in Lean☆29Oct 14, 2026Updated 2 weeks ago