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
• rmmh / whomp
  reverse engineering branch predictors
  ☆17Updated 9 years ago
• kavon / llvm-statepoint-utils
  Runtime support for LLVM's GC Statepoints
  ☆42Updated 5 years ago
• Mrktn / ccg
  CCG is a random C Code Generator
  ☆44Updated 2 years ago
• crdelozier / ironclad
  Ironclad C++ brings type-safety to C++. It provides safe alternatives to unsafe constructs in C++ to prevent type-safety errors that lea…
  ☆18Updated last year
• dibyendumajumdar / nj
  A cross platform JIT engine based on Eclipse OMR
  ☆27Updated 5 years ago
• MatzeB / fluffy
  The fluffy programming language main repository
  ☆24Updated 12 years ago
• mseaborn / tiny-llvm-codegen
  A fast, dumb and small LLVM code generator. This generates x86-32 code from LLVM bitcode.
  ☆61Updated 11 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• SRI-CSL / OCCAM
  OCCAM: Object Culling and Concretization for Assurance Maximization
  ☆26Updated last year
• nickgildea / z3_codegen
  A toy code generator (i.e. "program synthesis") using the Z3 solver
  ☆35Updated 7 years ago
• sutambe / cpp-generators
  Composable Data and Type Generators for C++
  ☆10Updated 6 years ago
• blu / ascii_pruner
  Pruning of blanks from an ASCII stream - musings in AMD64 and ARM64
  ☆10Updated 4 years ago
• dpt / Aha
  Tweaked version of "Aha" - "A Hacker's Assistant" superoptimiser by Henry S. Warren
  ☆58Updated 3 years ago
• art4711 / bmap_find
  finding set bits in large bitmaps
  ☆15Updated 9 years ago
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆26Updated 4 years ago
• jbarczak / HAXWell
  Code which loads custom ISA on Intel Haswell GPUs
  ☆47Updated 8 years ago
• ahorn / smt-kit
  C++11 library for many-sorted logics
  ☆39Updated 8 years ago
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆21Updated last year
• 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
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆59Updated 2 months 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
• feroldi / oxide
  Regionalized Value State Dependence Graph written in Rust
  ☆9Updated 5 years ago
• gergo- / ldrgen
  Liveness-driven random C code generator
  ☆41Updated 11 months ago
• sheredom / fpscev
  Floating-Point Scalar Evolution
  ☆12Updated 5 years ago
• yosefk / heapprof
  A 250 LOC heap profiler - easy to hack/port, works out of the box with dynamically linked Linux binaries
  ☆50Updated 2 months ago
• hellige / ccs-cpp
  CCS in C++
  ☆25Updated last year
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆70Updated 9 years ago