Alternatives and similar repositories for compy-learn:

Users that are interested in compy-learn are comparing it to the libraries listed below

• IITH-Compilers / IR2Vec
  Implementation of IR2Vec, LLVM IR Based Scalable Program Embeddings
  ☆89Updated this week
• tud-ccc / learning-compiler-graphs
  ☆14Updated 4 years ago
• ise-uiuc / tzer
  Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.
  ☆69Updated last year
• gryan11 / cln2inv
  Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.
  ☆21Updated 4 years ago
• ZiwenWan / Program-Dependence-Graph-in-LLVM
  ☆38Updated last year
• CMU-program-analysis / CMU-program-analysis.github.io
  Public-facing course info for program analysis materials.
  ☆39Updated 2 months ago
• mimicji / FlowMatrix
  FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22
  ☆27Updated last year
• shaowei-cai-group / z3pp
  ☆48Updated 10 months ago
• Graspan / graspan-cpp
  This is a C++ implementation of Graspan.
  ☆32Updated last year
• RafaelTupynamba / SMTSampler
  SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints
  ☆25Updated 5 years ago
• dpankratz / TVMFuzz
  TVMFuzz: fuzzing tensor-level intermediate representation in TVM
  ☆28Updated 4 years ago
• ise-uiuc / nnsmith
  Automatic DNN generation for fuzzing and more
  ☆127Updated last month
• testsmt / janus
  A tool for testing SMT solvers for incompleteness bugs
  ☆15Updated 2 years ago
• ChrisCummins / paper-end2end-dl
  📝 "End-to-end Deep Learning of Optimization Heuristics" (🥇 PACT'17 Best Paper)
  ☆73Updated 2 years ago
• library-testing / Muffin
  This is the implementation repository of our ICSE'22 paper: Muffin: Testing Deep Learning Libraries via Neural Architecture Fuzzing.
  ☆30Updated 2 years ago
• nsumner / llvm-dataflow-analysis
  ☆63Updated 5 years ago
• llvm-ml / llvm-ir-dataset-utils
  Utilities for constructing a large dataset of LLVM IR
  ☆17Updated 6 months ago
• IITH-Compilers / LLVM-Loop-Profiler
  ☆15Updated 5 years ago
• DengMinghua / LLVM-Program-Dependency-Graph-Generator
  A pass that can generate PDG(in *.dot) for LLVM.
  ☆36Updated 8 years ago
• FP-Analysis / atomic-condition
  ☆20Updated 5 years ago
• ise-uiuc / FreeFuzz
  Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)
  ☆74Updated 2 years ago
• ucb-bar / autophase
  ☆29Updated 3 years ago
• wintered / ET
  Enumerative Testing and Bounded Validation of SMT Solvers
  ☆22Updated 3 months ago
• batchenRothenberg / AllRepair
  ☆11Updated 3 years ago
• dynaroars / dig
  DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) progra…
  ☆39Updated 5 months ago
• hbgit / Map2Check
  Map2Check: Finding Software Vulnerabilities
  ☆27Updated 4 years ago
• mc-imperial / sctbench
  SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.
  ☆28Updated 3 years ago
• MachSMT / MachSMT
  MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers
  ☆20Updated last year
• ftsrg / gazer
  An LLVM-based formal verification frontend for C programs.
  ☆24Updated 3 years ago
• Graspan / graspan-java
  This is java implementation of Graspan.
  ☆20Updated last year