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
• jimwhite / treemeta
  A revival of the TREE-META compiler-compiler.
  ☆15Updated 7 years ago
• travisdowns / nasm-utils
  Miscellaneous macros useful for writing x86 asm in nasm or yasm
  ☆7Updated 4 years ago
• 8l / tccboot
  TCCBOOT: TinyCC Boot Loader
  ☆12Updated 10 years ago
• seL4 / musllibc
  ☆27Updated last month
• wrmlab / wrmos
  RTOS based on L4 microkernel.
  ☆17Updated 6 years ago
• snf / llvm_assemble
  LLVM based assembler for x86, Arm, Mips, PowerPC, Sparc and SystemZ (Rust API)
  ☆20Updated 9 years ago
• seL4 / sel4bench
  sel4 benchmarking applications and support library.
  ☆20Updated 3 weeks ago
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• bford / PIOS
  PIOS: Parallel Instructional Operating System - Instructional Template Code
  ☆37Updated 12 years ago
• doublec / nanojit
  Fork of Adobe/Mozilla lightweight library for generating machine code from C++
  ☆35Updated 15 years ago
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆59Updated last week
• cthulhuology / firth
  Firth is an experimental modern Forth for 64bit x86_64 processors
  ☆13Updated 10 years ago
• AndrewD / prex
  Prex is a portable real-time operating system for embedded systems
  ☆27Updated 15 years ago
• vshymanskyy / interp
  Interpreter experiment. Testing dispatch methods: Switching, Direct/Indirect Threaded Code, Tail-Calls and Inlining
  ☆46Updated 4 years ago
• hanshuebner / secd
  SECD microprocessor reimplementation in VHDL
  ☆35Updated 5 years ago
• rebolsource / r3
  Source code for the Rebol [R3] interpreter
  ☆29Updated 10 months ago
• DIJamner / lambda-compiler
  A simple compiler from the lambda calculus to MIPS assembly
  ☆20Updated 8 years ago
• jimix / k42
  K42 Kernel
  ☆28Updated 13 years ago
• foss-for-synopsys-dwc-arc-processors / binutils-gdb
  A mirror of the upstream binutils-gdb repository for ARC specific work
  ☆14Updated last week
• BrianStadnicki / self-modifying-assembly-examples
  Examples of self-modifying x86 linux assembly
  ☆11Updated 3 years ago
• ephsec / svforth
  SVFORTH - A Forth for Security Analysis and Visualization
  ☆41Updated 11 years ago
• alexfru / regal86
  Register Allocator for 8086
  ☆75Updated last year
• fraunhoferfokus / acsl-by-example
  Public snapshots of "ACSL by Example"
  ☆111Updated last month
• XVilka / cparse
  Parser of C-syntax data definitions, C-syntax function definitions
  ☆20Updated 12 years ago
• wojtup / mosbc
  MikeOS' BASIC Compiler
  ☆25Updated 3 years ago
• sergey-worm / wrmos
  RTOS based on L4 microkernel.
  ☆16Updated 6 years ago
• Ravenbrook / mlworks
  MLWorks is a Standard ML compiler and development environment.
  ☆181Updated 7 years ago
• aelfimow / cppasm
  A C++ generator for x86 assembly code
  ☆11Updated last year
• REMath / mit_16.399
  MIT's abstract interpretation class taught by Cousot
  ☆40Updated 10 years ago