Skip to content

@RTOSNexus RTOSNexus

Change the repository type filter

All

    Repositories list

    32 repositories

    • copilot

      Public
      A stream-based runtime-verification framework for generating hard real-time C code.
      Haskell
      •53•0•0•0•Updated Sep 8, 2024Sep 8, 2024

    • RIOT

      Public
      RIOT - The friendly OS for IoT
      C
      •
      GNU Lesser General Public License v2.1
      •2k•0•0•0•Updated Aug 28, 2024Aug 28, 2024

    • rt-thread

      Public
      RT-Thread is an open source IoT Real-Time Operating System (RTOS).
      C
      •
      Apache License 2.0
      •5k•0•0•0•Updated Aug 28, 2024Aug 28, 2024

    • MuditaOS

      Public
      Mobile operating system based on FreeRTOS™ optimized for E Ink displays - developed for Mudita Pure minimalist phone
      C
      •
      Other
      •69•0•0•0•Updated Aug 28, 2024Aug 28, 2024

    • nuttx

      Public
      Apache NuttX is a mature, real-time embedded operating system (RTOS)
      C
      •
      Apache License 2.0
      •1.1k•0•0•0•Updated Aug 28, 2024Aug 28, 2024

    • embox

      Public
      Modular and configurable OS for embedded applications
      C
      •
      BSD 2-Clause "Simplified" License
      •270•0•0•0•Updated Aug 27, 2024Aug 27, 2024

    • tock

      Public
      A secure embedded operating system for microcontrollers
      Rust
      •
      Other
      •692•0•0•0•Updated Aug 27, 2024Aug 27, 2024

    • ChibiOS

      Public
      Read only mirror of SVN ChibiOS repository at https://sourceforge.net/projects/chibios/
      C
      •
      GNU General Public License v3.0
      •462•0•0•0•Updated Aug 27, 2024Aug 27, 2024

    • TizenRT

      Public
      TizenRT is a lightweight RTOS-based platform to support low-end IoT devices
      C
      •
      Apache License 2.0
      •572•0•0•0•Updated Aug 27, 2024Aug 27, 2024

    • mbed-os

      Public
      Arm Mbed OS is a platform operating system designed for the internet of things
      C
      •
      Other
      •3k•0•0•0•Updated Aug 26, 2024Aug 26, 2024

    • qpc

      Public
      QP/C Real-Time Embedded Framework/RTOS for embedded systems based on active objects (actors) and hierarchical state machines
      C
      •251•0•0•0•Updated Aug 16, 2024Aug 16, 2024

    • lk

      Public
      LK embedded kernel
      C
      •
      MIT License
      •621•0•0•0•Updated Aug 13, 2024Aug 13, 2024

    • breadboard-os

      Public
      A firmware platform aimed at quick prototyping, built around FreeRTOS and a feature-packed CLI
      C
      •
      MIT License
      •22•0•0•0•Updated Jul 22, 2024Jul 22, 2024

    • micro-os-plus-iii

      Public
      The portable part of µOS++ IIIe (an xpm/npm package)
      C
      •
      MIT License
      •17•0•0•0•Updated Jul 19, 2024Jul 19, 2024

    • threadx

      Public
      Eclipse ThreadX is an advanced real-time operating system (RTOS) designed specifically for deeply embedded applications.
      C
      •
      MIT License
      •789•0•0•0•Updated Jul 15, 2024Jul 15, 2024

    • rnk

      Public
      rnk is a RTOS targeting ARM architecture.
      C
      •
      MIT License
      •6•0•0•0•Updated Jul 12, 2024Jul 12, 2024

    • rtos-abstraction-layer

      Public
      An abstraction layer for Real Time Operating Systems
      BSD 3-Clause "New" or "Revised" License
      •1•0•0•0•Updated Jul 12, 2024Jul 12, 2024

    • scmrtos

      Public
      scmRTOS embedded operating system
      C++
      •
      MIT License
      •51•0•0•0•Updated Jun 18, 2024Jun 18, 2024

    • distortos

      Public
      object-oriented C++ RTOS for microcontrollers
      C++
      •
      Mozilla Public License 2.0
      •67•0•0•0•Updated Jun 16, 2024Jun 16, 2024

    • StratifyOS

      Public
      A Powerful embedded RTOS for ARM Cortex M microcontrollers
      C
      •
      Other
      •23•0•0•0•Updated Jun 7, 2024Jun 7, 2024

    • trampoline

      Public
      Trampoline is a static RTOS for small embedded systems. Its API is aligned with OSEK/VDX OS and AUTOSAR OS 4.2 standards.
      C
      •
      GNU General Public License v2.0
      •269•0•0•0•Updated May 28, 2024May 28, 2024

    • uC-OS3

      Public
      µC/OS-III is a preemptive, highly portable, and scalable real-time kernel. Designed for ease of use on a huge number of CPU architectures.
      C
      •
      Apache License 2.0
      •320•0•0•0•Updated May 16, 2024May 16, 2024

    • ka9q-nos

      Public
      KA9Q Network Operating System
      C
      •9•0•0•0•Updated Oct 24, 2023Oct 24, 2023

    • qortos

      Public
      Quite Ok RTOS - tickless, minimal, 500 lines of code, 7 functions
      C
      •
      MIT License
      •1•0•0•0•Updated Aug 8, 2023Aug 8, 2023

    • r3

      Public
      R3-OS — Experimental static (μITRON-esque) RTOS for deeply embedded systems, testing the limit of Rust's compile-time evaluation and generics
      Rust
      •
      Apache License 2.0
      •8•0•0•0•Updated Apr 22, 2023Apr 22, 2023

    • dandelion

      Public
      🌀 Microkernel Real-Time Operating System in Rust
      Rust
      •
      Other
      •5•0•0•0•Updated Apr 11, 2023Apr 11, 2023

    • uC-OS2

      Public
      µC/OS-II is a preemptive, highly portable, and scalable real-time kernels. Designed for ease of use on a huge number of CPU architectures.
      C
      •
      Apache License 2.0
      •202•0•0•0•Updated Jan 5, 2023Jan 5, 2023

    • Helios-NG

      Public
      Breathing new live in Helios, an OS from the 90's
      C
      •
      GNU General Public License v3.0
      •15•0•0•0•Updated Dec 6, 2021Dec 6, 2021

    • RTOS_Cortex-M4

      Public
      Custom Real Time Operating System for NXP microcontrollers with ARM Cortex-M4
      C
      •2•0•0•0•Updated Apr 24, 2021Apr 24, 2021

    • nOS

      Public
      RTOS for microcontrollers
      C
      •
      Mozilla Public License 2.0
      •46•0•0•0•Updated Dec 2, 2020Dec 2, 2020