Alternatives and similar repositories for pico-rv32ima

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

• Mr-Bossman / pi-pico2-linux
  RISC-V linux on the raspberry pi pico 2
  ☆312Updated this week
• tvlad1234 / linux-ch32v003
  Linux on a $0.15 RISC-V microcontroller
  ☆270Updated 4 months ago
• raspiduino / arv32-opt
  Linux on Arduino UNO / atmega328p port of mini-rv32ima. Let's run Linux on one of the world's worst Linux PC
  ☆190Updated last year
• ESP32DE / Boot-Linux-ESP32S3-Playground
  This is a playground for the Boot Linux on ESP32-S3
  ☆412Updated last year
• xhackerustc / uc-rv32ima
  Run Linux on MCUs such as ESP32C3 with RISC-V emulator
  ☆124Updated last year
• dwelch67 / raspberrypi-pico
  Raspberry Pi pico baremetal examples
  ☆160Updated 3 years ago
• Wren6991 / Pico-DVI-Sock
  A DVI Sock board for Pico
  ☆222Updated 4 years ago
• davidgiven / FUZIX
  FuzixOS: Because Small Is Beautiful
  ☆133Updated 2 years ago
• jcmvbkbc / linux-xtensa
  Linux port for xtensa architecture. None of these branches are stable.
  ☆173Updated 2 weeks ago
• holysnippet / pico_eth_doc
  RP2040 Minimal hardware (PIO) Ethernet interface + LwIP TCP/IP stack driver
  ☆118Updated 3 years ago
• aappleby / picorvd
  GDB-compatible RISC-V Debugger for CH32V003 that runs on a Raspberry Pi Pico
  ☆239Updated 11 months ago
• lurk101 / pshell
  A tiny shell for Pico and Pico2, with file system, Vi and C compiler
  ☆303Updated last year
• phdussud / pico-dirtyJtag
  ☆395Updated 5 months ago
• bouffalolab / bl808_linux
  ☆130Updated 2 years ago
• polpo / rp2040-psram
  A header-only C library to allow access to SPI PSRAM via PIO on the RP2040 microcontroller.
  ☆182Updated 9 months ago
• maxnet / pico-webserver
  ☆105Updated 4 years ago
• wuxx / nanoCH32V203
  ☆94Updated 3 years ago
• stacksmashing / pico-serprog
  Flashrom/serprog compatible firmware for the Raspberry Pi Pico
  ☆259Updated last year
• raspberrypi / pico-bootrom-rp2040
  ☆304Updated 4 years ago
• Panda381 / PicoVGA
  VGA/TV display on Raspberry Pico
  ☆254Updated 3 months ago
• jbentham / picowi
  Standalone WiFi driver for the Pi Pico-W
  ☆106Updated 2 years ago
• carlk3 / no-OS-FatFS-SD-SDIO-SPI-RPi-Pico
  A FAT filesystem with SDIO and SPI drivers for SD card on Raspberry Pi Pico
  ☆220Updated 8 months ago
• ExtremeElectronics / PicoCray
  A system for running distributed code over multiple PI Picos
  ☆135Updated 2 years ago
• ambraglow / milkv-duo-ubuntu
  Ubuntu on the Milk-V Duo sbc
  ☆65Updated 2 years ago
• wagiminator / CH32V003-GameConsole
  Handheld RISC-V Mini Game Console with OLED Display
  ☆353Updated last year
• Nicolai-Electronics / rp2040-i2c-interface
  ☆249Updated last year
• cnlohr / rv003usb
  CH32V003 RISC-V Pure Software USB Controller
  ☆633Updated last month
• soundpaint / rp2040pio
  ☆288Updated 4 years ago
• jcmvbkbc / esp32-linux-build
  xtensa linux build scripts for the esp32s3 and esp32
  ☆160Updated last month
• openwch / ch32v003
  CH32V003 is an ultra-cheap RISC-V MCU with 2KB SRAM, 16KB flash, and up to 18 GPIOs that sells for under $0.10
  ☆530Updated 3 months ago