Alternatives and similar repositories for optmark:

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

• yugr / sortcheck
  Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.
  ☆51Updated 2 months ago
• drepper / gcc-passes
  gcc plugin to discover optimization passes used during compilation
  ☆20Updated 4 years ago
• skeeto / purgeable
  Purgeable memory allocations for Linux
  ☆30Updated 5 years ago
• InstLatx64 / AVX512_PopCnt
  AVX512 population count routines
  ☆22Updated 5 years ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆73Updated this week
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 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
• deater / deterministic
  code for examining determinism of performance counters
  ☆21Updated 4 years ago
• backtrace-labs / poireau
  Poireau: a sampling allocation debugger
  ☆87Updated 3 years ago
• vusec / deltapointers
  Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)
  ☆52Updated 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 6 months ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆69Updated 8 years ago
• yugr / libdebugme
  Automatically spawn gdb on error.
  ☆66Updated 2 years ago
• luhsra / chash
  CLang Plugin for calculating AST hashes
  ☆15Updated 6 years ago
• Wunkolo / Intriman
  Intriman is a documentation generator that retargets the Intel Intrinsics Guide to other documentation formats
  ☆28Updated 2 years ago
• trailofbits / clang-tidy-audit
  Rewrite C/C++/Obj-C to Annotate Points of Interest
  ☆27Updated 9 years ago
• emeryberger / dthreads
  dthreads: Efficient Deterministic Multithreading
  ☆51Updated 10 years ago
• geofflangdale / sheng
  A small DFA for under 16 states
  ☆51Updated 6 years ago
• ishiura-compiler / CF3
  "CF3" is a C compiler test suite targeting arithmetic optimization.
  ☆37Updated 7 years ago
• Mrktn / ccg
  CCG is a random C Code Generator
  ☆43Updated 2 years ago
• kristerw / deadstores
  A Valgrind tool for finding redundant loads/stores
  ☆21Updated 5 years ago
• InstLatx64 / InstLatX64_Demo
  InstLatX64_Demo
  ☆42Updated last month
• StanfordPL / strata-data
  Experimental results of the strata project
  ☆9Updated 8 years ago
• marcin-osowski / cmov
  Measuring cmov vs branch-mov performance
  ☆85Updated 7 years ago
• pkhuong / barrierd
  Safely privileged daemon to let userspace wait on global barriers with low, constant overhead
  ☆17Updated 5 years ago
• drepper / gcc-opt-enabled
  ☆14Updated 2 years ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆20Updated 9 years ago
• jfbastien / jit-talk
  ☆48Updated 4 years ago
• zwegner / x86-info-term
  A terminal viewer for x86 instruction/intrinsic information using Python 3 + curses
  ☆128Updated 2 years ago
• rcseacord / cmp_int
  C implementation of C++ Utility functions https://en.cppreference.com/w/cpp/utility/intcmp
  ☆18Updated 2 years ago