Alternatives and similar repositories for fpscev:

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

• nickgildea / z3_codegen
  A toy code generator (i.e. "program synthesis") using the Z3 solver
  ☆35Updated 7 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• drepper / optmark
  Markup source code showing optimizations
  ☆36Updated 5 years ago
• sdasgup3 / partial-redundancy-elimination
  Partial Redundancy Elimination Pass in LLVM
  ☆13Updated 5 years ago
• SNSystems / dexter
  DExTer - Debug Experience Tester
  ☆33Updated 3 years ago
• kavon / atJIT
  autotuning C++, just-in-time!
  ☆51Updated 5 years ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆36Updated last year
• malithj / marlin
  Library with JIT (Just-in-time) compilation support to optimize performance of small and medium matrix multiplication
  ☆14Updated 3 years ago
• luhsra / chash
  CLang Plugin for calculating AST hashes
  ☆15Updated 6 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
  ☆29Updated 5 years ago
• trolando / lace
  Lace - implementation of work-stealing in C
  ☆35Updated 10 months ago
• WojciechMula / ternary-logic
  Support for ternary logic in SSE, XOP, AVX2 and x86 programs
  ☆31Updated last month
• deater / deterministic
  code for examining determinism of performance counters
  ☆21Updated 3 years ago
• b-shi / PMC-PMI
  Performance Counter Measurements at the cycle granularity
  ☆18Updated 3 years ago
• rmmh / whomp
  reverse engineering branch predictors
  ☆17Updated 9 years ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆20Updated 9 years ago
• martinjonas / Q3B
  ☆27Updated 9 months ago
• halo-project / halo
  😇 Wholly Adaptive LLVM Optimizer
  ☆27Updated 4 years ago
• rcorcs / llvm-heat-printer
  LLVM Profiling Visualization
  ☆84Updated 3 years ago
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆26Updated 4 years ago
• compiler-tree-technologies / cil
  Generates CIL MLIR dialect from C/C++ source.
  ☆32Updated 4 years ago
• julianjensen / dominators
  Various dominator tree algorithms
  ☆22Updated 4 years ago
• travisdowns / toupper-bench
  Benchmark supporting baseless libel against clang-format
  ☆11Updated 5 years ago
• llvm-mirror / lnt
  Mirror of official llvm git repository located at http://llvm.org/git/lnt. Updated every five minutes.
  ☆12Updated 4 years ago
• Mrktn / ccg
  CCG is a random C Code Generator
  ☆43Updated 2 years ago
• cisco-open / llvm-crash-analyzer
  llvm crash analysis
  ☆43Updated 8 months ago
• eschulte / llvm-mutate
  manipulate LLVM IR files
  ☆32Updated 9 years ago
• jplevyak / ifa
  IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…
  ☆12Updated last week
• CompArchCam / Janus
  Automatic Binary Parallelisation
  ☆41Updated this week
• NVIDIA / Forma
  DSL for stencils and image processing
  ☆13Updated 8 years ago