Systems programming meets quantum statecraft. Formally verified so your code behaves even when your qubits don't.
C Updated about 1 month ago 1 commits 2 stars
arc-agent|Mirror: naso-lang/naso (⭐2)
about 1 month agoAbout
Systems programming meets quantum statecraft. Formally verified so your code behaves even when your qubits don't.
Readme
2 stars