Alternatives and similar repositories for pyano

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

• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated 11 months ago
• bollu / lz
  A minimal in MLIR dialect along the lines of STG to represent laziness.
  ☆15Updated 3 years ago
• herbie-fp / egg-herbie
  An interface for using mwillsey/egg with math simplification.
  ☆13Updated 11 months ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆21Updated last year
• harp-lab / vflog
  vertical + gpu + free join + datalog
  ☆20Updated 3 months ago
• madvorak / read-lean
  How to read Lean
  ☆17Updated 3 months ago
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆12Updated last year
• Bastacyclop / egg-sketches
  sketches for egg: a flexible, high-performance e-graph library
  ☆27Updated last month
• GaloisInc / lean-llvm
  LLVM support for the lean theorem prover
  ☆48Updated 3 years ago
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆21Updated last year
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago
• bollu / coremlir
  Encoding of GHC Core inside MLIR
  ☆18Updated 4 years ago
• effect-handlers / effect-handlers-bench
  Benchmark repository of polyglot effect handler examples
  ☆24Updated last month
• elevate-lang / elevate
  The implementation of the Elevate language
  ☆29Updated last month
• luqui / Djest
  A programming language that deduces code from tests
  ☆30Updated 7 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆31Updated 2 weeks ago
• rutgers-apl / rlibm-all
  RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point represen…
  ☆15Updated last year
• Kha / do-supplement
  Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"
  ☆13Updated 3 months ago
• google / mlir-hs
  Haskell bindings for MLIR
  ☆106Updated 2 months ago
• riswords / quiche
  ☆22Updated 2 years ago
• microsoft / AliveInLean
  Formally verified implementation of Alive in Lean
  ☆36Updated last year
• ChezJrk / verified-scheduling
  ☆39Updated last year
• egraphs-good / extraction-gym
  benchmarking e-graph extraction
  ☆37Updated 6 months ago
• bollu / mlir-hs
  Pure haskell encoding of MLIR for printing, parsing, and mutating MLIR within haskell
  ☆16Updated 4 years ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆68Updated 2 years ago
• fpvandoorn / LeanCourse24
  Bonn Lean course for winter 24/25
  ☆29Updated 4 months ago
• sdiehl / mlir-egglog
  A toy compiler for NumPy array expressions that uses e-graphs and MLIR
  ☆46Updated this week
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last year
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆75Updated this week