sergey-worm/wrmos external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

sergey-worm/wrmos

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/sergey-worm/wrmos)

Close

sergey-worm / wrmosView on GitHubMore

• External links
• Readme badge

RTOS based on L4 microkernel.

☆17Sep 18, 2018Updated 7 years ago

Alternatives and similar repositories for wrmos

Users that are interested in wrmos are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• plctlab / plct-qemu

  View on GitHub
  PLCT实验室维护的QEMU仓库。代码放在 plct- 前缀的分支里。
  ☆30Sep 18, 2025Updated 6 months ago
• zeoneo / rpi-3b-wifi

  View on GitHub
  Raspberry Pi 3B (32 Bit) Bare Metal Wifi Driver
  ☆10Apr 8, 2023Updated 2 years ago
• konn / satysfi-steamer

  View on GitHub
  Steamer: presentation in SATySFi
  ☆14May 9, 2019Updated 6 years ago
• earlence / x86virtstudy

  View on GitHub
  x86 virtualization study notes using Intel VT-x
  ☆22Jan 3, 2014Updated 12 years ago
• trashvisor / Trashvisor

  View on GitHub
  The trashvisor
  ☆12Oct 25, 2020Updated 5 years ago
• tarao / lambda-scala

  View on GitHub
  Type level lambda calculus in Scala
  ☆33May 5, 2015Updated 10 years ago
• puripuri2100 / stjarticle

  View on GitHub
  SATySFi's package
  ☆13Sep 11, 2019Updated 6 years ago
• zlgopen / awtk-sylixos

  View on GitHub
  awtk port for sylixos
  ☆12Mar 8, 2020Updated 6 years ago
• jserv / codezero

  View on GitHub
  Codezero Microkernel
  ☆111Jan 30, 2026Updated last month
• unaoya / math_pdf

  View on GitHub
  ☆17Apr 6, 2021Updated 4 years ago
• oraccha / omicron

  View on GitHub
  Omicron Wiki
  ☆18Jan 15, 2013Updated 13 years ago
• richardmleggett / NanoOK

  View on GitHub
  Analysis tool for Nanopore sequencing data
  ☆11Apr 26, 2024Updated last year
• fetburner / Udon

  View on GitHub
  A Hobby implementation of ML
  ☆16Dec 19, 2015Updated 10 years ago
• egison / typed-egison

  View on GitHub
  ☆19Jan 29, 2019Updated 7 years ago
• coreutils / oss-fuzz

  View on GitHub
  OSS-Fuzz - continuous fuzzing of open source software
  ☆12Dec 2, 2016Updated 9 years ago
• takeharukato / sample-tsk-sw

  View on GitHub
  A Sample Operating System Kernel for Embedded Systems
  ☆14Jan 1, 2021Updated 5 years ago
• melody-notpond / owos-riscv

  View on GitHub
  Simple operating system for QEMU's virt board.
  ☆11Aug 25, 2021Updated 4 years ago
• smimram / strid

  View on GitHub
  A string diagram generator for LaTeX.
  ☆31Jun 27, 2023Updated 2 years ago
• Beluga-lang / Meta

  View on GitHub
  Mechanizing Types and Programming Languages using Beluga
  ☆21May 29, 2020Updated 5 years ago
• OhioIon / riftDriverPi

  View on GitHub
  Small USB HID driver to activate Oculus Rift CV1 as extended display on Raspberry Pi 4
  ☆15Jan 18, 2025Updated last year
• fritzprix / TachyOS

  View on GitHub
  Embedded OS for IoT
  ☆17May 12, 2021Updated 4 years ago
• wodowiesel / PiFunk

  View on GitHub
  PiFunk Radio Transmitter - with FM/AM-Modulation for HAM-Bands (CB 27 & PMR 446)
  ☆19Jan 26, 2026Updated last month
• boomlabs-web3 / learn-move

  View on GitHub
  This repository is for developers willing to learn move-language, aptos, or sui themselves.
  ☆11Nov 13, 2022Updated 3 years ago
• 64 / iris

  View on GitHub
  Spectral CPU path tracer
  ☆15Jan 7, 2025Updated last year
• jief123 / bedrockproxy

  View on GitHub
  Use Cloudfront to build a proxy for Bedrock to accelerate access from globally
  ☆15Nov 26, 2024Updated last year
• XUANTIE-RV / qemu

  View on GitHub
  Qemu for Xuantie RISC-V CPU, a generic machine emulator and virtualizer.
  ☆51Jul 30, 2025Updated 7 months ago
• Delikitty / Computer-Vision-16720-CMU

  View on GitHub
  ☆14Jul 30, 2017Updated 8 years ago
• leithaus / Rosette

  View on GitHub
  Reflective actor-based language
  ☆28Jan 2, 2017Updated 9 years ago
• aws-solutions-library-samples / guidance-for-high-speed-rag-chatbots-on-aws

  View on GitHub
  This Guidance demonstrates how to develop a high-performance Retrieval-Augmented Generation (RAG) chatbot by combining Amazon Aurora Post…
  ☆14Oct 19, 2024Updated last year
• mdenzel / self-healing_FreeRTOS

  View on GitHub
  A self-healing FreeRTOS based on ARM TrustZone
  ☆17May 11, 2024Updated last year
• edgarigl / tbm

  View on GitHub
  TBM Bare metal tests
  ☆18Jun 3, 2025Updated 9 months ago
• KernelAnalysisPlatform / kvalgrind

  View on GitHub
  Valgrind for kernel mode software.
  ☆26Jul 21, 2016Updated 9 years ago
• wrmlab / wrmos

  View on GitHub
  RTOS based on L4 microkernel.
  ☆18Sep 18, 2018Updated 7 years ago
• projectgnu / hurd

  View on GitHub
  ☆15Apr 15, 2015Updated 10 years ago
• cookiengineer / research

  View on GitHub
  Natural language interface prototype to browse the Web. This project and its learnings have evolved into the Tholian Stealth browser.
  ☆16Aug 20, 2021Updated 4 years ago
• abaez / perl

  View on GitHub
  Learning Perl
  ☆12Jul 2, 2012Updated 13 years ago
• jonlamb-gh / rpi4-rust-workspace

  View on GitHub
  Rust workspace for Raspberry Pi 4 bare metal things
  ☆22Jun 17, 2022Updated 3 years ago
• CoderionLabs / exoberry

  View on GitHub
  An exokernel for the raspberry pi 3.
  ☆82Nov 17, 2021Updated 4 years ago
• HITsz-TMG / Ext-Sub

  View on GitHub
  Official implementation of our paper "Separate the Wheat from the Chaff: Model Deficiency Unlearning via Parameter-Efficient Module Opera…
  ☆11Sep 20, 2024Updated last year