Alternatives and similar repositories for Shackleton-Framework

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

• gleisonsdm / DawnCC-Compiler
  A source-to-source compiler for automatic parallelization of C programs through code annotation.
  ☆62Updated 5 years ago
• Mogball / declarative-mlir-compiler
  Declarative MLIR compilers in Python!
  ☆35Updated 4 years ago
• minotaur-toolkit / minotaur
  A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
  ☆111Updated this week
• wsmoses / Tapir-LLVM
  Tapir extension to LLVM for optimizing Parallel Programs
  ☆135Updated 5 years ago
• sanjoy / pyano
  A formalization of first-order logic and Peano's axioms in Python
  ☆20Updated 3 months ago
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆34Updated 4 years ago
• squisher / stella
  DSL with focus on simulations: Compiling a subset of Python with LLVM for high-performance execution
  ☆11Updated 9 years ago
• google-research / structured-additive-IR
  ☆61Updated this week
• mangpo / swizzle-inventor
  A framework that helps implementing swizzle GPU kernels
  ☆42Updated 5 years ago
• intel / vc-intrinsics
  ☆58Updated this week
• periscop / candl
  Data Dependence Analyzer in the Polyhedral Model
  ☆21Updated last year
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆40Updated 2 years ago
• LLNL / unum
  Universal Number Library
  ☆44Updated 7 years ago
• unison-code / unison
  Unison's source code
  ☆108Updated last year
• ithemal / Ithemal
  Instruction THroughput Estimator using MAchine Learning (ITHEMAL)
  ☆150Updated 3 years ago
• uwplse / synapse
  Optimizing Synthesis with Metasketches, POPL 2016
  ☆23Updated 8 years ago
• nunoplopes / torchy
  A tracing JIT compiler for PyTorch
  ☆13Updated 3 years ago
• makslevental / mmlir
  A minimal (really) out-of-tree MLIR example
  ☆44Updated last month
• Etaphase / FastSigmoids.jl
  Sigmoid Numbers backed by IEEE Floats
  ☆17Updated 8 years ago
• mangpo / greenthumb
  ☆88Updated 3 years ago
• cilkplus / llvm
  The cilkplus/llvm repo implements the Intel Cilk Plus language extensions to C and C++ in LLVM.
  ☆69Updated 9 years ago
• microsoft / vcc
  A static verifier for concurrent C programs
  ☆136Updated 4 years ago
• kkrawiec / CDGP
  Counterexample-Driven Genetic Programming
  ☆18Updated 3 years ago
• smowton / llpe
  ☆54Updated last year
• facebookresearch / loop_tool
  A thin, highly portable toolkit for efficiently compiling dense loop-based computation.
  ☆148Updated 2 years ago
• michalpaszkowski / LLVM-Canon
  LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semanti…
  ☆15Updated last year
• cdl-saarland / rv
  RV: A Unified Region Vectorizer for LLVM
  ☆112Updated 3 months ago
• InstLatx64 / InstLatX64_Demo
  InstLatX64_Demo
  ☆44Updated last month
• ithemal / bhive
  ☆40Updated 3 years ago
• revec / llvm-revec
  Revectorization passes integrated into the LLVM compiler infrastructure
  ☆30Updated 6 years ago