The Wayback Machine - https://web.archive.org/web/20210928033232/https://github.com/topics/quantum-programming-language
Skip to content
#

quantum-programming-language

Here are 90 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
unitaryhack
nathanshammah
nathanshammah commented May 6, 2021

It may be cool to have some counter of contributions showing up on the website, which could include from minimal to extensive information like the number of open PRs, commits, merged lines of code, contributors, etc.

If this were to update "live" or regularly, it could be very cool.

There may be some off-the-shelves tools such as github actions for this, see for example: https://github.com

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