Alternatives and similar repositories for llvm-ir-dataset-utils

Users that are interested in llvm-ir-dataset-utils are comparing it to the libraries listed below

• IITH-Compilers / IR2Vec
  Implementation of IR2Vec, LLVM IR Based Scalable Program Embeddings
  ☆100Updated 2 months ago
• IITH-Compilers / ML-Compiler-Bridge
  Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations
  ☆18Updated last month
• ezyang / SMT-LIB-benchmarks-pytorch-shapes
  SMT-LIB benchmarks for shape computations from deep learning models in PyTorch
  ☆17Updated 2 years ago
• jordiae / neural-compilers
  ☆20Updated 3 years ago
• IITH-Compilers / ml-llvm-project
  ☆21Updated 4 months ago
• metalift / metalift
  A program synthesis framework for verified lifting applications
  ☆54Updated 2 months ago
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆65Updated 5 months ago
• tud-ccc / compy-learn
  ComPy-Learn is a framework for exploring program representations for ML4CODE tasks.
  ☆23Updated 2 years ago
• hephaestus-compiler-project / hephaestus
  A framework for testing compilers' type checkers
  ☆54Updated last year
• jordiae / exebench
  ☆35Updated 2 years ago
• ise-uiuc / tzer
  Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.
  ☆70Updated 2 years ago
• martineberlein / avicenna
  Debugging Prototype Avicenna
  ☆10Updated 5 months ago
• aqjune / mlir-tv
  A translation validation framework for MLIR
  ☆88Updated 4 months ago
• brenocfg / AnghaBench
  A benchmark suite containing 1 million compilable programs, mined from the largest public C repositories on GitHub.
  ☆112Updated 5 years ago
• secure-software-engineering / TypeEvalPy
  A Micro-benchmarking Framework for Python Type Inference Tools
  ☆34Updated 3 months ago
• ChrisCummins / ProGraML
  A Graph-based Program Representation for Data Flow Analysis and Compiler Optimizations
  ☆319Updated last year
• dynaroars / dig
  DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) progra…
  ☆50Updated 2 months ago
• gonglinyuan / ast_t5
  ☆67Updated last year
• philzook58 / awesome-egraphs
  An awesome list of e-graph resources
  ☆201Updated last month
• LearningOpt / pie
  ☆52Updated last year
• FP-Analysis / atomic-condition
  ☆22Updated 5 years ago
• mimicji / FlowMatrix
  FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22
  ☆28Updated 2 years ago
• murxla / murxla
  A model-based API Fuzzer for SMT Solvers.
  ☆14Updated 3 weeks ago
• moyix / fpsmt_gpu
  Solving floating point SMT constraints on a GPU
  ☆49Updated 4 years ago
• fivosts / BenchPress
  Source code for "BenchPress: A Deep Active Benchmark Generator", PACT 2022
  ☆21Updated 2 years ago
• gryan11 / cln2inv
  Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.
  ☆21Updated 5 years ago
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆34Updated 4 years ago
• ShenQingchao / DLCstudy
  This is the project repository of our ESEC/FSE 2021 paper: A Comprehensive Study of Deep Learning Compiler Bugs.
  ☆23Updated last year
• cmu-pasta / mu2
  Mutation-guided mutation-based fuzz testing
  ☆46Updated last year
• ssvlab / esbmc-gpu
  ESBMC-GPU is a context-bounded model checker based on the satisfiability modulo theories (SMT) to check for data race, deadlock, pointer …
  ☆7Updated 8 years ago