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
• 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
• snf / llvm_assemble
  LLVM based assembler for x86, Arm, Mips, PowerPC, Sparc and SystemZ (Rust API)
  ☆20Updated 9 years ago
• andreiw / tinycc
  My tinycc fork: hopefully, better OSX support, EFI targets, and ???
  ☆34Updated 7 years ago
• giannitedesco / cola
  Cache Oblivious Lookahead Arrays
  ☆27Updated 12 years ago
• jimix / k42
  K42 Kernel
  ☆29Updated 13 years ago
• openrisc / llvm-or1k
  LLVM backend for OpenRISC 1000
  ☆29Updated 7 years ago
• ephsec / svforth
  SVFORTH - A Forth for Security Analysis and Visualization
  ☆41Updated 11 years ago
• sergey-worm / wrmos
  RTOS based on L4 microkernel.
  ☆17Updated 6 years ago
• nayuki / x86-Assembler
  My crappy x86 assembler written in Java.
  ☆20Updated 13 years ago
• gurugio / caos
  Calcium OS project for x86_64
  ☆40Updated 7 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
• amirbawab / EasyCC-CPP
  Easy Compiler Compiler written in C++
  ☆25Updated 7 years ago
• swetland / dcpu16
  Virtual Machine and Assembler for Notch's DCPU-16 Architecture
  ☆222Updated 13 years ago
• seL4 / camkes-vm
  Virtual Machine built as a CAmkES component.
  ☆23Updated 4 months ago
• ForwardCom / bintools
  Binary tools: assembler, disassembler, linker, library manager, emulator
  ☆61Updated 6 months ago
• sysml / mini-os
  Minimalistic Operating System for Xen
  ☆66Updated 2 years ago
• animetosho / jit_smc_test
  Test self-modifying code behaviour on processors for single-use JIT functions
  ☆53Updated 5 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.
  ☆127Updated 3 years ago
• uwplse / memsynth
  An advanced automated reasoning tool for memory consistency model specifications.
  ☆23Updated 3 years ago
• coreutils / oss-fuzz
  OSS-Fuzz - continuous fuzzing of open source software
  ☆10Updated 8 years ago
• XVilka / cparse
  Parser of C-syntax data definitions, C-syntax function definitions
  ☆19Updated 13 years ago
• vshymanskyy / interp
  Interpreter experiment. Testing dispatch methods: Switching, Direct/Indirect Threaded Code, Tail-Calls and Inlining
  ☆46Updated 4 years ago
• seL4 / musllibc
  ☆28Updated 2 months ago
• BillBohan / NISC
  A single instruction set processor architecture
  ☆18Updated 8 years ago
• tcltk / itcl
  An object-oriented extension to Tcl. (Mirror of core.tcl-lang.org).
  ☆31Updated 2 weeks ago
• s-macke / jor1k-sysroot
  This is the filesystem for jor1k
  ☆24Updated 4 years ago
• BrianStadnicki / self-modifying-assembly-examples
  Examples of self-modifying x86 linux assembly
  ☆11Updated 3 years ago
• melvinzhang / bit-scheme
  BIT: A Very Compact Scheme System for Microcontrollers
  ☆43Updated 9 years ago
• dongola7 / socks5
  Basic SOCKS 5 client library in Tcl.
  ☆13Updated 3 years ago