Alternatives and similar repositories for pico-os

Users that are interested in pico-os are comparing it to the libraries listed below

• tvlad1234 / pico-rv32ima
  Running Linux on RP2040 with the help of RISC-V emulation
  ☆279Updated 2 weeks ago
• Mr-Bossman / pi-pico2-linux
  RISC-V linux on the raspberry pi pico 2
  ☆237Updated 8 months ago
• RetiredWizard / PyDOS
  DOS-like OS for microcontroller boards running Micropython or Circuitpython
  ☆157Updated this week
• Panda381 / PicoVGA
  VGA/TV display on Raspberry Pico
  ☆232Updated 2 years ago
• dwelch67 / raspberrypi-pico
  Raspberry Pi pico baremetal examples
  ☆143Updated 2 years ago
• lurk101 / pshell
  A tiny shell for Pico and Pico2, with file system, Vi and C compiler
  ☆284Updated 7 months ago
• raspberrypi / pico-playground
  ☆501Updated 4 months ago
• davidgiven / FUZIX
  FuzixOS: Because Small Is Beautiful
  ☆131Updated last year
• shane-mason / FicusOS
  Experiment with a low powered computer architecture.
  ☆57Updated 4 months ago
• fhoedemakers / pico-infonesPlus
  NES Emulator with SD card and menu support for the Raspberry PI Pico, Pico 2 and other RP2040/RP2350 based microcontrollers. Play your g…
  ☆362Updated this week
• carlk3 / no-OS-FatFS-SD-SPI-RPi-Pico
  A FAT filesystem with SPI driver for SD card on Raspberry Pi Pico
  ☆316Updated last year
• raspberrypi / pico-vscode
  The official VS Code extension for Raspberry Pi Pico development. It includes several features to simplify project creation and deploymen…
  ☆197Updated last week
• vxj9800 / bareMetalRP2040
  A detailed guide to bare metal (without Pico SDK) programming of the RP2040 microcontroller.
  ☆31Updated 2 weeks ago
• Neotron-Compute / Neotron-Pico
  A Neotron powered by the Raspberry Pi Pico
  ☆224Updated 3 months ago
• rgrosset / pico-pwm-audio
  Raspberry Pi Pico PWM Audio Project
  ☆112Updated 2 years ago
• tvlad1234 / linux-ch32v003
  Linux on a $0.15 RISC-V microcontroller
  ☆259Updated last year
• raspberrypi / pico-extras
  ☆536Updated 2 months ago
• jbentham / picowi
  Standalone WiFi driver for the Pi Pico-W
  ☆100Updated 2 years ago
• radio3-network / B3OS
  Arduino Operating System for ESP32
  ☆50Updated 3 months ago
• carlosftm / RPi-Pico-Baremetal
  RP2040 Raspberry Pi Pico Bare Metal code
  ☆91Updated 6 months ago
• daschr / pico-ssd1306
  Simple library for using ssd1306 displays with the Raspberry Pi Pico and the pico-sdk.
  ☆164Updated 11 months ago
• Apress / RP2040-Assembly-Language-Programming
  source code
  ☆82Updated 3 years ago
• rscott2049 / DECstation2040
  A RP2040 based DECstation emulator
  ☆196Updated 11 months ago
• pimoroni / picosystem
  PicoSystem libraries and examples.
  ☆161Updated 9 months ago
• raspberrypi / picotool
  ☆747Updated this week
• usedbytes / picowota
  A bootloader for OTA WiFi code upload to a Raspberry Pi Pico W
  ☆126Updated 11 months ago
• ESP32DE / Boot-Linux-ESP32S3-Playground
  This is a playground for the Boot Linux on ESP32-S3
  ☆375Updated 6 months ago
• rbirkby / picotetris
  Tetris on a Raspberry Pi Pico mounted on a Pimoroni Pico Explorer
  ☆43Updated 4 years ago
• slviajero / tinybasic
  A BASIC interpreter for Arduino, ESP, RP2040, STM32, Infineon XMC and POSIX with IoT and microcontroller features.
  ☆245Updated this week
• beryllium-org / OS
  Beryllium OS, a unix-like operating system for CircuitPython powered microcontrollers. (Formerly known as ljinux)
  ☆290Updated 3 months ago