Alternatives and similar repositories for clgen

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

• ChrisCummins / paper-end2end-dl
  📝 "End-to-end Deep Learning of Optimization Heuristics" (🥇 PACT'17 Best Paper)
  ☆73Updated 2 years ago
• ChrisCummins / paper-synthesizing-benchmarks
  📝 "Synthesizing Benchmarks for Predictive Modeling" (🥇 CGO'17 Best Paper)
  ☆22Updated 2 years ago
• spcl / ncc
  Neural Code Comprehension: A Learnable Representation of Code Semantics
  ☆213Updated 5 months ago
• ChrisCummins / phd
  👨‍💻 My PhD.
  ☆187Updated 2 years ago
• ChrisCummins / ProGraML
  A Graph-based Program Representation for Data Flow Analysis and Compiler Optimizations
  ☆317Updated 11 months ago
• microsoft / DeepCoder-Utils
  Utilities used in the experiments for the DeepCoder paper (ICLR'17)
  ☆61Updated 2 years ago
• intel / neuro-vectorizer
  NeuroVectorizer is a framework that uses deep reinforcement learning (RL) to predict optimal vectorization compiler pragmas for for loops…
  ☆94Updated 2 years ago
• praveenkulkarni1996 / awesome-program-synthesis
  An curated list of papers on program synthesis.
  ☆69Updated 5 years ago
• tud-ccc / compy-learn
  ComPy-Learn is a framework for exploring program representations for ML4CODE tasks.
  ☆23Updated last year
• ChrisLidbury / CLSmith
  OpenCL extension for csmith.
  ☆24Updated 8 years ago
• dkamm / deepcoder
  Deepcoder paper implementation
  ☆118Updated 2 years ago
• nearai / program_synthesis
  Program Synthesis
  ☆145Updated 4 years ago
• Kolkir / cppminer
  cppminer produces a code2seq compatible datasets from C++ code bases.
  ☆23Updated 5 years ago
• HiroakiMikami / deep-coder
  Re-implement DeepCoder (https://openreview.net/pdf?id=ByldLrqlx)
  ☆108Updated 5 years ago
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆59Updated 4 months ago
• learnbigcode / learnbigcode.github.io
  Website for Learning from "Big Code"
  ☆29Updated 3 years ago
• ASSERT-KTH / CodRep
  58069 Java source code diffs. http://arxiv.org/pdf/1807.03200
  ☆93Updated 5 years ago
• fivosts / BenchPress
  Source code for "BenchPress: A Deep Active Benchmark Generator", PACT 2022
  ☆22Updated 2 years ago
• src-d / code2vec
  MLonCode community effort to implement Learning Distributed Representations of Code (https://arxiv.org/pdf/1803.09473.pdf)
  ☆39Updated 6 years ago
• lipeng28 / Gklee
  GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs
  ☆16Updated 10 years ago
• wsmoses / Tapir-LLVM
  Tapir extension to LLVM for optimizing Parallel Programs
  ☆134Updated 5 years ago
• mjc92 / buffer_overrun_memory_networks
  ☆20Updated 8 years ago
• microsoft / dpu-utils
  Utilities used by the Deep Program Understanding team
  ☆102Updated last year
• eth-sri / fastsmt
  Learning to Solve SMT Formulas Fast
  ☆86Updated 11 months ago
• mast-group / codemining-core
  A set of tools for extracting tokens and ASTs from code
  ☆22Updated 6 years ago
• marcelwa / CEGIS
  Counter-example guided inductive synthesis (CEGIS) implementation for the SMT solver Z3 by Microsoft Research
  ☆51Updated 8 years ago
• nsumner / llvm-dataflow-analysis
  ☆63Updated 5 years ago
• harvard-acc / LLVM-Tracer
  An LLVM pass to profile dynamic LLVM IR instructions and runtime values
  ☆139Updated 4 years ago
• msv-lab / angelix
  Semantic program repair system for C programs
  ☆100Updated 2 years ago
• pfalcon / graph-llvm-ir
  Visualization of LLVM IR
  ☆59Updated 11 years ago