Alternatives and similar repositories for kitten:

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

• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• jimix / k42
  K42 Kernel
  ☆27Updated 12 years ago
• intel / mOS
  ☆137Updated last week
• ManyThreads / mythos
  Many Threads Operating System
  ☆18Updated 3 years ago
• utsaslab / nofs
  The No-Order File System (NoFS)
  ☆46Updated 12 years ago
• ibm-research / fusedos
  ☆52Updated 10 years ago
• somian / Path64
  Fully open source PathScale successor to Open64. Path64 is the community support version of PathScale compiler meant to encourage collabo…
  ☆23Updated 15 years ago
• clang-omp / libomptarget
  ☆20Updated 9 years ago
• openshmem-org / osss-gasnet
  [deprecated] Reference Implementation of OpenSHMEM on GASNet (specification <= 1.3)
  ☆43Updated 7 years ago
• uhhpctools / openuh
  OpenUH - Open Source UH Compiler
  ☆53Updated 7 years ago
• RIKEN-SysSoft / mckernel
  McKernel
  ☆116Updated 9 months ago
• CTSRD-CHERI / beri
  The BERI and CHERI processor and hardware platform
  ☆50Updated 8 years ago
• RIKEN-SysSoft / PiP
  Process-in-Process
  ☆17Updated 4 years ago
• CTSRD-CHERI / cherios
  CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities
  ☆40Updated 2 years ago
• xiangzhai / dragonegg
  DragonEgg has been migrated to GCC 8 and LLVM 6 but also able to work for GCC 4.8 and LLVM 3.3
  ☆19Updated 5 years ago
• stephenrkell / donald
  The Mickey Mouse of dynamic linkers
  ☆14Updated last month
• CTSRD-CHERI / qemu
  QEMU with support for CHERI
  ☆58Updated last week
• LLNL / cruise
  User space POSIX-like file system in main memory
  ☆38Updated 8 years ago
• drh / iburg
  A Tree Parser Generator
  ☆96Updated 6 months ago
• seL4 / seL4_libs
  No-assurance libraries for rapid-prototyping of seL4 apps.
  ☆53Updated 3 weeks ago
• ssrg-vt / popcorn-compiler
  Popcorn Linux compiler toolchain for heterogeneous-ISA execution
  ☆43Updated last year
• avadhpatel / marss
  PTLsim and QEMU based Computer Architecture Research Simulator
  ☆128Updated 3 years ago
• aik / SLOF
  Slimline Open Firware - an implementation of IEEE1275 Open Firmware for some POWER ISA systems
  ☆36Updated 5 months ago
• andreiw / ppc64le_hello
  ``Hello World'' for a Little-Endian OpenPower world (freestanding)
  ☆18Updated 8 years ago
• TUD-OS / M3
  Microkernel-based system for heterogeneous manycores
  ☆108Updated 4 years ago
• mahrz24 / rv6
  rv6 is a kernel & operating system written entirely in rust.
  ☆11Updated 5 years ago
• TUD-OS / NRE
  NOVA runtime environment (official branch)
  ☆34Updated 3 years ago
• ForwardCom / bintools
  Binary tools: assembler, disassembler, linker, library manager, emulator
  ☆60Updated 3 months ago
• mfleming / efilinux
  UEFI boot loader
  ☆79Updated 2 years ago
• seL4 / refos
  Prototype no-assurance reference OS personality built on seL4
  ☆49Updated last month