opencompl / paper-template

Related projects ⓘ

Alternatives and complementary repositories for paper-template

• jmgorius / mlir-standalone-template
  An out-of-tree MLIR dialect template.
  ☆91Updated 2 months ago
• pnnl / COMET
  ☆37Updated this week
• PrincetonUniversity / SCAF
  A Speculation-Aware Collaborative Dependence Analysis Framework
  ☆28Updated 4 months ago
• arcana-lab / noelle
  NOELLE Offers Empowering LLVM Extensions
  ☆77Updated this week
• kumasento / polymer
  Bridging polyhedral analysis tools to the MLIR framework
  ☆102Updated last year
• PrincetonUniversity / cpf
  Collaborative Parallelization Framework (CPF)
  ☆32Updated last year
• makslevental / mlir-python-extras
  The missing pieces (as far as boilerplate reduction goes) of the upstream MLIR python bindings.
  ☆69Updated this week
• muhos / ParaFROST
  A Parallel SAT Solver with GPU Accelerated Inprocessing
  ☆86Updated 2 months ago
• spcl / mlir-dace
  Data-Centric MLIR dialect
  ☆38Updated last year
• stanford-centaur / pono
  Pono: A flexible and extensible SMT-based model checker
  ☆82Updated last month
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆77Updated this week
• aqjune / mlir-tv
  A translation validation framework for MLIR
  ☆73Updated last week
• stanford-centaur / smt-switch
  A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
  ☆114Updated this week
• UoB-HPC / TSVC_2
  Updated C version of the Test Suite for Vectorising Compilers
  ☆52Updated 8 months ago
• rutgers-apl / fpsanitizer
  A debugger to detect and diagnose numerical errors in floating point programs
  ☆12Updated 2 years ago
• ithemal / DiffTune
  ☆16Updated 2 years ago
• arminbiere / gimsatul
  ☆33Updated 4 months ago
• xdslproject / xdsl
  A Python Compiler Design Toolkit
  ☆278Updated this week
• ithemal / bhive
  ☆35Updated 2 years ago
• opencompl / dyn-dialect
  A repository to test dialects defined dynamically.
  ☆12Updated last year
• lac-dcc / hamsa
  A tool to extract complexities and costs from programs and kernels
  ☆17Updated last year
• compiler-tree-technologies / cil
  Generates CIL MLIR dialect from C/C++ source.
  ☆31Updated 3 years ago
• iml130 / mlir-emitc
  Conversions to MLIR EmitC
  ☆124Updated 3 months ago
• SSoelvsten / adiar
  An I/O-efficient implementation of (Binary) Decision Diagrams
  ☆24Updated last month
• arnabd88 / Satire
  Scalable yet rigorous Floating-point Error Analysis
  ☆11Updated 6 months ago
• hpcgarage / spatter
  Benchmark for measuring the performance of sparse and irregular memory access.
  ☆75Updated this week
• cucapra / diospyros
  Search-based compiler for high-performance DSP programming
  ☆61Updated 3 weeks ago
• SakalisC / Splash-3
  The Splash-3 benchmark suite
  ☆42Updated last year
• opencompl / lean-mlir
  A minimal development of SSA theory
  ☆88Updated this week
• spcl / haystack
  Haystack is an analytical cache model that given a program computes the number of cache misses.
  ☆42Updated 5 years ago