Examples and case-study that use OSATE
☆60Apr 15, 2025Updated last year
Alternatives and similar repositories for examples
Users that are interested in examples are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Library of AADL models☆47Nov 6, 2024Updated last year
- AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL☆77Mar 23, 2022Updated 4 years ago
- Open Source AADL2 Tool Environment☆57Updated this week
- ☆35May 8, 2019Updated 7 years ago
- Repository for FloripaSat Documentation☆19Dec 18, 2017Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS☆12Sep 22, 2022Updated 3 years ago
- Unified Maude model-checking tool☆13Jul 29, 2026Updated last month
- KTH's Timed C compiler☆19Jan 7, 2022Updated 4 years ago
- Implementation and evaluation data of the Concolic Walk heuristic for solving complex arithmetic path conditions.☆13Jul 11, 2014Updated 12 years ago
- SWORD: A Whole Program Race Detector for Java☆13Jan 30, 2021Updated 5 years ago
- An simple editor in pure Python-Qt binding for both PyQt5 and PySide2 to solve the problem that PySide2 lacks QScintilla bindings. This …☆12Feb 11, 2021Updated 5 years ago
- Tkinter Console Widget Class☆11Dec 25, 2017Updated 8 years ago
- The dataset in the paper "Detecting '0-Day' Vulnerability: An Empirical Study of Secret Security Patch in OSS", which appears in the 2019…☆14Aug 9, 2023Updated 3 years ago
- Toy Markdown Editor With Python & Tkinter☆12Jan 14, 2020Updated 6 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Concolic analysis tool for Java☆21Jul 17, 2023Updated 3 years ago
- Proof of Concept to learn Amaranth as an entry effort for Supercon's RTL design competition☆10Nov 11, 2022Updated 3 years ago
- Simple blockchain in Ada☆24Sep 11, 2025Updated last year
- An interactive (fast) static source code analyzer☆220May 30, 2026Updated 3 months ago
- Tool for learning linear temporal logic formulas using combinatorial approach☆13Jan 11, 2025Updated last year
- OpenGEODE - a free SDL State Machine editor for space applications...and more☆77Updated this week
- Template for debugging C++ applications in docker containers.☆13Mar 13, 2019Updated 7 years ago
- A meta-repository for the LooPy interactive program synthesizer☆18Mar 28, 2022Updated 4 years ago
- An Ada implementation of James Munns' BBQueue☆12Oct 17, 2025Updated 11 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- DARPA CASE program☆16Jun 10, 2025Updated last year
- Tools for Aard Dictionary☆14Nov 15, 2015Updated 10 years ago
- A first approach of getting a pure Ada program running on an FPGA with SaxonSOC☆10Apr 12, 2021Updated 5 years ago
- source code analysis workshop☆17Mar 7, 2021Updated 5 years ago
- generic C++ containers; matrix, triangle matrix, crs sparse matrix, etc.☆12Mar 23, 2018Updated 8 years ago
- Slides of Italian C++ Conference 2021☆10Jul 13, 2021Updated 5 years ago
- Microsoft Kinect Xbox one is a 3D camera which is widely used for robotics application. In this work, it is demonstrated how to wrap it u…☆11Jun 13, 2022Updated 4 years ago
- implementation of ideas from 'Neutaint: Efficient Dynamic Taint Analysis with Neural Networks'☆14Sep 17, 2019Updated 7 years ago
- DARPA's Automated Rapid Certification of Software (ARCOS) project called Rapid Assurance Curation Kit (RACK)☆23Mar 13, 2026Updated 6 months 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.
- An implementation of ROS 1.x on DDS☆38May 7, 2017Updated 9 years ago
- Prolog stuff☆27Jul 19, 2026Updated 2 months ago
- ☆13Sep 6, 2025Updated last year
- Museum-quality bit-archive storage management☆11Mar 25, 2026Updated 5 months ago
- For UBports Raspberry Pi Port head over to Gitlab☆12Feb 24, 2019Updated 7 years ago
- Model Driven Engineering for C++ (MDE4CPP)☆14Aug 12, 2026Updated last month
- Sirius Web: open-source low-code platform to define custom web applications supporting your specific visual languages☆131Updated this week