Alternatives and similar repositories for examour-exokernel:

Users that are interested in examour-exokernel are comparing it to the libraries listed below

• Schol-R-LEA / Assiah
  A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures
  ☆16Updated 6 years ago
• jdinunzio / forthos
  x386 OS developed in Forth
  ☆58Updated 15 years ago
• OrangeTide / pcc
  Portable C Compiler (CVS mirror)
  ☆12Updated 13 years ago
• wrmlab / wrmos
  RTOS based on L4 microkernel.
  ☆17Updated 6 years ago
• Ravenports / ravensource
  The sources to compile Ravenports buildsheets
  ☆18Updated this week
• wilkie / djehuty
  Fully verifiable operating system and API written in D in the public domain.
  ☆40Updated 13 years ago
• hanshuebner / secd
  SECD microprocessor reimplementation in VHDL
  ☆35Updated 5 years ago
• concurrency / kroc
  The Kent Retargetable occam Compiler
  ☆46Updated 3 years ago
• XVilka / cparse
  Parser of C-syntax data definitions, C-syntax function definitions
  ☆20Updated 12 years ago
• genodelabs / genode-world
  Collection of community-maintained components for Genode
  ☆46Updated last week
• 8l / ff
  A Simple Forth System for Linux on i386 and ARM CPUs
  ☆41Updated 9 years ago
• 8l / pilos
  PilOS - A Stand-Alone Operating System
  ☆14Updated 7 years ago
• afonsotrepa / LOS-64
  Small LISP-1 OS for x86-64 written in C, asm and Common Lisp
  ☆11Updated 7 years ago
• drh / cdb
  A Machine-Independent Debugger
  ☆31Updated 6 months ago
• narke / Einherjar
  colorForth computing environment for amd64 and PowerPC Macs.
  ☆22Updated 5 years ago
• metta-systems / metta
  Metta OS
  ☆69Updated 5 months ago
• travisg / uefi
  uefi app/bootloader development sandbox
  ☆15Updated 8 years ago
• tatimmer / tatOS
  tatOS operating system, x86 Assembly, usb UHCI & EHCI, flash drive, keyboard, mouse
  ☆32Updated 8 years ago
• jimwhite / treemeta
  A revival of the TREE-META compiler-compiler.
  ☆15Updated 6 years ago
• Ryanel / Cedille
  A kernel with a purpose - to keep most of the code out of the kernel
  ☆15Updated 5 years ago
• mokafive / grub
  The GRUB 2 bootloader. "upstream" is a mirror of the official bzr repository; "master" and other branches are our development. All branch…
  ☆9Updated 8 years ago
• farlepet / lambda-kern
  Multi-architecture hobby operating system created in C
  ☆16Updated 3 weeks ago
• snf / llvm_assemble
  LLVM based assembler for x86, Arm, Mips, PowerPC, Sparc and SystemZ (Rust API)
  ☆19Updated 9 years ago
• ReturnInfinity / BMFS
  Utility for accessing a disk formatted with BMFS
  ☆52Updated 3 months ago
• travisdowns / nasm-utils
  Miscellaneous macros useful for writing x86 asm in nasm or yasm
  ☆7Updated 4 years ago
• AndrewD / prex
  Prex is a portable real-time operating system for embedded systems
  ☆27Updated 14 years ago
• JohnDDuncanIII / fasm
  flat assembler - the open source assembly language compiler for x86 and x86-64 processors by Tomasz Grysztar. built for OS X.
  ☆45Updated 8 years ago
• nopsys / nopsys
  No Operating System Project, seeking Dan Ingalls' quote: 'Operating Systems should not exist'. This is the generic platform
  ☆29Updated 6 years ago
• KnightOS / kcc
  KnightOS C compiler
  ☆24Updated 4 years ago
• openmach / mach4
  Mach4 archived source.
  ☆17Updated 10 months ago