Alternatives and similar repositories for gnu-superopt:

Users that are interested in gnu-superopt are comparing it to the libraries listed below

• lindig / quest
  A tool for testing C compilers automatically
  ☆20Updated 9 years ago
• gergo- / ldrgen
  Liveness-driven random C code generator
  ☆41Updated 7 months ago
• ishiura-compiler / CF3
  "CF3" is a C compiler test suite targeting arithmetic optimization.
  ☆37Updated 7 years ago
• fay59 / interpiler
  Turn an interpreter into a code generator
  ☆31Updated 9 years ago
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆26Updated 4 years ago
• a3f / libvas
  Peek/Poke like it's 1979 - Multi-Platform memory reading/writing
  ☆12Updated 6 years ago
• ispras / quix86
  An x86-64 instruction decoder.
  ☆16Updated 11 months ago
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• burtonsamograd / anser
  A header only Boolean Propagator Network framework for the omni-directional computation of Integer mathematical functions and computation…
  ☆14Updated 6 years ago
• Sumith1896 / tusSAT
  A SAT solver implementation in VHDL, team tussle
  ☆20Updated 8 years ago
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆60Updated last week
• csmith-project / voltest
  Tools for testing C compilers for the correct handling of volatile objects.
  ☆26Updated 10 years ago
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 2 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
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• CTSRD-CHERI / beri
  The BERI and CHERI processor and hardware platform
  ☆47Updated 7 years ago
• drh / cdb
  A Machine-Independent Debugger
  ☆30Updated 4 months ago
• john-tornblom / llvm-p86
  A compiler and mutation testing framework for the programming language Pascal-86
  ☆18Updated 10 years ago
• OrangeTide / pcc
  Portable C Compiler (CVS mirror)
  ☆11Updated 12 years ago
• cdl-saarland / axtor
  AST - Extractor for LLVM
  ☆18Updated 3 years ago
• jimwhite / treemeta
  A revival of the TREE-META compiler-compiler.
  ☆14Updated 6 years ago
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆12Updated this week
• andrewchambers / qc
  quick c
  ☆35Updated 2 years ago
• rmmh / whomp
  reverse engineering branch predictors
  ☆17Updated 8 years ago
• been-jamming / TiBc
  Native B compiler for the Ti89
  ☆12Updated 5 years ago
• dcdelia / tinyvm
  A simple VM to play with OSR in LLVM
  ☆14Updated 7 years ago
• melt-umn / ableC
  Attribute grammar Based Language Extensions for C
  ☆40Updated last week
• BR903 / cppp
  A program for automatically resolving #ifdef statements in C code.
  ☆36Updated 3 months ago
• evdenis / verker
  Linux kernel library functions formally verified.
  ☆49Updated 4 years ago