Alternatives and similar repositories for optcomp:

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

• regehr / pldi22-llvm-tutorial
  outline and links for PLDI 2022 tutorial
  ☆17Updated 2 years ago
• CMU-program-analysis / CMU-program-analysis.github.io
  Public-facing course info for program analysis materials.
  ☆38Updated last month
• goyalankit / compilers-and-llvm
  LLVM optimization passes (DCE, LICM), compilers and stuff
  ☆14Updated 4 years ago
• tpchina / tpchina.github.io
  ☆16Updated 2 years ago
• mc-imperial / sctbench
  SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.
  ☆28Updated 3 years ago
• ftsrg / gazer
  An LLVM-based formal verification frontend for C programs.
  ☆24Updated 3 years ago
• fredfeng / CS190I
  Program Synthesis
  ☆12Updated 3 years ago
• ajwijs / GPUexplore
  GPU model checker
  ☆11Updated 5 years ago
• travitch / llvm-analysis
  A library for analyzing LLVM bitcode in Haskell
  ☆43Updated 10 years ago
• seahorn / llvm-dsa
  LLVM DSA fork for SeaHorn
  ☆21Updated 5 years ago
• aqjune / mlir-tv
  A translation validation framework for MLIR
  ☆78Updated 2 months ago
• rutgers-apl / alive-nj
  Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM
  ☆28Updated 5 years ago
• mit-pdos / ward
  ☆31Updated 3 years ago
• c11tester / c11tester
  Tool for testing programs with C/C++11 Atomics
  ☆11Updated last month
• seahorn / verify-c-common
  ☆16Updated 7 months ago
• vhscampos / range-analysis
  Static range analysis for the LLVM compiler infrastructure.
  ☆55Updated 5 years ago
• Mrktn / ccg
  CCG is a random C Code Generator
  ☆43Updated 2 years ago
• pcminer-tools / pcminer
  PC-miner tool for program chairs
  ☆24Updated last month
• pcousot / slides
  slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021
  ☆16Updated 2 years ago
• uw-unsat / serval
  ☆46Updated 2 years ago
• kitbarton / LLVMLoopOptTutorial
  Tutorial for LLVM Dev Conference 2019.
  ☆14Updated 5 years ago
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆62Updated 2 weeks ago
• uw-unsat / serval-sosp19
  This repo contains the artifact for our SOSP'19 paper on Serval
  ☆28Updated 5 years ago
• 95616ARG / pikos_popl2020
  Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation
  ☆16Updated 4 years ago
• sfu-arch / llvm-epp
  Efficient Path Profiling using LLVM
  ☆19Updated 7 years ago
• karelklic / canal
  Abstract interpreter for real-world application programs
  ☆32Updated 11 years ago
• jarulraj / llvm
  Compiler Course
  ☆17Updated 9 years ago
• sqlancer / bugs
  A list of bugs found by SQLancer
  ☆14Updated 11 months ago
• Graspan / graspan-cpp
  This is a C++ implementation of Graspan.
  ☆32Updated last year
• FP-Analysis / atomic-condition
  ☆20Updated 5 years ago