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☆56Updated this week
- A Tool-Chain for Quantitative Evaluation of Uncertainty-Aware Hybrid AADL Designs☆11Apr 28, 2017Updated 9 years ago
- A wrapper-library that makes FreeRTOS much easier to use. Created for ESP32.☆20Dec 25, 2025Updated 7 months ago
- 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.
- Bare Metal demos using Ada and ravenscar runtimes☆22Apr 8, 2020Updated 6 years ago
- PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS☆12Sep 22, 2022Updated 3 years ago
- EMF-based Fault-Tree Analysis Tool☆63Jan 30, 2018Updated 8 years ago
- JoanAudit - A security slicing tool that helps security auditors to perform their security auditing tasks more efficiently☆10Sep 6, 2017Updated 8 years ago
- DSLs for modeling and analyzing farming systems☆12May 4, 2017Updated 9 years ago
- some personal experiments with Xtext2☆12Apr 19, 2014Updated 12 years ago
- An ARM decompiler converts ARM code to a ready to compile C code. Project was done as a 3rd Semester project.☆15Jun 15, 2022Updated 4 years ago
- OCR application for Sailfish OS. Based on Tesseract OCR engine and Leptonica image processing library.☆21Feb 28, 2017Updated 9 years ago
- Proof of Concept to learn Amaranth as an entry effort for Supercon's RTL design competition☆10Nov 11, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- An example of implementing adversarial discriminative domain adaptation on captcha dataset by using keras☆11Feb 6, 2018Updated 8 years ago
- An interactive (fast) static source code analyzer☆197May 30, 2026Updated 2 months ago
- Tool for learning linear temporal logic formulas using combinatorial approach☆13Jan 11, 2025Updated last year
- dijkstra algorithm optimized with heap☆14Dec 20, 2018Updated 7 years ago
- Template for debugging C++ applications in docker containers.☆13Mar 13, 2019Updated 7 years ago
- OpenGEODE - a free SDL State Machine editor for space applications...and more☆76Jun 28, 2026Updated last month
- This project relies on ROS Toolbox functionality to provide basic integration of Simulink® targets, with focus on Simulink Real-Time™ and…☆12Nov 7, 2023Updated 2 years ago
- A python layer to interface with several SMTLIBv2 enabled SMT solvers☆16Apr 22, 2015Updated 11 years ago
- Applies diffs based on context, not line numbers. Useful for AI-generated code.☆20Jun 2, 2026Updated 2 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆19Mar 22, 2026Updated 4 months ago
- An Ada implementation of James Munns' BBQueue☆11Oct 17, 2025Updated 9 months ago
- DARPA CASE program☆16Jun 10, 2025Updated last year
- ☆13Jan 17, 2022Updated 4 years ago
- All materials related to GNN☆13Jan 4, 2023Updated 3 years ago
- A first approach of getting a pure Ada program running on an FPGA with SaxonSOC☆10Apr 12, 2021Updated 5 years ago
- simplest online-softmax notebook for explain Flash Attention☆18Jan 27, 2026Updated 6 months 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
- 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.
- implementation of ideas from 'Neutaint: Efficient Dynamic Taint Analysis with Neural Networks'☆14Sep 17, 2019Updated 6 years ago
- Repository for Ubuntu Touch Programming Course☆13Dec 9, 2017Updated 8 years ago
- An implementation of ROS 1.x on DDS☆38May 7, 2017Updated 9 years ago
- Prolog stuff☆27Jul 19, 2026Updated 3 weeks ago
- ☆12Sep 6, 2025Updated 11 months ago
- For UBports Raspberry Pi Port head over to Gitlab☆12Feb 24, 2019Updated 7 years ago
- A Modelica connection editor for OpenModelica.☆35Apr 2, 2019Updated 7 years ago