Alternatives and similar repositories for paper-template

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

• philzook58 / awesome-egraphs
  An awesome list of e-graph resources
  ☆259Updated 3 weeks ago
• jmgorius / mlir-standalone-template
  An out-of-tree MLIR dialect template.
  ☆110Updated last year
• xdslproject / xdsl
  A Python compiler design toolkit.
  ☆444Updated last week
• arcana-lab / noelle
  NOELLE Offers Empowering LLVM Extensions
  ☆82Updated 3 months ago
• rutgers-apl / fpsanitizer
  A debugger to detect and diagnose numerical errors in floating point programs
  ☆12Updated 3 years ago
• numba / numba-mlir
  POC work on MLIR backend
  ☆61Updated last year
• arnabd88 / Satire
  Scalable yet rigorous Floating-point Error Analysis
  ☆11Updated 4 months ago
• aqjune / mlir-tv
  A translation validation framework for MLIR
  ☆89Updated 8 months ago
• BuildIt-lang / buildit
  Online demo without installing at - https://buildit.so/tryit
  ☆186Updated last week
• opencompl / Quidditch
  IREE compiler and runtime for Snitch
  ☆14Updated last month
• opencompl / lean-mlir
  A minimal development of SSA theory
  ☆197Updated this week
• PrincetonUniversity / cpf
  Collaborative Parallelization Framework (CPF)
  ☆32Updated 2 years ago
• verificarlo / verificarlo
  A tool for debugging and assessing floating point precision and reproducibility.
  ☆89Updated last month
• spcl / npbench
  NPBench - A Benchmarking Suite for High-Performance NumPy
  ☆90Updated last month
• UoB-HPC / TSVC_2
  Updated C version of the Test Suite for Vectorising Compilers
  ☆71Updated last year
• makslevental / mlir-python-extras
  The missing pieces (as far as boilerplate reduction goes) of the upstream MLIR python bindings.
  ☆113Updated 2 weeks ago
• inducer / islpy
  Python wrapper for isl, an integer set library
  ☆80Updated 3 weeks ago
• ssoelvsten / adiar
  An I/O-efficient implementation of (Binary) Decision Diagrams
  ☆31Updated last week
• PrincetonUniversity / SCAF
  A Speculation-Aware Collaborative Dependence Analysis Framework
  ☆28Updated last year
• tobiasgrosser / islplot
  Library to plot integer sets and maps
  ☆53Updated 8 years ago
• chunhualiao / freeCompilerCamp
  Goal: a website to automatically train and certify compiler researchers and developers
  ☆10Updated 5 years ago
• cucapra / diospyros
  Search-based compiler for high-performance DSP programming
  ☆69Updated last year
• cvc5 / ethos
  A Flexible and Efficient Proof Checker for SMT Solvers
  ☆26Updated this week
• mwillsey / cs265
  Website for CS 265
  ☆31Updated 10 months ago
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆104Updated this week
• ezyang / SMT-LIB-benchmarks-pytorch-shapes
  SMT-LIB benchmarks for shape computations from deep learning models in PyTorch
  ☆18Updated 2 years ago
• qqq-wisc / wisq
  ☆27Updated last week
• north-numerical-computing / cpfloat
  Custom-Precision Floating-point numbers.
  ☆38Updated 10 months ago
• mit-frap / spring22
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022
  ☆20Updated 3 years ago
• trolando / sylvan
  Implementation of multi-core (binary) decision diagrams
  ☆79Updated 2 months ago