Alternatives and similar repositories for mitnal:

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

• mrthefakeperson / Excel-Virtual-Machine
  C Compiler which targets Excel (MS Office)
  ☆286Updated 4 years ago
• wader / jqjq
  jq implementation of jq
  ☆698Updated last month
• cl91 / NeptuneOS
  Neptune OS: A Windows NT personality for the seL4 microkernel
  ☆382Updated 2 weeks ago
• chip-red-pill / MicrocodeDecryptor
  ☆1,486Updated 2 years ago
• fosslinux / live-bootstrap
  Use of a Linux initramfs to fully automate the bootstrapping process
  ☆597Updated this week
• iglunix / iglunix
  Linux (and other kernels) distro with no GNU components
  ☆234Updated 3 months ago
• pwk4m1 / TinyBIOS
  A mirror of TinyBIOS repository
  ☆309Updated last week
• exebook / generic-print
  Convenient generic print() for C
  ☆324Updated 9 months ago
• cotowali / cotowali
  A statically typed scripting language that transpile into POSIX sh
  ☆613Updated 3 weeks ago
• 0xdanelia / regex_turing_machine
  The find/replace box in Notepad++ is Turing Complete
  ☆501Updated last year
• flouthoc / wiser
  Extremely minimal vmm for linux written in C. Hopefully someday will spin linux-vm for you.
  ☆259Updated 3 years ago
• atrosinenko / qemujs
  Qemu.js source code with proof-of-concept machine-code-to-WASM JIT.
  ☆268Updated 5 years ago
• Cacodemon345 / uefidoom
  Port of Doom to UEFI.
  ☆283Updated last month
• matheusmoreira / liblinux
  Linux system calls.
  ☆211Updated 5 years ago
• nepx / halfix
  x86 PC emulator that runs both natively and in the browser, via WebAssembly
  ☆694Updated 2 years ago
• turbolent / w2c2
  Translates WebAssembly modules to portable C
  ☆742Updated 4 months ago
• udem-dlteam / pnut
  🥜 A Self-Compiling C Transpiler Targeting Human-Readable POSIX Shell
  ☆451Updated this week
• djanderson / aho
  A git implementation in awk
  ☆796Updated 3 years ago
• DavidBuchanan314 / ambiguous-png-packer
  Craft PNG files that appear completely different in Apple software [NOW PATCHED]
  ☆1,067Updated 2 years ago
• andrewchambers / minias
  A mini x86-64 assembler for fun and learning.
  ☆204Updated 3 years ago
• Xe / xn--ts9h
  🥺 is sudo at home
  ☆165Updated last year
• Overv / vramfs
  VRAM based file system for Linux
  ☆1,268Updated last year
• rhysd / 8cc.vim
  C Compiler written in Vim script
  ☆444Updated 8 years ago
• davidmalcolm / antipatterns.ko
  The world's worst kernel module
  ☆296Updated 3 years ago
• whitequark / superlinker
  a tool for reinterpreting ELF executables and shared libraries
  ☆309Updated 3 months ago
• CouleeApps / git-power
  git is a blockchain. Start your commit hashes with 00000000 like a real blockchain should.
  ☆254Updated 3 months ago
• AkihiroSuda / lsf
  Linux Subsystem for FreeBSD (😈 on 🐧)
  ☆174Updated 2 years ago
• abbbi / nullfsvfs
  a virtual black hole file system that behaves like /dev/null
  ☆296Updated 8 months ago
• codyd51 / uefirc
  An IRC client in your motherboard
  ☆324Updated 10 months ago
• mikroskeem / tosh
  Imagine your SSH server only listens on an IPv6 address, and where the last 6 digits are changing every 30 seconds as a TOTP code...
  ☆418Updated 3 years ago