Alternatives and similar repositories for gnu-superopt:

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

• Schol-R-LEA / Assiah
  A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures
  ☆16Updated 6 years ago
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆26Updated 4 years ago
• embecosm / gso2
  GNU Superoptimizer Version 2
  ☆26Updated 3 years ago
• ishiura-compiler / CF3
  "CF3" is a C compiler test suite targeting arithmetic optimization.
  ☆37Updated 7 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• ispras / quix86
  An x86-64 instruction decoder.
  ☆16Updated last year
• john-tornblom / llvm-p86
  A compiler and mutation testing framework for the programming language Pascal-86
  ☆18Updated 10 years ago
• skeeto / carpet-fractal-genetics
  Carpet fractal genetic algorithm
  ☆12Updated 7 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
• maandree / libparser
  Context-free grammar parsing library
  ☆10Updated 5 months ago
• andrewchambers / qc
  quick c
  ☆35Updated 3 years ago
• gergo- / ldrgen
  Liveness-driven random C code generator
  ☆41Updated 9 months ago
• aposwolsky / delphin
  The Delphin Project
  ☆10Updated 8 years ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆20Updated 9 years ago
• fred-dbg / fred
  ☆21Updated 9 years ago
• bford / PIOS
  PIOS: Parallel Instructional Operating System - Instructional Template Code
  ☆37Updated 12 years ago
• grokthis / ucisc
  ☆23Updated 2 years ago
• ztane / rpi-barebones
  Raspberry PI barebones kernel.
  ☆21Updated 12 years ago
• stevenbagley / metaii
  Common lisp implementation of Val Schorr's Meta-II language
  ☆18Updated 8 years ago
• fay59 / interpiler
  Turn an interpreter into a code generator
  ☆31Updated 9 years ago
• CTSRD-CHERI / beri
  The BERI and CHERI processor and hardware platform
  ☆50Updated 8 years ago
• nickgildea / z3_codegen
  A toy code generator (i.e. "program synthesis") using the Z3 solver
  ☆35Updated 7 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆30Updated 3 years ago
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 3 years ago
• melt-umn / ableC
  Attribute grammar Based Language Extensions for C
  ☆41Updated last month
• sumith1896 / tusSAT
  A SAT solver implementation in VHDL, team tussle
  ☆20Updated 8 years ago
• falk-hueffner / sematrope
  Superoptimizer using the z3 SMT solver
  ☆17Updated 3 years ago
• ForwardCom / bintools
  Binary tools: assembler, disassembler, linker, library manager, emulator
  ☆60Updated 2 months ago
• KnightOS / kcc
  KnightOS C compiler
  ☆24Updated 4 years ago
• feroldi / oxide
  Regionalized Value State Dependence Graph written in Rust
  ☆9Updated 5 years ago