Alternatives and similar repositories for BOCA

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

• ucb-bar / autophase
  ☆35Updated 4 years ago
• ChrisCummins / paper-end2end-dl
  📝 "End-to-end Deep Learning of Optimization Heuristics" (🥇 PACT'17 Best Paper)
  ☆72Updated 3 years ago
• baco-authors / baco
  ☆17Updated 2 years ago
• quepas / Compiler-benchmark-suites
  A list of benchmark suites used in the research related to compilers, program performance, scientific computations etc.
  ☆58Updated 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…
  ☆98Updated 3 years ago
• IITH-Compilers / IR2Vec
  Implementation of IR2Vec, LLVM IR Based Scalable Program Embeddings
  ☆100Updated 8 months ago
• tud-ccc / compy-learn
  ComPy-Learn is a framework for exploring program representations for ML4CODE tasks.
  ☆22Updated 2 years ago
• shrutisaxena51 / Artificial-Intelligence-in-Compiler-Optimization
  A curated list of research papers, datasets, and tools for applying machine learning/Deep learning techniques to compilers and program op…
  ☆120Updated 2 years ago
• jyao15 / G-CLN
  ☆12Updated 3 years ago
• z11i / pysat
  Simple SAT solver with CDCL implemented in Python
  ☆19Updated 3 years ago
• jivimberg / cs243-summary
  Summary for Stanford class CS243 - Program Analysis and Optimizations | Winter 2016
  ☆32Updated 9 years ago
• RafaelTupynamba / SMTSampler
  SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints
  ☆31Updated 6 years ago
• MatthiasJReisinger / PolyBenchC-4.2.1
  PolyBench/C benchmark suite (version 4.2.1 beta) from http://web.cse.ohio-state.edu/~pouchet/software/polybench/
  ☆130Updated 9 years ago
• shaowei-cai-group / EasySAT
  A Simple CDCL Solver
  ☆35Updated 2 years ago
• ezyang / SMT-LIB-benchmarks-pytorch-shapes
  SMT-LIB benchmarks for shape computations from deep learning models in PyTorch
  ☆18Updated 3 years ago
• plaidml / mlir-generator
  Generator for MLIR files from known front-ends
  ☆16Updated 2 years ago
• amirjamez / COBAYN
  COBAYN: Compiler Autotuning Framework Using Bayesian Networks
  ☆20Updated 3 years ago
• gryan11 / cln2inv
  Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.
  ☆21Updated 5 years ago
• dselsam / neurocore-public
  NeuroCore: Guiding CDCL with Unsat-Core Predictions
  ☆47Updated 5 years ago
• liffiton / PyMiniSolvers
  A Python API for the MiniSat and MiniCard constraint solvers.
  ☆22Updated last month
• ise-uiuc / nnsmith
  Automated DNN generation for fuzz testing and more
  ☆143Updated last year
• SwarmArch / T4
  Code released to accompany the ISCA paper: "T4: Compiling Sequential Code for Effective Speculative Parallelization in Hardware"
  ☆28Updated 3 years ago
• IITH-Compilers / ml-llvm-project
  ☆27Updated 10 months ago
• shaowei-cai-group / ParKissat-RS
  Parallel SAT solver that won the SAT Competition 2022 by a large margin (24% faster than the 2nd ranked solver)
  ☆25Updated 3 years ago
• aqjune / mlir-tv
  A translation validation framework for MLIR
  ☆92Updated 10 months ago
• UoB-HPC / TSVC_2
  Updated C version of the Test Suite for Vectorising Compilers
  ☆71Updated last year
• jmgorius / mlir-standalone-template
  An out-of-tree MLIR dialect template.
  ☆113Updated last year
• ChrisCummins / ProGraML
  A Graph-based Program Representation for Data Flow Analysis and Compiler Optimizations
  ☆320Updated last year
• ucamrl / xrlflow
  ☆13Updated 2 years ago
• parsa-epfl / HBFPEmulator
  ColTraIn HBFP Training Emulator
  ☆16Updated 2 years ago