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 10 years ago
• snf / llvm_assemble
  LLVM based assembler for x86, Arm, Mips, PowerPC, Sparc and SystemZ (Rust API)
  ☆20Updated 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 9 years ago
• evdenis / verker
  Linux kernel library functions formally verified.
  ☆52Updated 3 weeks ago
• animetosho / jit_smc_test
  Test self-modifying code behaviour on processors for single-use JIT functions
  ☆55Updated 5 years ago
• sergey-worm / wrmos
  RTOS based on L4 microkernel.
  ☆17Updated 7 years ago
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 12 years ago
• davidad / fasm_example_64
  Using FASM (the Flat assembler) cross-platform (OSX/Linux)
  ☆26Updated 4 years ago
• ephsec / svforth
  SVFORTH - A Forth for Security Analysis and Visualization
  ☆41Updated 11 years ago
• fraunhoferfokus / acsl-by-example
  Public snapshots of "ACSL by Example"
  ☆121Updated last week
• doublec / nanojit
  Fork of Adobe/Mozilla lightweight library for generating machine code from C++
  ☆35Updated 15 years ago
• XVilka / cparse
  Parser of C-syntax data definitions, C-syntax function definitions
  ☆19Updated 13 years ago
• seL4 / musllibc
  ☆29Updated 2 months ago
• andreiw / tinycc
  My tinycc fork: hopefully, better OSX support, EFI targets, and ???
  ☆35Updated 8 years ago
• jimix / k42
  K42 Kernel
  ☆31Updated 13 years ago
• drh / iburg
  A Tree Parser Generator
  ☆103Updated last year
• vshymanskyy / interp
  Interpreter experiment. Testing dispatch methods: Switching, Direct/Indirect Threaded Code, Tail-Calls and Inlining
  ☆47Updated 5 years ago
• concurrency / kroc
  The Kent Retargetable occam Compiler
  ☆46Updated 3 years ago
• microsoft / checkedc-llvm
  Thiis is a *deprecated* repo that contains a version of LLVM that was being modified to support Checked C. We have moved to a single (m…
  ☆98Updated 2 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
• TUD-OS / seoul
  A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.
  ☆44Updated 4 years ago
• pbatard / fasmg-efi
  A simple Hello World for x86_64 UEFI using fasmg
  ☆27Updated 9 years ago
• ForwardCom / bintools
  Binary tools: assembler, disassembler, linker, library manager, emulator
  ☆64Updated last year
• dchapiesky / MetaIIVMInC
  the Meta-II VM in C
  ☆21Updated 10 years ago
• jimwhite / treemeta
  A revival of the TREE-META compiler-compiler.
  ☆15Updated 7 years ago
• TUD-OS / NRE
  NOVA runtime environment (official branch)
  ☆35Updated 4 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
• coreutils / oss-fuzz
  OSS-Fuzz - continuous fuzzing of open source software
  ☆11Updated 9 years ago
• gurugio / caos
  Calcium OS project for x86_64
  ☆40Updated 8 years ago
• hanshuebner / secd
  SECD microprocessor reimplementation in VHDL
  ☆36Updated 6 years ago