Alternatives and similar repositories for compcert

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

• travisdowns / nasm-utils
  Miscellaneous macros useful for writing x86 asm in nasm or yasm
  ☆7Updated 4 years ago
• csmith-project / voltest
  Tools for testing C compilers for the correct handling of volatile objects.
  ☆26Updated 10 years ago
• remysaissy / examour-exokernel
  Exokernel for IA32 architectures with a segmented memory managment model and user level only drivers.
  ☆22Updated 9 years ago
• jsoftware / qtide
  Qt IDE
  ☆45Updated last month
• SacBase / Stdlib
  This repository contains the Core and Extended source files of the Standard Library of the SaC programming language
  ☆14Updated this week
• amirbawab / EasyCC-CPP
  Easy Compiler Compiler written in C++
  ☆25Updated 7 years ago
• besm6 / dispak
  Simulator of DISPAK operating system (BESM-6)
  ☆18Updated 3 weeks ago
• aposwolsky / delphin
  The Delphin Project
  ☆10Updated 8 years ago
• melvinzhang / bit-scheme
  BIT: A Very Compact Scheme System for Microcontrollers
  ☆44Updated 9 years ago
• echtzeit-dev / ez-clang
  C++ REPL for bare-metal embedded devices
  ☆25Updated 2 years ago
• llvm-mirror / dragonegg
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆25Updated 6 years ago
• sergey-worm / wrmos
  RTOS based on L4 microkernel.
  ☆16Updated 6 years ago
• jimwhite / treemeta
  A revival of the TREE-META compiler-compiler.
  ☆15Updated 7 years ago
• smarr / CSOM
  CSOM - C implementation of the Simple Object Machine Smalltalk
  ☆11Updated 3 years ago
• XVilka / cparse
  Parser of C-syntax data definitions, C-syntax function definitions
  ☆20Updated 12 years ago
• wbond / pymeta3
  A Python 3 compatible fork of https://launchpad.net/pymeta
  ☆18Updated 6 years ago
• jbroll / riscv-asm
  risc-v assembly language
  ☆10Updated 3 years ago
• SEL4PROJ / AOS
  Advanced Operating Systems project
  ☆20Updated 8 months ago
• seL4 / musllibc
  ☆27Updated 2 months ago
• rurban / libbf
  mirror of Fabrice Bellard's libbf tar releases
  ☆12Updated 2 years ago
• kulp / tenyr
  Simple, orthogonal 32-bit computer architecture and environment
  ☆28Updated last year
• smarr / SOM
  SOM - Simple Object Machine
  ☆23Updated last week
• BillBohan / NISC
  A single instruction set processor architecture
  ☆18Updated 7 years ago
• Schol-R-LEA / Assiah
  A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures
  ☆16Updated 6 years ago
• BrianStadnicki / self-modifying-assembly-examples
  Examples of self-modifying x86 linux assembly
  ☆11Updated 3 years ago
• ForwardCom / bintools
  Binary tools: assembler, disassembler, linker, library manager, emulator
  ☆61Updated 3 months ago
• hanshuebner / secd
  SECD microprocessor reimplementation in VHDL
  ☆35Updated 5 years ago
• HOL-Theorem-Prover / hol-guidebook
  HOL Guidebook
  ☆11Updated 7 months ago
• hcchengithub / jeforth.3we
  A FORTH running on HTA, HTML, Node.js, NW.js, Chrome Extension, Chrome App, and more. Play now:
  ☆47Updated last year
• rwl / JLLVM
  A Java version of LLVM Core by Hao Liu
  ☆22Updated 12 years ago