Library of AADL models
☆45Nov 6, 2024Updated last year
Alternatives and similar repositories for AADLib
Users that are interested in AADLib are comparing it to the libraries listed below
Sorting:
- AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL☆73Mar 23, 2022Updated 3 years ago
- Examples and case-study that use OSATE☆56Apr 15, 2025Updated 10 months ago
- AADL models for the Crazyflie UAV -- OMSCS Class CS7639☆11Mar 22, 2020Updated 5 years ago
- Open Source AADL2 Tool Environment☆51Updated this week
- PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS☆12Sep 22, 2022Updated 3 years ago
- GUI toolkit for Ada using OpenGL☆15Jan 17, 2013Updated 13 years ago
- OpenGL GUI toolkit library for Ada☆27Feb 15, 2013Updated 13 years ago
- Bare Metal demos using Ada and ravenscar runtimes☆22Apr 8, 2020Updated 5 years ago
- Simple blockchain in Ada☆22Sep 11, 2025Updated 5 months ago
- Arduino PBOC Library using MFRC522☆11Jul 27, 2017Updated 8 years ago
- ☆29Oct 14, 2017Updated 8 years ago
- homebridge smartthings plugin☆21Feb 17, 2026Updated last week
- ☆11Mar 14, 2023Updated 2 years ago
- EMVLogger is an open-source tool for testing and analyzing EMV chip cards and transaction logs using a comprehensive EMV Kernel Library. …☆13Jun 15, 2024Updated last year
- ☆13Jan 8, 2020Updated 6 years ago
- The Ada Microkernel Project☆116May 13, 2015Updated 10 years ago
- Ada Bare Bones OS development tutorial source code☆90Nov 20, 2016Updated 9 years ago
- Synchronizable PBKDF2 based password generator☆14Dec 31, 2016Updated 9 years ago
- Implements a simple "Wasp in the Box" algorithm for SmartThings☆11Feb 10, 2015Updated 11 years ago
- Digital control and signal processing library for DSPs developed in C☆11Aug 31, 2024Updated last year
- Encoders and Decoders for RF and IR protocols used for remote control and data acquisition. Both Encoders and Decoders can be supplied as…☆13Jul 29, 2017Updated 8 years ago
- Mathematics.NET is a C# class library that provides tools for solving advanced mathematical problems.☆16Feb 20, 2026Updated last week
- KCP - A Fast and Reliable ARQ Protocol A KCP implementation in Erlang☆10Mar 15, 2019Updated 6 years ago
- Implementation of a Systolic Array based sorting engine on an FPGA using Verilog☆11May 11, 2017Updated 8 years ago
- Custom, Open-Source firmware for the Brewie B20+ (and maybe B20)☆11Nov 24, 2022Updated 3 years ago
- MBD FOC control using a SMO observer based on microchip model.☆10Apr 28, 2023Updated 2 years ago
- Device types and SmartApps written for the SmartThings home automation system.☆11Jun 3, 2014Updated 11 years ago
- Artifact associated with CHES 2022 paper https://tches.iacr.org/index.php/TCHES/article/view/9817☆12Nov 10, 2023Updated 2 years ago
- sharing eventfd's across unrelated processes with libancillary☆49Aug 5, 2021Updated 4 years ago
- Erlang interface for controlling Unix processes☆15May 28, 2023Updated 2 years ago
- ☆14Dec 2, 2021Updated 4 years ago
- Open Avionics Architecture Model☆11Sep 15, 2021Updated 4 years ago
- threadstack, ergonomic library for thread local stacks☆11Mar 5, 2021Updated 4 years ago
- This repo contains the source code for https://pest.rs☆13Feb 1, 2026Updated last month
- Drop-in for ⍎ to execute arbitrary APL code safely☆11Updated this week
- ☆12Dec 28, 2022Updated 3 years ago
- Sharp Aquos IP Remote for SmartThings☆10Oct 21, 2015Updated 10 years ago
- Learning playground for Argus-SAF☆10Dec 27, 2018Updated 7 years ago
- Libraries for declaring and using type-level values.☆11Mar 28, 2019Updated 6 years ago