Alternatives and similar repositories for compcert

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

• XVilka / cparse
  Parser of C-syntax data definitions, C-syntax function definitions
  ☆19Updated 13 years ago
• stevenknown / xocfe
  XOCFE is an concise, clearly, C compiler frontend, it is easy to understand and modify. XOCFE's input is pure C, output is an AST tree.
  ☆55Updated 4 months ago
• doublec / nanojit
  Fork of Adobe/Mozilla lightweight library for generating machine code from C++
  ☆35Updated 15 years ago
• amirbawab / EasyCC-CPP
  Easy Compiler Compiler written in C++
  ☆26Updated 8 years ago
• remysaissy / examour-exokernel
  Exokernel for IA32 architectures with a segmented memory managment model and user level only drivers.
  ☆22Updated 10 years ago
• echtzeit-dev / ez-clang
  C++ REPL for bare-metal embedded devices
  ☆27Updated 3 years ago
• dibyendumajumdar / dmr_c
  dmr_C is a C parser and JIT compiler with LLVM, Eclipse OMR and NanoJIT backends
  ☆56Updated 6 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 9 years ago
• sysml / mini-os
  Minimalistic Operating System for Xen
  ☆66Updated 3 years ago
• AmziLS / AmziProlog
  Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.
  ☆132Updated 4 years ago
• snf / llvm_assemble
  LLVM based assembler for x86, Arm, Mips, PowerPC, Sparc and SystemZ (Rust API)
  ☆20Updated 9 years ago
• colrdavidson / Q8
  Bytecode VM and Assembler in JS
  ☆32Updated 4 years ago
• flightaware / speedtables
  Speed tables is a high-performance memory-resident database. The speed table compiler reads a table definition and generates a set of C a…
  ☆69Updated 3 years ago
• concurrency / kroc
  The Kent Retargetable occam Compiler
  ☆46Updated 3 years ago
• xoreaxeaxeax / tiresias
  ARM is Turing-complete without data fetches
  ☆58Updated 7 years ago
• ForwardCom / bintools
  Binary tools: assembler, disassembler, linker, library manager, emulator
  ☆64Updated last year
• archiecobbs / jcvm
  Java virtual machine implementation that converts class files into C source files (HISTORICAL)
  ☆16Updated 10 years ago
• jimix / k42
  K42 Kernel
  ☆32Updated 13 years ago
• nayuki / x86-Assembler
  My crappy x86 assembler written in Java.
  ☆19Updated 14 years ago
• 8l / tccboot
  TCCBOOT: TinyCC Boot Loader
  ☆13Updated 11 years ago
• dibyendumajumdar / nj
  A cross platform JIT engine based on Eclipse OMR
  ☆28Updated 6 years ago
• fay59 / interpiler
  Turn an interpreter into a code generator
  ☆31Updated 10 years ago
• vshymanskyy / interp
  Interpreter experiment. Testing dispatch methods: Switching, Direct/Indirect Threaded Code, Tail-Calls and Inlining
  ☆47Updated 5 years ago
• stevenknown / xgen
  ☆36Updated 4 months ago
• llvm-mirror / dragonegg
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆25Updated 7 years ago
• fraunhoferfokus / acsl-by-example
  Public snapshots of "ACSL by Example"
  ☆121Updated last week
• smarr / CSOM
  CSOM - C implementation of the Simple Object Machine Smalltalk
  ☆10Updated 4 years ago
• rose-compiler / rose-develop
  The latest development version of rose. It may not pass all regression tests.
  ☆106Updated 6 years ago
• sergey-worm / wrmos
  RTOS based on L4 microkernel.
  ☆17Updated 7 years ago
• seL4 / musllibc
  ☆29Updated 2 months ago