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
  ☆188Updated 3 weeks ago
• BuildIt-lang / buildit
  Online demo without installing at - https://buildit.so/tryit
  ☆178Updated 2 weeks ago
• aqjune / mlir-tv
  A translation validation framework for MLIR
  ☆87Updated 3 months ago
• xdslproject / xdsl
  A Python compiler design toolkit.
  ☆372Updated this week
• jmgorius / mlir-standalone-template
  An out-of-tree MLIR dialect template.
  ☆104Updated 10 months ago
• arminbiere / lingeling
  Lingeling SAT Solver
  ☆102Updated last year
• muhos / ParaFROST
  A Parallel SAT Solver with GPU Accelerated Inprocessing
  ☆119Updated 2 weeks ago
• makslevental / mlir-wheels
  ☆23Updated last week
• ssoelvsten / adiar
  An I/O-efficient implementation of (Binary) Decision Diagrams
  ☆29Updated this week
• north-numerical-computing / cpfloat
  Custom-Precision Floating-point numbers.
  ☆38Updated 6 months ago
• opencompl / lean-mlir
  A minimal development of SSA theory
  ☆148Updated this week
• Ekdohibs / PolyGen
  PolyGen is a code generator for the polyhedral model, written and proved in Coq.
  ☆10Updated 4 years ago
• cucapra / diospyros
  Search-based compiler for high-performance DSP programming
  ☆66Updated 8 months ago
• mit-frap / spring22
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022
  ☆20Updated 3 years ago
• ezyang / SMT-LIB-benchmarks-pytorch-shapes
  SMT-LIB benchmarks for shape computations from deep learning models in PyTorch
  ☆17Updated 2 years ago
• domschrei / mallob
  Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.
  ☆66Updated last week
• opencompl / QMLIR
  A prototype of an SSA-based quantum IR exploiting value semantics
  ☆10Updated last year
• mwillsey / cs265
  Website for CS 265
  ☆29Updated 6 months ago
• stanford-centaur / pono
  Pono: A flexible and extensible SMT-based model checker
  ☆105Updated this week
• arcana-lab / noelle
  NOELLE Offers Empowering LLVM Extensions
  ☆78Updated last week
• rutgers-apl / fpsanitizer
  A debugger to detect and diagnose numerical errors in floating point programs
  ☆12Updated 3 years ago
• arminbiere / satch
  SAT Solver SATCH
  ☆120Updated 2 years ago
• PrincetonUniversity / SCAF
  A Speculation-Aware Collaborative Dependence Analysis Framework
  ☆28Updated last year
• marijnheule / CnC
  Cube-and-Conquer SAT solver
  ☆36Updated this week
• meelgroup / approxmc
  Approximate Model Counter
  ☆78Updated 3 weeks ago
• opencompl / Quidditch
  IREE compiler and runtime for Snitch
  ☆12Updated last week
• PrincetonUniversity / cpf
  Collaborative Parallelization Framework (CPF)
  ☆32Updated last year
• opencompl / mlir-fuzz
  A enumerator for MLIR, relying on the information given by IRDL.
  ☆19Updated this week
• pengmai / lagrad
  An MLIR-based source-to-source automatic differentiation system.
  ☆13Updated 2 years ago
• makslevental / mlir-python-extras
  The missing pieces (as far as boilerplate reduction goes) of the upstream MLIR python bindings.
  ☆104Updated last week