Alternatives and similar repositories for Shackleton-Framework

Users that are interested in Shackleton-Framework are comparing it to the libraries listed below

• mangpo / greenthumb
  ☆88Updated 3 years ago
• gleisonsdm / DawnCC-Compiler
  A source-to-source compiler for automatic parallelization of C programs through code annotation.
  ☆62Updated 5 years ago
• nimit-singhania / loopy
  A system for programming formally-verified loop transformations.
  ☆16Updated 6 years ago
• wsmoses / Tapir-LLVM
  Tapir extension to LLVM for optimizing Parallel Programs
  ☆135Updated 5 years ago
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆33Updated 4 years ago
• Mogball / declarative-mlir-compiler
  Declarative MLIR compilers in Python!
  ☆35Updated 4 years ago
• cdl-saarland / rv
  RV: A Unified Region Vectorizer for LLVM
  ☆111Updated last month
• aqjune / mlir-tv
  A translation validation framework for MLIR
  ☆87Updated 4 months ago
• periscop / candl
  Data Dependence Analyzer in the Polyhedral Model
  ☆20Updated last year
• google-research / structured-additive-IR
  ☆61Updated last week
• 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
• ithemal / bhive
  ☆40Updated 3 years ago
• microsoft / vcc
  A static verifier for concurrent C programs
  ☆135Updated 4 years ago
• gussmith23 / glenside
  A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…
  ☆70Updated last month
• jmd1011 / snek-LMS
  Implementation of Lightweight Modular Staging (LMS) in Python
  ☆48Updated 6 years ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆49Updated 2 years ago
• canalcache / canal
  ☆16Updated 6 years ago
• ezyang / SMT-LIB-benchmarks-pytorch-shapes
  SMT-LIB benchmarks for shape computations from deep learning models in PyTorch
  ☆17Updated 2 years ago
• ChezJrk / verified-scheduling
  ☆40Updated last year
• bthies / streamit
  The StreamIt compiler infrastructure.
  ☆71Updated 8 years ago
• ithemal / Ithemal
  Instruction THroughput Estimator using MAchine Learning (ITHEMAL)
  ☆148Updated 3 years ago
• mc-imperial / gpuverify
  GPUVerify: a Verifier for GPU Kernels
  ☆63Updated 2 years ago
• nunoplopes / torchy
  A tracing JIT compiler for PyTorch
  ☆13Updated 3 years ago
• utwente-fmt / sylvan
  Multi-core Decision Diagram (BDD/LDD) implementation
  ☆44Updated last year
• caparrov / ERM
  Extended Roofline Model - LLVM source tree with additional libraries for the analysis of the dynamic execution in the interpreter
  ☆17Updated 8 years ago
• cucapra / diospyros
  Search-based compiler for high-performance DSP programming
  ☆66Updated 8 months ago
• periscop / cloog
  The CLooG Code Generator in the Polyhedral Model
  ☆47Updated 2 years ago
• uwplse / synapse
  Optimizing Synthesis with Metasketches, POPL 2016
  ☆23Updated 8 years ago
• ChrisCummins / paper-synthesizing-benchmarks
  📝 "Synthesizing Benchmarks for Predictive Modeling" (🥇 CGO'17 Best Paper)
  ☆22Updated 2 years ago
• sdasgup3 / partial-redundancy-elimination
  Partial Redundancy Elimination Pass in LLVM
  ☆13Updated 6 years ago