Alternatives and similar repositories for paper-template

Users that are interested in paper-template are comparing it to the libraries listed below

• jmgorius / mlir-standalone-template
  An out-of-tree MLIR dialect template.
  ☆101Updated 8 months ago
• opencompl / lean-mlir
  A minimal development of SSA theory
  ☆131Updated this week
• philzook58 / awesome-egraphs
  An awesome list of e-graph resources
  ☆164Updated 3 weeks ago
• stanford-centaur / pono
  Pono: A flexible and extensible SMT-based model checker
  ☆101Updated this week
• pnnl / COMET
  ☆41Updated last week
• aqjune / mlir-tv
  A translation validation framework for MLIR
  ☆81Updated last month
• numba / numba-mlir
  POC work on MLIR backend
  ☆55Updated 8 months ago
• xdslproject / xdsl
  A Python Compiler Design Toolkit
  ☆343Updated this week
• tobiasgrosser / islplot
  Library to plot integer sets and maps
  ☆49Updated 8 years ago
• makslevental / mlir-python-extras
  The missing pieces (as far as boilerplate reduction goes) of the upstream MLIR python bindings.
  ☆94Updated this week
• arcana-lab / noelle
  NOELLE Offers Empowering LLVM Extensions
  ☆76Updated 3 weeks ago
• makslevental / mlir-wheels
  ☆23Updated last week
• spcl / npbench
  NPBench - A Benchmarking Suite for High-Performance NumPy
  ☆81Updated 3 weeks ago
• kumasento / polymer
  Bridging polyhedral analysis tools to the MLIR framework
  ☆110Updated last year
• mwillsey / cs265
  Website for CS 265
  ☆28Updated 4 months ago
• opencompl / dyn-dialect
  A repository to test dialects defined dynamically.
  ☆12Updated last year
• muhos / ParaFROST
  A Parallel SAT Solver with GPU Accelerated Inprocessing
  ☆109Updated 2 weeks ago
• stanford-centaur / smt-switch
  A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
  ☆125Updated this week
• rutgers-apl / fpsanitizer
  A debugger to detect and diagnose numerical errors in floating point programs
  ☆12Updated 2 years ago
• cucapra / diospyros
  Search-based compiler for high-performance DSP programming
  ☆64Updated 6 months ago
• antoinemine / apron
  Apron Numerical Abstract Domain Library
  ☆125Updated 2 months ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆48Updated 2 years ago
• opencompl / mlir-fuzz
  A enumerator for MLIR, relying on the information given by IRDL.
  ☆19Updated last month
• PrincetonUniversity / SCAF
  A Speculation-Aware Collaborative Dependence Analysis Framework
  ☆28Updated 10 months ago
• PrincetonUniversity / cpf
  Collaborative Parallelization Framework (CPF)
  ☆32Updated last year
• emeryberger / PC-Resources
  Resources for conference program chairs, especially in systems/PL areas of computer science.
  ☆11Updated 2 years ago
• ezyang / SMT-LIB-benchmarks-pytorch-shapes
  SMT-LIB benchmarks for shape computations from deep learning models in PyTorch
  ☆17Updated 2 years ago
• opencompl / Quidditch
  IREE compiler and runtime for Snitch
  ☆11Updated last month
• eth-sri / ELINA
  ELINA: ETH LIbrary for Numerical Analysis
  ☆131Updated 2 years ago
• BuildIt-lang / buildit
  Online demo without installing at - https://buildit.so/tryit
  ☆171Updated last month