HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models
☆15Sep 3, 2020Updated 5 years ago
Alternatives and similar repositories for hyst
Users that are interested in hyst are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆16May 1, 2023Updated 3 years ago
- Reachability and Safety of Nondeterministic Dynamical Systems☆50May 22, 2021Updated 5 years ago
- Matrices with interval coefficients in Julia☆19Jun 9, 2026Updated last week
- Julia wrapper for The Z3 Theorem Prover (SMT Solver)☆24Jun 23, 2017Updated 8 years ago
- Linear algebra done rigorously☆40Jun 10, 2026Updated last week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆50Updated this week
- A Fast Floating-Point Satisfiability Solver☆31Jul 26, 2025Updated 10 months ago
- This is a mirror of the main Bitbucket repository. Issue tracking is done on Bitbucket☆12Jun 29, 2022Updated 3 years ago
- Materials for OPLSS 2021☆11Jun 1, 2021Updated 5 years ago
- Tips & tools for educators who use Pluto☆17Oct 30, 2020Updated 5 years ago
- Genrates python dependency graph☆22Aug 10, 2018Updated 7 years ago
- WASP Research Arena for Software☆12Jun 10, 2022Updated 4 years ago
- Classical Carleman solution of the viscous Burgers equation, used in https://arxiv.org/abs/2011.03185.☆12Mar 1, 2021Updated 5 years ago
- An implementation of interval union arithmetic in Julia☆12May 25, 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.
- Affine arithmetic in Julia☆12Sep 8, 2025Updated 9 months ago
- Dynamics of elastic hard balls in arbitrary number of dimensions in Julia☆16Aug 12, 2023Updated 2 years ago
- Coco/R for Java☆15Aug 14, 2021Updated 4 years ago
- CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security☆27Jun 11, 2026Updated last week
- Interprocedural Distributive Environment algorithm implementation☆16Jul 16, 2015Updated 10 years ago
- Branch and prune interface for Julia☆16Apr 23, 2026Updated last month
- Julia package for working with tensors, i.e. multilinear maps between vector spaces☆15Sep 19, 2017Updated 8 years ago
- Adversarial attacks for Neural Networks written with FluxML☆16Jan 20, 2021Updated 5 years ago
- Julia library for scheduling☆14Oct 7, 2023Updated 2 years 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.
- Domain specific language (DSL) and system for specifying, programming, and reasoning about packet-switched networks☆34Jun 11, 2026Updated last week
- CDCL SAT solver written in Rust. Work in progress. The basics are working, but there are lots of changes ahead, including API and CLI bre…☆10May 19, 2022Updated 4 years ago
- OVE gathers git repositories and the knowledge how to build and test them☆20Updated this week
- ☆11Apr 17, 2022Updated 4 years ago
- Pixy is a declarative vendor-independent graph query language built on the Tinkerpop software stack☆38Jun 8, 2026Updated last week
- Computing reachable states of dynamical systems in Julia☆214Jun 8, 2026Updated last week
- ☆28Aug 4, 2020Updated 5 years ago
- Fast cross-platform async network library☆17Nov 12, 2019Updated 6 years ago
- Fancy memoizing for expensive functions in Julia.☆18Feb 8, 2020Updated 6 years ago
- 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.
- Tool implementing Property Probes☆23Updated this week
- 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
- Simulation codes shown at the FortranCon 2021☆24Apr 12, 2024Updated 2 years ago
- ☆17May 2, 2026Updated last month
- Deprecated. Please use Git.jl instead: https://github.com/JuliaVersionControl/Git.jl☆22Mar 25, 2021Updated 5 years ago
- Alloy syntax highlighting for the "listings package" (Latex) (It follows MIT's Alloy environment color style)☆13Nov 13, 2019Updated 6 years ago
- [mirror] Download and verify Linux distribution installers/ISO images☆21Jun 10, 2026Updated last week