Alternatives and similar repositories for compcert

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

• remysaissy / examour-exokernel
  Exokernel for IA32 architectures with a segmented memory managment model and user level only drivers.
  ☆22Updated 9 years ago
• amirbawab / EasyCC-CPP
  Easy Compiler Compiler written in C++
  ☆25Updated 7 years ago
• davidad / fasm_example_64
  Using FASM (the Flat assembler) cross-platform (OSX/Linux)
  ☆27Updated 3 years ago
• gurugio / caos
  Calcium OS project for x86_64
  ☆40Updated 7 years ago
• sergey-worm / wrmos
  RTOS based on L4 microkernel.
  ☆16Updated 6 years ago
• vshymanskyy / interp
  Interpreter experiment. Testing dispatch methods: Switching, Direct/Indirect Threaded Code, Tail-Calls and Inlining
  ☆46Updated 4 years ago
• andreiw / tinycc
  My tinycc fork: hopefully, better OSX support, EFI targets, and ???
  ☆34Updated 7 years ago
• jimwhite / treemeta
  A revival of the TREE-META compiler-compiler.
  ☆15Updated 7 years ago
• XVilka / cparse
  Parser of C-syntax data definitions, C-syntax function definitions
  ☆19Updated 13 years ago
• travisdowns / nasm-utils
  Miscellaneous macros useful for writing x86 asm in nasm or yasm
  ☆7Updated 4 years ago
• anthay / Lisp90
  Lisp Interpreter in 90 lines of C++ (not counting lines after the first 90).
  ☆41Updated 9 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
• krytarowski / picotrace
  picotrace - system call process tracer
  ☆39Updated 5 years ago
• OSPreservProject / sprite
  The sprite operating system
  ☆53Updated 9 years ago
• giannitedesco / cola
  Cache Oblivious Lookahead Arrays
  ☆27Updated 12 years ago
• seL4 / camkes-vm
  Virtual Machine built as a CAmkES component.
  ☆23Updated 4 months ago
• swetland / dcpu16
  Virtual Machine and Assembler for Notch's DCPU-16 Architecture
  ☆222Updated 13 years ago
• hanshuebner / secd
  SECD microprocessor reimplementation in VHDL
  ☆35Updated 5 years ago
• jimix / k42
  K42 Kernel
  ☆28Updated 13 years ago
• OpenProgger / LISP
  Minimal LISP Compiler for x86_64
  ☆12Updated 3 years ago
• codeguru-il / corewars8086
  Core Wars for standard 8086 assembly.
  ☆32Updated 2 months ago
• kaos / ecos
  ☆22Updated 12 years ago
• tinyos / nesc
  Master nesc repository
  ☆104Updated 6 years ago
• SEL4PROJ / AOS
  Advanced Operating Systems project
  ☆20Updated 10 months ago
• doublec / nanojit
  Fork of Adobe/Mozilla lightweight library for generating machine code from C++
  ☆35Updated 15 years ago
• concurrency / kroc
  The Kent Retargetable occam Compiler
  ☆46Updated 3 years ago
• ForwardCom / bintools
  Binary tools: assembler, disassembler, linker, library manager, emulator
  ☆61Updated 5 months ago
• farlepet / lambda-kern
  Multi-architecture hobby operating system created in C
  ☆16Updated 2 months ago
• sysml / mini-os
  Minimalistic Operating System for Xen
  ☆66Updated 2 years ago
• pbatard / fasmg-efi
  A simple Hello World for x86_64 UEFI using fasmg
  ☆26Updated 8 years ago