Alternatives and similar repositories for compcert

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

• coreutils / oss-fuzz
  OSS-Fuzz - continuous fuzzing of open source software
  ☆10Updated 8 years ago
• sergey-worm / wrmos
  RTOS based on L4 microkernel.
  ☆17Updated 7 years ago
• ephsec / svforth
  SVFORTH - A Forth for Security Analysis and Visualization
  ☆41Updated 11 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
• rurban / libbf
  mirror of Fabrice Bellard's libbf tar releases, with fixes and CI
  ☆14Updated 2 months ago
• skeeto / carpet-fractal-genetics
  Carpet fractal genetic algorithm
  ☆13Updated 8 years ago
• evdenis / verker
  Linux kernel library functions formally verified.
  ☆52Updated 4 years ago
• 8l / tccboot
  TCCBOOT: TinyCC Boot Loader
  ☆13Updated 11 years ago
• dchapiesky / MetaIIVMInC
  the Meta-II VM in C
  ☆20Updated 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
• fraunhoferfokus / acsl-by-example
  Public snapshots of "ACSL by Example"
  ☆118Updated 5 months ago
• hcchengithub / jeforth.3we
  A FORTH running on HTA, HTML, Node.js, NW.js, Chrome Extension, Chrome App, and more. Play now:
  ☆49Updated 3 months ago
• davidad / fasm_example_64
  Using FASM (the Flat assembler) cross-platform (OSX/Linux)
  ☆26Updated 3 years ago
• BrianStadnicki / self-modifying-assembly-examples
  Examples of self-modifying x86 linux assembly
  ☆11Updated 3 years ago
• andreiw / tinycc
  My tinycc fork: hopefully, better OSX support, EFI targets, and ???
  ☆34Updated 8 years ago
• jimix / k42
  K42 Kernel
  ☆31Updated 13 years ago
• wookey-project / ewok-kernel
  A secure and high performances microkernel for building secure MCU-based IoTs
  ☆77Updated 4 years ago
• dmedinag / C-to-Forth-compiler
  Few people use Forth. But this might be useful if you want to!
  ☆35Updated 6 years ago
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• ProgrammerArchaeology / bellcore-mgr
  ☆15Updated 6 years ago
• chisophugis / x64-Forth
  a simple Forth system for x64 Linux
  ☆33Updated 13 years ago
• concurrency / kroc
  The Kent Retargetable occam Compiler
  ☆46Updated 3 years ago
• stamourv / s3
  A Scheme TCP/IP Stack Targeting Small Embedded Applications
  ☆25Updated 12 years ago
• snf / llvm_assemble
  LLVM based assembler for x86, Arm, Mips, PowerPC, Sparc and SystemZ (Rust API)
  ☆20Updated 9 years ago
• farlepet / lambda-kern
  Multi-architecture hobby operating system kernel created in C
  ☆16Updated 6 months ago
• qemu / vgabios
  Mirror of git.qemu.org/vgabios.git
  ☆26Updated 8 years ago
• XVilka / cparse
  Parser of C-syntax data definitions, C-syntax function definitions
  ☆19Updated 13 years ago
• JohnEarnest / Four.Ps
  A minimal Forth VM and Compiler implemented in PostScript
  ☆29Updated 14 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.
  ☆130Updated 3 years ago
• xoreaxeaxeax / tiresias
  ARM is Turing-complete without data fetches
  ☆57Updated 7 years ago