Alternatives and similar repositories for pyano

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

• riswords / quiche
  ☆24Updated 2 years ago
• ChezJrk / verified-scheduling
  ☆44Updated 2 weeks ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆48Updated last year
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆34Updated 4 years ago
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆82Updated last week
• egraphs-good / snake-egg
  Python bindings for egg
  ☆49Updated 2 years ago
• Mogball / declarative-mlir-compiler
  Declarative MLIR compilers in Python!
  ☆35Updated 5 years ago
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆22Updated 2 years ago
• Bastacyclop / egg-sketches
  sketches for egg: a flexible, high-performance e-graph library
  ☆28Updated last month
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆77Updated 5 months ago
• GaloisInc / lean-llvm
  LLVM support for the lean theorem prover
  ☆52Updated 4 years ago
• opencompl / xdsl-smt
  The implementation of an SMTLib dialect for xDSL
  ☆16Updated this week
• rise-lang / shine
  The Shine compiler for the RISE language
  ☆83Updated 3 weeks ago
• qobi / AD-Rosetta-Stone
  Examples of Automatic Differentiation (AD) in many different languages and systems
  ☆27Updated 7 years ago
• elevate-lang / elevate
  The implementation of the Elevate language
  ☆30Updated 7 months ago
• microsoft / knossos-ksc
  Compiler with automatic differentiation
  ☆48Updated 2 years ago
• sdiehl / mlir-egglog
  A toy compiler for NumPy array expressions that uses e-graphs and MLIR
  ☆110Updated 3 months ago
• egraphs-good / egraphs-good.github.io
  egraphs-good website
  ☆18Updated last year
• egraphs-good / extraction-gym
  benchmarking e-graph extraction
  ☆46Updated 5 months ago
• RobinKa / egga
  Symbolic Geometric Algebra with E-Graphs
  ☆19Updated 2 years ago
• rems-project / cerberus
  Cerberus C semantics
  ☆72Updated last week
• llvm / eudsl
  Embedded Universal DSL: a good DSL for us, by us
  ☆54Updated last week
• piantado / enumerateCFG
  Code for enumeration from a CFG
  ☆20Updated 2 years ago
• eliben / radgrad
  Tracing-based reverse mode automatic differentiation (like autograd!)
  ☆23Updated 9 months ago
• microsoft / AliveInLean
  Formally verified implementation of Alive in Lean
  ☆37Updated 2 years ago
• BuildIt-lang / buildit
  Online demo without installing at - https://buildit.so/tryit
  ☆184Updated last week
• MPACT-ORG / mpact-compiler
  Retargetable ML compilers for the twenty-first century!
  ☆13Updated 6 months ago
• harp-lab / gdlog
  ☆86Updated last year
• cucapra / turnt
  simple snapshot-style integration testing for commands
  ☆72Updated 5 months ago