Alternatives and similar repositories for CF3

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

• lindig / quest
  A tool for testing C compilers automatically
  ☆21Updated 9 years ago
• dibyendumajumdar / dmr_c
  dmr_C is a C parser and JIT compiler with LLVM, Eclipse OMR and NanoJIT backends
  ☆53Updated 5 years ago
• embecosm / gso2
  GNU Superoptimizer Version 2
  ☆26Updated 4 years ago
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆26Updated 4 years ago
• dpt / Aha
  A tweaked version of Aha! ("A Hacker's Assistant") the superoptimiser by Henry S. Warren
  ☆58Updated 3 years ago
• fay59 / interpiler
  Turn an interpreter into a code generator
  ☆31Updated 9 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• art4711 / bmap_find
  finding set bits in large bitmaps
  ☆15Updated 9 years ago
• gergo- / ldrgen
  Liveness-driven random C code generator
  ☆41Updated 11 months ago
• Mrktn / ccg
  CCG is a random C Code Generator
  ☆44Updated 2 years ago
• MoserMichael / cppcombinator
  parser combinator and AST generator in c++17
  ☆24Updated 2 years ago
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆14Updated last week
• rutgers-apl / alive-nj
  Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM
  ☆32Updated 5 years ago
• aryx / yacfe
  Yacfe (Yet Another C Front-End) is mainly an OCaml API to write style-preserving source-to-source transformations such as refactorings on…
  ☆25Updated 6 years ago
• blu / ascii_pruner
  Pruning of blanks from an ASCII stream - musings in AMD64 and ARM64
  ☆10Updated 4 years ago
• sutambe / cpp-generators
  Composable Data and Type Generators for C++
  ☆10Updated 6 years ago
• nickgildea / z3_codegen
  A toy code generator (i.e. "program synthesis") using the Z3 solver
  ☆35Updated 7 years ago
• smowton / llpe
  ☆53Updated last year
• amishne / llvm-ir-editor
  An LLVM IR Editor plugin for Eclipse
  ☆51Updated 11 years ago
• rmmh / whomp
  reverse engineering branch predictors
  ☆17Updated 9 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆70Updated 9 years ago
• dibyendumajumdar / nj
  A cross platform JIT engine based on Eclipse OMR
  ☆27Updated 5 years ago
• hiraditya / cpp2cxx
  A set of C Preprocessor analysis and source code rejuvenation tools that perform source to source translation of C++ programs by replacin…
  ☆46Updated 7 years ago
• libfirm / liboo
  firm object-orientation support library
  ☆14Updated 3 years ago
• hellige / ccs-cpp
  CCS in C++
  ☆26Updated last year
• PublicScan / TinyC
  A just-in-time compiler for c minus
  ☆47Updated 11 years ago
• kavon / llvm-statepoint-utils
  Runtime support for LLVM's GC Statepoints
  ☆42Updated 5 years ago
• WojciechMula / ternary-logic
  Support for ternary logic in SSE, XOP, AVX2 and x86 programs
  ☆31Updated 5 months ago
• pkhuong / barrierd
  Safely privileged daemon to let userspace wait on global barriers with low, constant overhead
  ☆17Updated 5 years ago
• ahorn / smt-kit
  C++11 library for many-sorted logics
  ☆39Updated 8 years ago