guppylang

guppylang copied to clipboard

a way to decorate functions indicate that optimisation-by-rewriting shouldn't be done on a function (especially important for quantum functions). This likely needs to translate in to a reserved metadata tag...

ss2165

Replaces the local `RawHugr`. https://pypi.org/project/hugr/ The `quantinuum_hugr` python package version `0.1.0a1` implements the serialization format `v1`, so it may require non-trivial changes here (and an update to the unpublished `0.3.0`...

aborgna-q

Add syntax for global variables

4

I would like to write a guppy program such as: ``` @guppy.global(float) rot = 1.0 @guppy main() -> float: return rot ``` which compiles to a hugr containing a global...

doug-q

Should make recursive circuit definitions nicer see: https://arxiv.org/abs/2311.01725

ss2165

croyzor

croyzor

Add operator for making controlled versions of a gate

2

Like the one in Q#, for example

croyzor

Use True/False constants for cfg branching if known at compile time

2

avoid needless Tag(0, MakeTuple()) calls

ss2165

mark-koch

https://github.com/CQCL/guppylang/blob/main/examples/demo.ipynb For example, guppy.compile_module() calls are now required to get hugr

ss2165