Alternatives and similar repositories for monolinux:

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

• eerimoq / monolinux-jiffy
  A Monolinux distro for the Jiffy board!
  ☆154Updated 4 years ago
• flouthoc / wiser
  Extremely minimal vmm for linux written in C. Hopefully someday will spin linux-vm for you.
  ☆259Updated 3 years ago
• hexagonal-sun / bic
  A C interpreter and API explorer.
  ☆825Updated 3 years ago
• ssrg-vt / hermitux
  A binary-compatible unikernel
  ☆392Updated 7 months ago
• luke8086 / boot2c
  A simple way to write standalone C programs for i386
  ☆256Updated last year
• buserror / libmish
  Libmish adds a command prompt to your program, and telnet access. With your own commands.
  ☆144Updated 8 months ago
• exebook / generic-print
  Convenient generic print() for C
  ☆324Updated 10 months ago
• benjojo / userspace-vga2usb
  A userspace driver implementation of the Epiphan VGA2USB LR
  ☆298Updated 3 years ago
• izabera / zeromaps
  A "living" Linux process with no memory
  ☆343Updated 4 years ago
• lhoursquentin / sed-bin
  sed to C translator written in sed
  ☆283Updated 3 years ago
• jeaye / toybox
  A box for misfit toys
  ☆124Updated 4 years ago
• grz0zrg / fbg
  Lightweight C 2D graphics API agnostic library with parallelism support
  ☆512Updated 3 months ago
• codr7 / libcodr7
  fundamental tools in the spirit of C
  ☆60Updated 5 years ago
• TurkeyMcMac / avr_threads
  Preemptive multithreading for AVR microcontrollers.
  ☆38Updated 4 years ago
• matheusmoreira / liblinux
  Linux system calls.
  ☆211Updated 5 years ago
• cfallin / treeos
  Christmas tree demo on bare PC hardware (no OS), in 16-bit assembly
  ☆121Updated 4 years ago
• dilshan / usb2-power-hub
  4-Port High Power USB 2.0 Hub
  ☆189Updated 5 years ago
• stephank / lazyssh
  A jump-host SSH server that starts machines on-demand
  ☆484Updated 4 years ago
• chettrick / discobsd
  2.11BSD-based Unix-like OS for STM32 and PIC32 Microcontrollers
  ☆190Updated last week
• mcpcpc / kirc
  A tiny IRC client written in POSIX C99.
  ☆531Updated 2 months ago
• jzck / kernel-zig
  hobby x86 kernel zig
  ☆429Updated last year
• ilyakurdyukov / ioccc
  My IOCCC submissions and practice.
  ☆85Updated 7 months ago
• rethab / awk-jvm
  a toy jvm in awk
  ☆164Updated 3 years ago
• remileduc / sherver
  Pure Bash lightweight web server.
  ☆343Updated 5 years ago
• dzavalishin / phantomuserland
  Phantom: Persistent Operating System
  ☆910Updated 3 months ago
• ALSchwalm / transient
  A wrapper for QEMU allowing the creation of virtual machines with shared folder, ssh, and disk creation support.
  ☆105Updated 2 years ago
• alcover / buffet
  All-inclusive Buffer for C
  ☆412Updated last year
• selectel / sql-battleships
  [Community] Play Battleships on PostgreSQL
  ☆186Updated 4 years ago
• nixcloud / ip2unix
  Turn IP sockets into Unix domain sockets
  ☆365Updated 8 months ago
• safinaskar / gavin
  The smallest operation system in the world
  ☆117Updated 6 years ago