Alternatives and similar repositories for compcert:

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

• amirbawab / EasyCC-CPP
  Easy Compiler Compiler written in C++
  ☆24Updated 7 years ago
• csmith-project / voltest
  Tools for testing C compilers for the correct handling of volatile objects.
  ☆26Updated 10 years ago
• stevenknown / xgen
  ☆35Updated last month
• jplevyak / ifa
  IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…
  ☆12Updated last week
• MaskRay / CamlFeatherweight
  Bytecode compiler of a variant of Caml
  ☆33Updated 9 years ago
• smarr / CSOM
  CSOM - C implementation of the Simple Object Machine Smalltalk
  ☆11Updated 3 years ago
• melvinzhang / bit-scheme
  BIT: A Very Compact Scheme System for Microcontrollers
  ☆44Updated 8 years ago
• jesus-ramos / not-a-good-os
  just a toy operating system for fun
  ☆19Updated 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
• SEL4PROJ / AOS
  Advanced Operating Systems project
  ☆20Updated 6 months ago
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆60Updated this week
• sergey-worm / wrmos
  RTOS based on L4 microkernel.
  ☆16Updated 6 years ago
• greenpau / statifier
  Tool for creating portable self-containing Linux executable
  ☆45Updated 4 years ago
• snf / llvm_assemble
  LLVM based assembler for x86, Arm, Mips, PowerPC, Sparc and SystemZ (Rust API)
  ☆19Updated 8 years ago
• doublec / nanojit
  Fork of Adobe/Mozilla lightweight library for generating machine code from C++
  ☆35Updated 15 years ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆20Updated 9 years ago
• swetland / dcpu16
  Virtual Machine and Assembler for Notch's DCPU-16 Architecture
  ☆222Updated 12 years ago
• compiler-explorer / compiler-workflows
  Workflows to build daily and ad hoc compilers for Compiler Explorer
  ☆18Updated last month
• jimix / k42
  K42 Kernel
  ☆26Updated 12 years ago
• rwl / JLLVM
  A Java version of LLVM Core by Hao Liu
  ☆22Updated 12 years ago
• OSPreservProject / sprite
  The sprite operating system
  ☆51Updated 9 years ago
• DIJamner / lambda-compiler
  A simple compiler from the lambda calculus to MIPS assembly
  ☆20Updated 7 years ago
• jhhuh / tinyemu
  Fabrice Bellard's tinyemu (https://bellard.org/tinyemu/)
  ☆61Updated 3 years ago
• evdenis / verker
  Linux kernel library functions formally verified.
  ☆50Updated 4 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
• ChrisDodd / btyacc
  Backtracking yacc
  ☆20Updated last year
• fay59 / interpiler
  Turn an interpreter into a code generator
  ☆31Updated 9 years ago
• embecosm / gnu-superopt
  The GNU Superoptimizer
  ☆26Updated 10 years ago
• olbat / compiler
  Compiler for a toy language (Lex & Yacc)
  ☆16Updated 10 years ago