Examples and case-study that use OSATE
☆56Apr 15, 2025Updated 10 months ago
Alternatives and similar repositories for examples
Users that are interested in examples are comparing it to the libraries listed below
Sorting:
- Library of AADL models☆45Nov 6, 2024Updated last year
- Open Source AADL2 Tool Environment☆51Updated this week
- AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL☆73Mar 23, 2022Updated 3 years ago
- Bare Metal demos using Ada and ravenscar runtimes☆22Apr 8, 2020Updated 5 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☆64Jan 30, 2018Updated 8 years ago
- Simple blockchain in Ada☆22Sep 11, 2025Updated 5 months ago
- ☆35May 8, 2019Updated 6 years ago
- Prolog stuff☆27Sep 1, 2019Updated 6 years ago
- A Data Mesh demo repository☆13Oct 10, 2024Updated last year
- ☆33Jun 19, 2015Updated 10 years ago
- homebridge smartthings plugin☆21Feb 17, 2026Updated last week
- An implementation of ROS 1.x on DDS☆38May 7, 2017Updated 8 years ago
- Model Driven Engineering for C++ (MDE4CPP)☆13Feb 18, 2026Updated last week
- ☆13Jan 17, 2022Updated 4 years ago
- Implements a simple "Wasp in the Box" algorithm for SmartThings☆11Feb 10, 2015Updated 11 years ago
- DEPRECATED: Element Hiding Helper extension for Adblock Plus☆11Dec 1, 2017Updated 8 years ago
- Synchronizable PBKDF2 based password generator☆14Dec 31, 2016Updated 9 years ago
- Custom, Open-Source firmware for the Brewie B20+ (and maybe B20)☆11Nov 24, 2022Updated 3 years ago
- ☆11Jan 3, 2021Updated 5 years ago
- PassDock public issue tracker.☆23Nov 11, 2014Updated 11 years ago
- Common code, such as validators and mixins, that are shared between ActiveModels in metasploit-framework and ActiveRecords in metasploit_…☆14May 2, 2025Updated 9 months ago
- Collection of composable, simple, and hopefully useful scripts.☆11Jul 7, 2024Updated last year
- An interactive (fast) static source code analyzer☆183Jan 8, 2026Updated last month
- Recipes for using the SysML v2 API☆52Mar 10, 2025Updated 11 months ago
- sharing eventfd's across unrelated processes with libancillary☆49Aug 5, 2021Updated 4 years ago
- A plugin for using Randoop in Maven☆10Oct 29, 2021Updated 4 years ago
- Models for authenticated key exchange in Tamarin☆12Oct 9, 2019Updated 6 years ago
- A Docker-based environment for testing the DWPP Nav2 plugin☆22Jan 26, 2026Updated last month
- A measurement archive for collecting time series metrics from networks.☆10Sep 16, 2025Updated 5 months ago
- Drop-in for ⍎ to execute arbitrary APL code safely☆11Updated this week
- ☆13Jan 23, 2025Updated last year
- DSLs for modeling and analyzing farming systems☆12May 4, 2017Updated 8 years ago
- Ecto extensions to support auditing data changes in your Schema.☆10Dec 4, 2017Updated 8 years ago
- Package implements a number local outlier factor algorithms for outlier detection and finding anomalous data☆12Jun 7, 2017Updated 8 years ago
- Overleaf symbol-recognition extension☆12Dec 27, 2021Updated 4 years ago
- various scripts and tools☆13Nov 23, 2025Updated 3 months ago
- Scraping bhinneka.com, just for fun☆14Jan 28, 2013Updated 13 years ago
- This tool convert qucs .sch files to kicad .sch files☆15Oct 11, 2011Updated 14 years ago