google / pyctr

Related projects ⓘ

Alternatives and complementary repositories for pyctr

• ucb-sejits / ctree
  A C-family AST implementation designed to be an IR for DSL compilers.
  ☆16Updated 7 years ago
• Mogball / declarative-mlir-compiler
  Declarative MLIR compilers in Python!
  ☆33Updated 4 years ago
• jmd1011 / snek-LMS
  Implementation of Lightweight Modular Staging (LMS) in Python
  ☆48Updated 5 years ago
• uwplse / stng
  compiler for fortran stencils using verified lifting,
  ☆17Updated 2 years ago
• serge-sans-paille / beniget
  Extract semantic information about static Python code
  ☆69Updated last month
• elevate-lang / elevate
  The implementation of the Elevate language
  ☆29Updated 2 weeks ago
• heavyai / rbc
  Remote Backend Compiler
  ☆30Updated 2 months ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆47Updated last year
• sanjoy / pyano
  A formalization of first-order logic and Peano's axioms in Python
  ☆20Updated last year
• riswords / quiche
  ☆22Updated last year
• baidu-research / catamount
  Catamount is a compute graph analysis tool to load, construct, and modify deep learning models and to symbolically analyze their compute …
  ☆13Updated 3 years 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
• plasma-umass / snakefish
  parallel Python
  ☆12Updated 4 years ago
• rise-lang / rise
  Implementation of the RISE language
  ☆14Updated 4 years ago
• caparrov / ERM
  Extended Roofline Model - LLVM source tree with additional libraries for the analysis of the dynamic execution in the interpreter
  ☆17Updated 7 years ago
• surban / TensorAlgDiff
  Automatic Differentiation for Tensor Algebras
  ☆28Updated 6 years ago
• sampsyo / minisynth
  program synthesis is possible
  ☆39Updated 5 years ago
• nvidia-compiler-sdk / pynvvm
  Python bindings for libNVVM
  ☆37Updated 10 years ago
• danielesgit / slingen
  Program Generator for Small-Scale Linear Algebra Applications
  ☆28Updated 6 years ago
• metalibm / metalibm
  Code generation tool to generate mathematical libraries
  ☆55Updated 8 months ago
• caterinaurban / Lyra
  ☆30Updated 3 months ago
• netom / satispy
  An interface to SAT solver tools (like minisat)
  ☆58Updated 2 years ago
• ilyasergey / reachability
  Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…
  ☆30Updated 8 years ago
• IntelLabs / Latte.jl
  A high-performance DSL for deep neural networks in Julia
  ☆53Updated 2 years ago
• xnd-project / libndtypes
  Subsumed into xnd
  ☆25Updated 5 years ago
• ondrik / libvata
  VATA Tree Automata Library
  ☆32Updated 2 months ago
• ChezJrk / verified-scheduling
  ☆34Updated 6 months ago
• ftynse / clint
  Chunky Loop Interaction
  ☆23Updated 5 years ago
• sdiehl / subpy
  Python subsets
  ☆41Updated 7 years ago