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
  ☆254Updated last week
• xdslproject / xdsl
  A Python compiler design toolkit.
  ☆438Updated this week
• numba / numba-mlir
  POC work on MLIR backend
  ☆61Updated last year
• jmgorius / mlir-standalone-template
  An out-of-tree MLIR dialect template.
  ☆110Updated last year
• spcl / npbench
  NPBench - A Benchmarking Suite for High-Performance NumPy
  ☆89Updated last month
• makslevental / mlir-python-extras
  The missing pieces (as far as boilerplate reduction goes) of the upstream MLIR python bindings.
  ☆111Updated 3 weeks ago
• cucapra / diospyros
  Search-based compiler for high-performance DSP programming
  ☆69Updated last year
• north-numerical-computing / cpfloat
  Custom-Precision Floating-point numbers.
  ☆38Updated 9 months ago
• muhos / ParaFROST
  A Parallel SAT Solver with GPU Accelerated Inprocessing
  ☆133Updated last week
• BuildIt-lang / buildit
  Online demo without installing at - https://buildit.so/tryit
  ☆184Updated 2 weeks ago
• mwillsey / cs265
  Website for CS 265
  ☆30Updated 10 months ago
• opencompl / lean-mlir
  A minimal development of SSA theory
  ☆192Updated this week
• aqjune / mlir-tv
  A translation validation framework for MLIR
  ☆89Updated 7 months ago
• sdiehl / mlir-egglog
  A toy compiler for NumPy array expressions that uses e-graphs and MLIR
  ☆109Updated 2 months ago
• makslevental / mlir-wheels
  ☆28Updated last month
• inducer / islpy
  Python wrapper for isl, an integer set library
  ☆78Updated this week
• ezyang / SMT-LIB-benchmarks-pytorch-shapes
  SMT-LIB benchmarks for shape computations from deep learning models in PyTorch
  ☆18Updated 2 years ago
• ChezJrk / verified-scheduling
  ☆42Updated last week
• ssoelvsten / adiar
  An I/O-efficient implementation of (Binary) Decision Diagrams
  ☆31Updated last month
• egraphs-good / snake-egg
  Python bindings for egg
  ☆49Updated 2 years ago
• mit-frap / spring22
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022
  ☆20Updated 3 years ago
• UoB-HPC / TSVC_2
  Updated C version of the Test Suite for Vectorising Compilers
  ☆69Updated last year
• qqq-wisc / wisq
  ☆27Updated 3 weeks ago
• opencompl / QMLIR
  A prototype of an SSA-based quantum IR exploiting value semantics
  ☆11Updated last year
• Bastacyclop / egg-sketches
  sketches for egg: a flexible, high-performance e-graph library
  ☆28Updated last month
• rutgers-apl / fpsanitizer
  A debugger to detect and diagnose numerical errors in floating point programs
  ☆12Updated 3 years ago
• spcl / pymlir
  Python interface for MLIR - the Multi-Level Intermediate Representation
  ☆269Updated 11 months ago
• cvc5 / ethos
  A Flexible and Efficient Proof Checker for SMT Solvers
  ☆26Updated this week
• arnabd88 / Satire
  Scalable yet rigorous Floating-point Error Analysis
  ☆11Updated 3 months ago
• arminbiere / gimsatul
  ☆35Updated 3 months ago