Alternatives and similar repositories for TachyOS

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

• olibc / olibc
  Another C Library optimized for Embedded Linux
  ☆60Updated 11 years ago
• metalab-projects / witOS
  A SM^2 (Smart and Small) RTOS for AIoT Devices.
  ☆29Updated 5 months ago
• blackberry / SpiderMonkey
  SpiderMonkey is Mozilla's JavaScript engine written in C/C++.
  ☆20Updated 13 years ago
• uli2k / ulios2
  A Micro Kernel Operating System
  ☆12Updated 5 years ago
• PKRoma / xrdp
  Remote desktop protocol (RDP) server—mirror of https://github.com/neutrinolabs/xrdp.git
  ☆13Updated 5 months ago
• gfwilliams / tinycc
  Hacked up version of the Tiny C Compiler with basic ARM Thumb output
  ☆27Updated 11 months ago
• raspberrypi / weston
  The Weston Wayland Compositor
  ☆40Updated 11 years ago
• littlekernel / lkuser
  framework for a simple user space for lk
  ☆24Updated 3 years ago
• x-y-z / armulator
  A emulator for ARM programs. Aim to run ARM programs in x86 platform. The project is originally on source forge, at sourceforge.net/proj…
  ☆27Updated 9 years ago
• wisepythagoras / dart
  A Unix/Linux like operating system
  ☆20Updated 5 years ago
• projectara / nuttx
  NuttX with Project Ara bridge ASIC and board support
  ☆32Updated 9 years ago
• junjiexing / libtcc_example
  ☆11Updated 10 years ago
• himanshugoel2797 / ApertureOS
  Toy Operating System
  ☆11Updated 9 years ago
• aejsmith / kboot
  KBoot boot loader
  ☆27Updated 9 months ago
• lucab85 / tree-for-FuchsiaOS
  Port of the popular "tree" utility to Google FuchsiaOS.
  ☆12Updated 8 years ago
• travisg / uefi
  uefi app/bootloader development sandbox
  ☆15Updated 9 years ago
• LudovicRousseau / libusbx
  A cross-platform user library providing access to USB devices
  ☆27Updated 7 years ago
• thingSoC / thingSoC
  thingSoC - Open Source Sockets for the Internet of Things
  ☆16Updated 8 years ago
• CenoOS / CenoOS-IOT
  CenoOS is a real time operating system for IOT devices from cenocloud.
  ☆18Updated 6 years ago
• embedded2015 / freertos-basic
  Basic integrated FreeRTOS
  ☆17Updated 10 years ago
• VigekWear / Vigekwear
  Atomwear is a micro, modularized, open source, wearable BLE device for DIYers. It makes any BLE(Bluetooth Low Energy) projects easier.
  ☆36Updated 9 years ago
• trevoraron / OpenSourceIntrusionTolerantSCADA
  A SCADA system that uses prime for intrusion tolerance. Using PVBrowser as an HMI
  ☆10Updated 10 years ago
• tinyos / nesc
  Master nesc repository
  ☆105Updated 6 years ago
• cloudwu / manualgc
  Automatically exported from code.google.com/p/manualgc
  ☆17Updated 10 years ago
• grant-h / uOS
  An in progress learning kernel for x86.
  ☆14Updated 8 years ago
• Tasssadar / kexec-tools
  kexec-tools with hardboot support for MultiROM
  ☆21Updated last year
• MiCode / mi1_kernel
  Kernel source code for MI 1/MI 1S series
  ☆45Updated 4 years ago
• ubports / android
  ☆14Updated 4 years ago
• jonsmirl / mpc5200
  Digispeaker
  ☆22Updated 4 years ago
• gurugio / caos
  Calcium OS project for x86_64
  ☆40Updated 7 years ago