Alternatives and similar repositories for tilck

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

• HelenOS / helenos
  A portable microkernel-based multiserver operating system written from scratch.
  ☆1,479Updated 3 weeks ago
• managarm / managarm
  Pragmatic microkernel-based OS with fully asynchronous I/O
  ☆1,697Updated last week
• LemonOSProject / LemonOS
  The Lemon Operating System
  ☆1,276Updated 7 months ago
• brutal-org / brutal
  🏢 An operating system inspired by brutalist design that combines the ideals of UNIX from the 1970s with modern technology and engineerin…
  ☆1,080Updated last year
• skift-org / skift
  🥑 A modern delightful operating system
  ☆2,449Updated 2 weeks ago
• o-oconnell / minixfromscratch
  Development and compilation setup for the book versions of MINIX (2.0.0 and 3.1.0) on QEMU
  ☆1,247Updated 2 years ago
• LekKit / RVVM
  The RISC-V Virtual Machine
  ☆1,068Updated 2 weeks ago
• Supercip971 / WingOS
  a little 64bit operating system written in c++ with smp support
  ☆771Updated 3 months ago
• opuntiaOS-Project / opuntiaOS
  opuntiaOS - an operating system targeting x86, ARM and RISC-V.
  ☆669Updated 2 years ago
• ozkl / soso
  A Simple Unix-like operating system
  ☆942Updated 2 weeks ago
• managarm / mlibc
  Portable C standard library
  ☆965Updated this week
• FastVM / minivm
  A VM That is Dynamic and Fast
  ☆1,640Updated last month
• mikaku / Fiwix
  A UNIX-like kernel for the i386 architecture
  ☆550Updated last week
• nanochess / bootOS
  bootOS is a monolithic operating system in 512 bytes of x86 machine code.
  ☆1,808Updated last year
• cksystemsteaching / selfie
  An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V…
  ☆2,444Updated last week
• babbleberry / rpi4-osdev
  Tutorial: Writing a "bare metal" operating system for Raspberry Pi 4
  ☆3,644Updated 5 months ago
• maxdev1 / ghost
  Ghost, a micro-kernel based hobby operating system.
  ☆638Updated 3 months ago
• xorvoid / sectorc
  A C Compiler that fits in the 512 byte boot sector of an x86 machine
  ☆1,665Updated last year
• dthain / basekernel
  A simple OS kernel for research, teaching, and fun.
  ☆858Updated last year
• spencertipping / jit-tutorial
  How to write a very simple JIT compiler
  ☆1,864Updated 4 years ago
• jubalh / awesome-os
  A list of operating systems and stuff
  ☆1,906Updated 2 weeks ago
• vinc / moros
  MOROS: Obscure Rust Operating System 🦉
  ☆1,000Updated this week
• yhzhang0128 / egos-2000
  Envision a future where every student can read all the code of a teaching operating system.
  ☆2,344Updated 2 weeks ago
• byteduck / duckOS
  An x86 monolithic kernel and operating system written in modern C++. Comes with in-house graphical applications and command line utilitie…
  ☆641Updated 10 months ago
• CorruptedByCPU / Cyjon
  A simple, clean code, multi-tasking kernel written in pure Assembly language for 64-bit processors from the AMD64 family.
  ☆449Updated 10 months ago
• oasislinux / oasis
  a small statically-linked linux system
  ☆2,958Updated last month
• osandov / drgn
  Programmable debugger
  ☆1,898Updated this week
• limine-bootloader / limine
  Modern, advanced, portable, multiprotocol bootloader and boot manager.
  ☆2,345Updated this week
• sysprog21 / shecc
  A self-hosting and educational C optimizing compiler
  ☆1,246Updated last month
• alexfru / SmallerC
  Simple C compiler
  ☆1,494Updated 6 months ago