Open j2kun opened 1 month ago
This is awesome! See https://github.com/j2kun/heir-play/pull/1 for some small fixes!
Can we integrate this into the main heir repo? It'd be nice to have this live in-tree + it'd look more "official" /trusted. That's assuming there isn't too much additional red tape for publishing a PyPI package from a google repo, though
Yeah, I put it there before deciding where it should live. (Separate repo? In a "HEIR" GH org? In the main repo?)
It just occurred to me that we should add heir-translate
, too, so that people can generate OpenFHE code and/or accelerator stuff to see what the outputs look like, or even to copy & paste them into something and actually run them.
Added heir-translate. Last step I think is to migrate j2kun/heir-play to this repo and release it on PyPI
I created a proof of concept in https://github.com/j2kun/heir-play
It downloads the nightly build and then allows you to run
%%heir-opt --flags
in a cell and runs the passes and prints the output.I think folks should try it out, and if it seems OK then I can publish it to PyPI and people can pip-install it and not need to clone the repo.