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
  AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
  ☆72Updated 3 years ago
• AdaCore / gnatcoverage
  GNATcoverage: Coverage Analysis Tool
  ☆43Updated this week
• RTEMS / rtems-source-builder
  Mirror only see https://gitlab.rtems.org/rtems/tools/rtems-source-builder
  ☆40Updated last week
• google / dtask
  DTask is a scheduler for statically dependent tasks.
  ☆27Updated 7 years ago
• RTEMS / rtems-tools
  Mirror only see https://gitlab.rtems.org/rtems/tools/rtems-tools
  ☆34Updated last month
• zephyrproject-rtos / littlefs
  littlefs module for Zephyr, not a mirror of the official littlefs repository
  ☆19Updated 5 months ago
• tonyrog / uart
  serial com api
  ☆38Updated 4 years ago
• zephyrproject-rtos / fatfs
  This implementation of file system is developed by ELM Chan
  ☆16Updated this week
• RTEMS / rtems-docs
  Mirror only see https://gitlab.rtems.org/rtems/docs/rtems-docs/
  ☆10Updated 2 weeks ago
• AdaCore / Robotics_with_Ada
  Robotics with Ada, ARM, and Lego
  ☆17Updated last year
• RTEMS / rtems-libbsd
  Mirror only see https://gitlab.rtems.org/rtems/pkg/rtems-libbsd
  ☆35Updated last week
• cjlano / tinysh
  tinysh: minimal shell
  ☆30Updated 13 years ago
• esa / opengeode
  OpenGEODE - a free SDL State Machine editor for space applications...and more
  ☆76Updated 6 months ago
• oosmos / oosmos
  OOSMOS - The Object Oriented State Machine Operating System.
  ☆68Updated last year
• mdepx / mdepx
  MDX — A bare-metal / RTOS framework
  ☆28Updated last week
• riscv-mcu / riscv-gnu-toolchain
  GNU toolchain for RISC-V, including GCC. Tweaked for microcontrollers.
  ☆33Updated last month
• BabbleSim / base
  BabbleSim base/common components. Any BabbleSim user will want some of these.
  ☆17Updated last week
• jgrivera67 / make-with-ada
  Ada projects for Make-with-Ada
  ☆13Updated 4 years ago
• AdaCore / PolyORB
  PolyORB provides a uniform solution to build distributed applications relying either on middleware standards
  ☆22Updated this week
• AdaCore / bb-runtimes
  Source repository for the GNAT Bare Metal BSPs
  ☆68Updated last week
• jgrivera67 / HiRTOS
  HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada
  ☆43Updated 2 months ago
• litex-hub / zephyr-on-litex-vexriscv
  ☆15Updated 3 months ago
• AdaCore / OPAVES
  Open Platform for Autonomous VEhicle Systems
  ☆22Updated 7 years ago
• tum-ei-rcs / StratoX
  Flight stack for an unmanned fixed-wing weather glider.
  ☆15Updated 8 years ago
• djboni / librertos
  LibreRTOS C/C++ Portable Single-Stack RTOS
  ☆42Updated last year
• sony / openocd-nuttx
  Fork of OpenOCD with NuttX thread support.
  ☆24Updated 6 years ago
• stcarrez / ada-enet
  Ada Embedded Network Stack
  ☆24Updated 4 months ago
• reclone / kconfig-frontends-win32
  Linux Kernel configuration tools - Windows Port
  ☆18Updated 2 years ago
• tomekw / simple_blockchain
  Simple blockchain in Ada
  ☆21Updated last month
• DreamSourceLab / DSLogic-wireless
  An open source Arduino library for DSLogic wireless module
  ☆27Updated 11 years ago