OpenAADL/polyorb-hi-c 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/polyorb-hi-c

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/polyorb-hi-c)

Close

OpenAADL / polyorb-hi-cView on GitHubMore

• External links
• Readme badge

PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS

☆12Sep 22, 2022Updated 3 years ago

Alternatives and similar repositories for polyorb-hi-c

Users that are interested in polyorb-hi-c 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
• travelping / pfcplib

  View on GitHub
  Erlang library for encoding and decoding Packet Forwarding Control Protocol (PFCP) frames.
  ☆13Jun 24, 2024Updated last year
• GaloisInc / LIMA

  View on GitHub
  LIMA: Language for Integrated Modeling and Analysis
  ☆12Sep 8, 2018Updated 7 years ago
• zertovitch / mathpaqs

  View on GitHub
  Mathpaqs: a collection of mathematical packages in pure Ada
  ☆13Feb 6, 2026Updated 3 weeks ago
• motionlayer / CANine

  View on GitHub
  Firmware, schematic and board drawings for the CANine USBC↔︎CAN adapter
  ☆13May 3, 2024Updated last year
• Feuerlabs / netlink

  View on GitHub
  netlink socket api
  ☆17Jun 5, 2019Updated 6 years ago
• jgrivera67 / make-with-ada

  View on GitHub
  Ada projects for Make-with-Ada
  ☆13Feb 18, 2026Updated last week
• damaki / DW1000

  View on GitHub
  A SPARK/Ada driver for the DecaWave DW1000 Ultra-Wideband tranceiver.
  ☆14Sep 25, 2019Updated 6 years ago
• AdaCore / PolyORB

  View on GitHub
  PolyORB provides a uniform solution to build distributed applications relying either on middleware standards
  ☆23Feb 17, 2026Updated 2 weeks ago
• reclone / kconfig-frontends-win32

  View on GitHub
  Linux Kernel configuration tools - Windows Port
  ☆18Dec 22, 2022Updated 3 years ago
• tschiemer / usbc-pd-fusb302-d

  View on GitHub
  Module for ONSEMI FUSB302-D (USB-C Controller) for PD negotiation using STM32 HAL
  ☆19Nov 23, 2020Updated 5 years ago
• anthony-arnold / AdaID

  View on GitHub
  An Ada Library for UUID generation.
  ☆16Dec 8, 2021Updated 4 years ago
• AdaCore / Robotics_with_Ada

  View on GitHub
  Robotics with Ada, ARM, and Lego
  ☆17Feb 10, 2024Updated 2 years ago
• esa / opengeode

  View on GitHub
  OpenGEODE - a free SDL State Machine editor for space applications...and more
  ☆76Apr 21, 2025Updated 10 months ago
• travelping / gtplib

  View on GitHub
  Erlang GTPv1/GTPv2 library
  ☆22Sep 16, 2025Updated 5 months ago
• samplecount / shake-language-c

  View on GitHub
  Cross-compilation framework based on the Shake Haskell library.
  ☆28Feb 9, 2021Updated 5 years ago
• AdaCore / win32ada

  View on GitHub
  Ada API to the Windows library
  ☆22Feb 3, 2026Updated 3 weeks ago
• Ada-France / aflex

  View on GitHub
  Aflex the Ada fast lexical analyser generator
  ☆18Jun 22, 2025Updated 8 months ago
• cubesatlab / cubedos

  View on GitHub
  A flight software framework in SPARK/Ada
  ☆55Nov 17, 2025Updated 3 months ago
• tomekw / simple_blockchain

  View on GitHub
  Simple blockchain in Ada
  ☆22Sep 11, 2025Updated 5 months ago
• Ada-France / ayacc

  View on GitHub
  Ayacc - An Ada LALR(1) parser generator
  ☆22Jun 22, 2025Updated 8 months ago
• AdaCore / xmlada

  View on GitHub
  The XML/Ada toolkit.
  ☆29Jan 26, 2026Updated last month
• stcarrez / ada-enet

  View on GitHub
  Ada Embedded Network Stack
  ☆24Dec 23, 2025Updated 2 months ago
• samer-- / prolog

  View on GitHub
  Prolog stuff
  ☆27Sep 1, 2019Updated 6 years ago
• tonyrog / beam

  View on GitHub
  BEAM emulator written in Erlang
  ☆47Jun 14, 2022Updated 3 years ago
• jscparker / math_packages

  View on GitHub
  Collection of basic math routines in Ada
  ☆27Oct 31, 2022Updated 3 years ago
• RTEMS / rtems-libbsd

  View on GitHub
  Mirror only see https://gitlab.rtems.org/rtems/pkg/rtems-libbsd
  ☆35Feb 24, 2026Updated last week
• nasa / VirtualADAPT

  View on GitHub
  ☆29Oct 14, 2017Updated 8 years ago
• OpenAADL / AADLib

  View on GitHub
  Library of AADL models
  ☆45Nov 6, 2024Updated last year
• msantos / ewpcap

  View on GitHub
  Portable native Erlang raw socket interface using pcap
  ☆32Jan 18, 2024Updated 2 years ago
• Kidev / AdaPhysics2D

  View on GitHub
  A 2D physics engine for Ada
  ☆16Feb 19, 2019Updated 7 years ago
• Sheikh-Rashdan / CTkSpinbox

  View on GitHub
  Spinbox extension for customtkinter (add-on)
  ☆10Jun 4, 2024Updated last year
• nasa / ECI

  View on GitHub
  CFS application framework for integrating external C code into the CFS environment
  ☆39Sep 4, 2022Updated 3 years ago
• cherry-embedded / CherrySH

  View on GitHub
  CherryShell is a tiny and multifunction shell specifically designed for embedded applications
  ☆54Jan 14, 2026Updated last month
• Fabien-Chouteau / eagle-lander

  View on GitHub
  Apollo 11 lunar lander simulator (Ada/Gtk/Cairo)
  ☆32Jul 26, 2020Updated 5 years ago
• thirdpin / libopencm3_cpp_extensions

  View on GitHub
  libopencm3 c++ wrappers
  ☆10Dec 25, 2020Updated 5 years ago
• kevinlang / plug_socket

  View on GitHub
  Add Cowboy websockets to your Plug.Router easily.
  ☆17Aug 25, 2021Updated 4 years ago
• abcamus / Designware-UHD3

  View on GitHub
  ☆11Sep 26, 2023Updated 2 years ago
• xmonader / pyparsec

  View on GitHub
  python parser combinators (parsec) library
  ☆11Oct 26, 2018Updated 7 years ago