The Overture Tool
☆50Nov 26, 2025Updated 6 months ago
Alternatives and similar repositories for overture
Users that are interested in overture are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A formal model of the FMI specification in VDM☆14Jul 28, 2025Updated 9 months ago
- Emacs flycheck/flymake java syntax checker.☆16Jul 15, 2014Updated 11 years ago
- Core OpenMETA Framework☆28Mar 1, 2023Updated 3 years ago
- This project provides a model-driven engineering workbench for CAEX.☆10Feb 2, 2023Updated 3 years ago
- Shell script for upgrading textile posts to markdown.☆11Mar 31, 2016Updated 10 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Free library for interfacing hardware drivers to Modelica models. There is support for joysticks, keyboards, UDP, TCP/IP, LCM, MQTT, shar…☆89Sep 16, 2025Updated 8 months ago
- Open-source implementation of the Action Language for fUML (Alf) specification.☆33Mar 28, 2023Updated 3 years ago
- Website of System Structure and Parameterization (SSP) of components for virtual system design standard☆14May 5, 2026Updated 3 weeks ago
- Android calendar <-> org mode☆14Apr 24, 2025Updated last year
- MetaMorph extensions to OpenMETA (meta-core)☆21Apr 1, 2023Updated 3 years ago
- Software Language Processing Suite☆48Dec 3, 2021Updated 4 years ago
- A course in numerical methods with Python for engineers and scientists: currently 5 learning modules, with student assignments.☆10Dec 6, 2017Updated 8 years ago
- The OpenModelica FMI & SSP-based co-simulation environment.☆92May 8, 2026Updated 2 weeks ago
- Social graphs for ERC☆15May 8, 2015Updated 11 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆17May 13, 2026Updated 2 weeks ago
- MDEForge is an extensible modeling framework specifically conceived to support for discovery and reuse of existing modeling artefacts. MD…☆25Dec 16, 2022Updated 3 years ago
- Quickly go to a specific parent directory in eshell☆36Feb 26, 2024Updated 2 years ago
- Functions for working with Jalaali (Jalali, Persian, Khayyami, Khorshidi, Shamsi) calendar systems.☆10Nov 14, 2020Updated 5 years ago
- A python library for ngspice☆15Apr 13, 2026Updated last month
- OMOptim is an optimization software for Modelica models.☆22Apr 29, 2026Updated 3 weeks ago
- <엔지니어를 위한 파이썬> 리포지토리☆13Mar 4, 2019Updated 7 years ago
- Verified Boot for RPi3☆15Nov 16, 2021Updated 4 years ago
- IEEE Taxonomy in RDF (with Python tool for converting it from txt to rdf)☆13Dec 22, 2025Updated 5 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Documentation, backgrounders and tutorial material related to information design, engineering, semantics, ontologies, and vocabularies☆17May 22, 2023Updated 3 years ago
- A react hook for uploading large files that need chunking.☆11Oct 9, 2022Updated 3 years ago
- Small library made as final project for the course Modeling and Simulation of Cyber-Physical Systems.☆14Oct 24, 2019Updated 6 years ago
- Compute Blade main repository☆27Sep 2, 2024Updated last year
- 구글로 공부하는 파이썬☆13Sep 23, 2019Updated 6 years ago
- Ansible lookup plugin for pass (https://www.passwordstore.org).☆12Mar 1, 2021Updated 5 years ago
- Automatically interact with SVG charts.☆19Sep 23, 2025Updated 8 months ago
- Transform git repos into RDF☆13Nov 5, 2022Updated 3 years ago
- ☆13Oct 10, 2018Updated 7 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.
- Recursive directory encryption with GnuPG☆22Jul 5, 2018Updated 7 years ago
- Fine-track `org-agenda-files` to speed-up `org-agenda`☆16Dec 18, 2023Updated 2 years ago
- Persian stopwords collection☆14Oct 10, 2016Updated 9 years ago
- ☆11Mar 26, 2018Updated 8 years ago
- Set of tools to provide automation of tasks for creating STIG-partitioned EL8 AMIs☆10May 18, 2026Updated last week
- Files for my Heliostat project☆16Oct 12, 2025Updated 7 months ago
- Smart quotes minor mode for GNU Emacs☆23Dec 8, 2022Updated 3 years ago