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
• google-research / structured-additive-IR
  ☆59Updated this week
• Mogball / declarative-mlir-compiler
  Declarative MLIR compilers in Python!
  ☆33Updated 4 years ago
• google / mlir-hs
  Haskell bindings for MLIR
  ☆106Updated 2 months ago
• sdiehl / mlir-egglog
  A toy compiler for NumPy array expressions that uses e-graphs and MLIR
  ☆42Updated last week
• sampsyo / minisynth
  program synthesis is possible
  ☆41Updated 5 years ago
• serge-sans-paille / beniget
  Extract semantic information about static Python code
  ☆75Updated 2 months ago
• elevate-lang / elevate
  The implementation of the Elevate language
  ☆29Updated last month
• heavyai / rbc
  Remote Backend Compiler
  ☆30Updated 8 months ago
• microsoft / knossos-ksc
  Compiler with automatic differentiation
  ☆48Updated last year
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆33Updated 3 years ago
• rise-lang / rise
  Implementation of the RISE language
  ☆14Updated 4 years ago
• TiarkRompf / lms-clean
  ☆55Updated 2 weeks ago
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆75Updated this week
• numba / numba-mlir
  POC work on MLIR backend
  ☆55Updated 8 months ago
• sanjoy / pyano
  A formalization of first-order logic and Peano's axioms in Python
  ☆20Updated last year
• yihozhang / egraph-sqlite
  egraph on top of sqlite
  ☆11Updated 3 years ago
• fjarri / peval
  Partial evaluation of Python code
  ☆20Updated 2 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 11 months ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆48Updated 2 years ago
• s-falke / kittel-koat
  KITTeL/KoAT
  ☆21Updated 6 years ago
• danielesgit / slingen
  Program Generator for Small-Scale Linear Algebra Applications
  ☆29Updated 6 years ago
• serge-sans-paille / gast
  Python AST that abstracts the underlying Python version
  ☆145Updated 2 months ago
• rise-lang / mlir
  The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github…
  ☆31Updated 3 years ago
• pytorch / expecttest
  ☆80Updated 5 months ago
• zdevito / custom_loader
  ☆13Updated 3 years ago
• google / llvm-premerge-checks
  CI system for premerge-testing in LLVM project
  ☆41Updated 6 months ago
• harp-lab / vflog
  vertical + gpu + free join + datalog
  ☆20Updated 3 months ago
• sergei-mironov / htvm
  Haskell experiments involving TVM AI framework
  ☆20Updated 6 years ago
• halo-project / halo
  😇 Wholly Adaptive LLVM Optimizer
  ☆27Updated 4 years ago