Alternatives and similar repositories for pyctr:

Users that are interested in pyctr are comparing it to the libraries listed below

• jmd1011 / snek-LMS
  Implementation of Lightweight Modular Staging (LMS) in Python
  ☆48Updated 6 years ago
• serge-sans-paille / beniget
  Extract semantic information about static Python code
  ☆74Updated 3 weeks ago
• heavyai / rbc
  Remote Backend Compiler
  ☆30Updated 7 months ago
• sdiehl / mlir-egglog
  A toy compiler for NumPy array expressions that uses e-graphs and MLIR
  ☆32Updated last week
• Mogball / declarative-mlir-compiler
  Declarative MLIR compilers in Python!
  ☆33Updated 4 years ago
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆71Updated this week
• egraphs-good / snake-egg
  Python bindings for egg
  ☆48Updated 2 years ago
• ChezJrk / verified-scheduling
  ☆38Updated 11 months ago
• mangpo / greenthumb
  ☆88Updated 2 years ago
• riswords / quiche
  ☆21Updated 2 years ago
• sampsyo / minisynth
  program synthesis is possible
  ☆41Updated 5 years ago
• nimit-singhania / loopy
  A system for programming formally-verified loop transformations.
  ☆16Updated 6 years ago
• inducer / islpy
  Python wrapper for isl, an integer set library
  ☆77Updated this week
• uwplse / stng
  compiler for fortran stencils using verified lifting,
  ☆17Updated 2 years ago
• elevate-lang / elevate
  The implementation of the Elevate language
  ☆29Updated 2 weeks ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago
• numba / numba-mlir
  POC work on MLIR backend
  ☆54Updated 7 months ago
• akrasuski1 / eusolver-priority
  Grammar prioritization support for EUSolver.
  ☆12Updated 5 years ago
• microsoft / knossos-ksc
  Compiler with automatic differentiation
  ☆46Updated last year
• llvm-mirror / polly
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆87Updated 5 years ago
• gussmith23 / glenside
  A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…
  ☆70Updated 9 months ago
• serge-sans-paille / gast
  Python AST that abstracts the underlying Python version
  ☆144Updated last month
• surban / TensorAlgDiff
  Automatic Differentiation for Tensor Algebras
  ☆28Updated 6 years ago
• google / mlir-npcomp
  npcomp - An aspirational MLIR based numpy compiler
  ☆51Updated 4 years ago
• metadsl / metadsl
  Domain Specific Languages in Python
  ☆96Updated last year
• rise-lang / shine
  The Shine compiler for the RISE language
  ☆79Updated last week
• netom / satispy
  An interface to SAT solver tools (like minisat)
  ☆60Updated 2 years ago
• sgpthomas / comp-gen
  Automatically generate a compiler using equality saturation
  ☆28Updated last year
• metalibm / metalibm
  Code generation tool to generate mathematical libraries
  ☆55Updated 3 weeks ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago