Skip to content
#

quantum-programming-language

Here are 76 public repositories matching this topic...

obriente
obriente commented Jul 30, 2020

To get this codebase up to standard, we need to add type hints. At the very least, perhaps we should start insisting that all new code has type hints added, but moreover we need to add typing to the code that currently exists.

This is a pretty large project, but luckily it can be done incrementally - I believe at this point it's a stretch goal for v1, if anyone wants to help it would be much ap

plt-formal-methods-resources

Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and their application in some most active computer Science fields.

  • Updated Aug 17, 2019

Improve this page

Add a description, image, and links to the quantum-programming-language topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the quantum-programming-language topic, visit your repo's landing page and select "manage topics."

Learn more

You can’t perform that action at this time.