Alternatives and similar repositories for optmark

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

• drepper / gcc-passes
  gcc plugin to discover optimization passes used during compilation
  ☆20Updated 4 years ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆21Updated 9 years ago
• yugr / sortcheck
  Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.
  ☆52Updated 5 months ago
• luhsra / chash
  CLang Plugin for calculating AST hashes
  ☆15Updated 6 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆70Updated 9 years ago
• InstLatx64 / AVX512_PopCnt
  AVX512 population count routines
  ☆22Updated 5 years ago
• vusec / deltapointers
  Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)
  ☆54Updated 3 years ago
• sheredom / fpscev
  Floating-Point Scalar Evolution
  ☆12Updated 5 years ago
• skeeto / purgeable
  Purgeable memory allocations for Linux
  ☆31Updated 5 years ago
• zwegner / x86-info-term
  A terminal viewer for x86 instruction/intrinsic information using Python 3 + curses
  ☆129Updated 2 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆104Updated 9 months ago
• deater / deterministic
  code for examining determinism of performance counters
  ☆21Updated 4 years ago
• Mrktn / ccg
  CCG is a random C Code Generator
  ☆44Updated 2 years ago
• backtrace-labs / poireau
  Poireau: a sampling allocation debugger
  ☆97Updated 3 years ago
• novt-vtable-less-compiler / novt-llvm
  NoVT is a compiler-based defense against vtable hijacking in C++ programs. It compiles C++ programs without using vtables.
  ☆50Updated 2 years ago
• WojciechMula / ternary-logic
  Support for ternary logic in SSE, XOP, AVX2 and x86 programs
  ☆31Updated 5 months ago
• nicola-gigante / bitvector
  A C++ container-like data structure for storing a vector of bits with fast appending on both sides and fast insertion in the middle, all …
  ☆26Updated 3 years ago
• frdwarf / dwarf-synthesis
  ☆29Updated 5 years ago
• lemire / multiplatform_simd_recipes
  SIMD recipes, for various platforms (collection of code snippets)
  ☆49Updated 4 years ago
• b-shi / PMC-PMI
  Performance Counter Measurements at the cycle granularity
  ☆18Updated 3 years ago
• yugr / libdebugme
  Automatically spawn gdb on error.
  ☆66Updated 2 years ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆73Updated this week
• freeCompilerCamp / freecompilercamp.github.io
  The website for freeCompilerCamp's classroom tutorials, using Github Pages.
  ☆32Updated 3 years ago
• nickgildea / z3_codegen
  A toy code generator (i.e. "program synthesis") using the Z3 solver
  ☆35Updated 7 years ago
• regehr / llvm-dataflow-info
  print information from LLVM dataflow analyses
  ☆13Updated 5 years ago
• drepper / gcc-opt-enabled
  ☆14Updated 2 years ago
• eklitzke / demangle
  Tool to demangle C++ symbols.
  ☆58Updated 2 years ago
• 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
• kristerw / deadstores
  A Valgrind tool for finding redundant loads/stores
  ☆21Updated 5 years ago