OpenAADL/AADLib external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

OpenAADL/AADLib

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/OpenAADL/AADLib)

Close

OpenAADL / AADLibView on GitHubMore

• External links
• Readme badge

Library of AADL models

☆46Nov 6, 2024Updated last year

Alternatives and similar repositories for AADLib

Users that are interested in AADLib are comparing it to the libraries listed below

• OpenAADL / ocarina

  View on GitHub
  AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
  ☆73Mar 23, 2022Updated 3 years ago
• OpenAADL / Crazyflie

  View on GitHub
  AADL models for the Crazyflie UAV -- OMSCS Class CS7639
  ☆11Mar 22, 2020Updated 5 years ago
• osate / examples

  View on GitHub
  Examples and case-study that use OSATE
  ☆57Apr 15, 2025Updated 11 months ago
• karakalo / old-lumen

  View on GitHub
  GUI toolkit for Ada using OpenGL
  ☆15Jan 17, 2013Updated 13 years ago
• GeertBellekens / Enterprise-Architect-Shapescript-Library

  View on GitHub
  Library with shapescripts for Enterprise Architect from Sparx Systems
  ☆25Mar 14, 2025Updated last year
• OpenAADL / polyorb-hi-c

  View on GitHub
  PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS
  ☆12Sep 22, 2022Updated 3 years ago
• karakalo / lumen

  View on GitHub
  OpenGL GUI toolkit library for Ada
  ☆28Feb 15, 2013Updated 13 years ago
• AFifarek / SpeAR

  View on GitHub
  Specification and Analysis for Requirements Tool
  ☆10Mar 31, 2016Updated 9 years ago
• cubieboard / linux-sdk-kernel-source

  View on GitHub
  linux-sdk-kernel-source for a10&a20
  ☆11Feb 24, 2018Updated 8 years ago
• ssube / prometheus_express

  View on GitHub
  Prometheus SDK for CircuitPython/MicroPython boards
  ☆18Oct 11, 2024Updated last year
• D0ub1ePieR / RawSocketPortScan

  View on GitHub
  利用connect、tcpsyn、tcpfin、udp实现端口扫描，使用socket
  ☆11Jul 17, 2020Updated 5 years ago
• bobatkey / sorting-types

  View on GitHub
  Typed DSLs for sorting
  ☆20Feb 16, 2018Updated 8 years ago
• kernkonzept / uvmm

  View on GitHub
  Virtual machine monitor for L4Re
  ☆34Mar 13, 2026Updated last week
• Lucretia / tamp

  View on GitHub
  The Ada Microkernel Project
  ☆116May 13, 2015Updated 10 years ago
• tomekw / simple_blockchain

  View on GitHub
  Simple blockchain in Ada
  ☆22Sep 11, 2025Updated 6 months ago
• Kidev / AdaPhysics2D

  View on GitHub
  A 2D physics engine for Ada
  ☆16Feb 19, 2019Updated 7 years ago
• troglobit / toolbox

  View on GitHub
  Troglobit Toolbox -- Misc. home brewed code, free to use under GPL/MIT/ISC, see each snippet for license.
  ☆10May 18, 2025Updated 10 months ago
• jashmenn / postgraphile-upsert-plugin

  View on GitHub
  ☆13Sep 28, 2020Updated 5 years ago
• zertovitch / mathpaqs

  View on GitHub
  Mathpaqs: a collection of mathematical packages in pure Ada
  ☆13Feb 6, 2026Updated last month
• aialvi / tailwind-nextjs-landing-page

  View on GitHub
  Simple landing page built with Tailwind CSS and Next.js
  ☆11May 18, 2022Updated 3 years ago
• Baoyx007 / aadl2uppaal

  View on GitHub
  A Tool-Chain for Quantitative Evaluation of Uncertainty-Aware Hybrid AADL Designs
  ☆11Apr 28, 2017Updated 8 years ago
• montanaflynn / palindromes

  View on GitHub
  Finding palindromes in a dictionary with various programming languages
  ☆11Nov 7, 2018Updated 7 years ago
• SuburbiaXX / NUAA-OS

  View on GitHub
  NUAA操作系统实验课
  ☆10Jun 23, 2023Updated 2 years ago
• loopspace / mathgrep

  View on GitHub
  A perl script for searching and replacing in mathematics in LaTeX documents.
  ☆13Jul 21, 2021Updated 4 years ago
• Helmut-Ortmann / EnterpriseArchitect_hoTools

  View on GitHub
  Addin with Tools for SPARX Enterprise Architect
  ☆41Dec 5, 2025Updated 3 months ago
• fold-lang / pratt

  View on GitHub
  Top down operator precedence parser (also known as Pratt parser) implementation for OCaml. (Unreleased)
  ☆11Feb 27, 2018Updated 8 years ago
• thearistotlemethod / EMVLogger

  View on GitHub
  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
• pchapin / thumper

  View on GitHub
  A secure timestamp client/server
  ☆23May 16, 2022Updated 3 years ago
• pok-kernel / pok

  View on GitHub
  POK kernel. Safe and secure for safety-critical systems.
  ☆113Jan 26, 2026Updated last month
• Sleepychord / pboc-arduino

  View on GitHub
  Arduino PBOC Library using MFRC522
  ☆11Jul 27, 2017Updated 8 years ago
• contentful / slash-developers

  View on GitHub
  THIS REPOSITORY IS DEPRECATED. Please do not open new PRs or issues.
  ☆13Sep 10, 2018Updated 7 years ago
• Lucretia / bare_bones

  View on GitHub
  Ada Bare Bones OS development tutorial source code
  ☆90Nov 20, 2016Updated 9 years ago
• ComplexAvionicsSystems / OAAM

  View on GitHub
  Open Avionics Architecture Model
  ☆11Sep 15, 2021Updated 4 years ago
• loganchien / opencl-examples

  View on GitHub
  ☆13Jan 17, 2022Updated 4 years ago
• 1372484434 / WebServer-with-ChatGPT

  View on GitHub
  C++高性能服务器搭建ChatGPT以及调用摄像头实时显示画面
  ☆18Mar 8, 2024Updated 2 years ago
• cellgeometry / heteromotility

  View on GitHub
  Quantitative analysis of cell motility behaviors
  ☆13Feb 21, 2025Updated last year
• lambourg / Ada_Bare_Metal_Demos

  View on GitHub
  Bare Metal demos using Ada and ravenscar runtimes
  ☆22Apr 8, 2020Updated 5 years ago
• rbonvall / snipmate-snippets-bib

  View on GitHub
  Snipmate.vim support for BibTeX files
  ☆14May 3, 2012Updated 13 years ago
• fgarcia / agtd

  View on GitHub
  Almighty GTD File for Vim
  ☆12Mar 31, 2012Updated 13 years ago