qasm_to_sqir
Science Score: 44.0%
This score indicates how likely this project is to be science-related based on various indicators:
-
✓CITATION.cff file
Found CITATION.cff file -
✓codemeta.json file
Found codemeta.json file -
✓.zenodo.json file
Found .zenodo.json file -
○DOI references
-
○Academic publication links
-
○Committers with academic emails
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (2.6%) to scientific vocabulary
Last synced: 6 months ago
·
JSON representation
·
Repository
Basic Info
- Host: GitHub
- Owner: inQWIRE
- Language: Coq
- Default Branch: master
- Size: 34.2 KB
Statistics
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
- Releases: 0
Created about 6 years ago
· Last pushed almost 4 years ago
Metadata Files
Readme
Citation
README.md
OpenQASM to SQIR Translation
Work in progress
Requirements
Current version of OCaml and the following dependencies:
$ opam install menhir utop openQASM
Steps
Assuming a directory structures as follows:
inQWIRE
├── SQIR
└── qasm_to_sqir
- Install dependencies and run make in the SQIR directory.
- Run ./extractSQIRGates.sh in qasm_to_sqir directory.
- dune utop .
- In the utop REPL, play with Qasm_to_sqir.parse "<file>.qasm";; etc.
Owner
- Name: INQWIRE
- Login: inQWIRE
- Kind: organization
- Repositories: 12
- Profile: https://github.com/inQWIRE
Verified Software for the Computers of Tomorrow
Citation (CITATION.cff)
cff-version: 1.2.0
message: "If you use this software, please cite it as below."
authors:
- family-names: "Singhal"
given-names: "Kartik"
orcid: "https://orcid.org/0000-0003-1132-269X"
title: "OpenQASM to SQIR Translation"
date-released: 2020-01-29
url: "https://github.com/inQWIRE/qasm_to_sqir"
preferred-citation:
type: conference-paper
authors:
- family-names: "Singhal"
given-names: "Kartik"
orcid: "https://orcid.org/0000-0003-1132-269X"
conference: "Informal Proceedings of the First International Workshop on Programming Languages for Quantum Computing (PLanQC '20)"
month: 1
title: "Verified translation between low-level quantum languages"
year: 2020
url: "https://ks.cs.uchicago.edu/publication/verified-translation/"
GitHub Events
Total
Last Year
Committers
Last synced: 9 months ago
Top Committers
| Name | Commits | |
|---|---|---|
| Kartik Singhal | k****l@g****m | 29 |
| Robert Rand | r****e@g****m | 1 |
| Kesha Hietala | k****a@g****m | 1 |
Issues and Pull Requests
Last synced: 9 months ago
All Time
- Total issues: 0
- Total pull requests: 0
- Average time to close issues: N/A
- Average time to close pull requests: N/A
- Total issue authors: 0
- Total pull request authors: 0
- Average comments per issue: 0
- Average comments per pull request: 0
- Merged pull requests: 0
- Bot issues: 0
- Bot pull requests: 0
Past Year
- Issues: 0
- Pull requests: 0
- Average time to close issues: N/A
- Average time to close pull requests: N/A
- Issue authors: 0
- Pull request authors: 0
- Average comments per issue: 0
- Average comments per pull request: 0
- Merged pull requests: 0
- Bot issues: 0
- Bot pull requests: 0