Guppy, HUGR, TKET
Guppy: Pythonic quantum-classical programming language HUGR: Unified Graph Representation for quantum and classical programs TKET: Quantinuum's compiler for structured quantum and classical programs
BQSKit
The Berkeley Quantum Synthesis Toolkit (BQSKit) is a powerful and portable quantum compiler framework.
Open Quantum Design
Building the world's first open source quantum computer
bloqade
a neutral atom software development kit
H-hat
A statically typed and functional-inspired quantum programming language