Data

Tools

Indexes

Applications

Experiments

Open Source Science

bib

A Quantum Programming Languages and Verification Literature Bibliography

https://github.com/quantumpl/bib

Science Score: 54.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
    Links to: zenodo.org
  • ○
    Academic email domains
  • ○
    Institutional organization owner
  • ○
    JOSS paper metadata
  • ○
    Scientific vocabulary similarity
    Low similarity (3.2%) to scientific vocabulary

Keywords

bibliography bibtex programming-languages quantum quantum-programming-language verification
Last synced: 6 months ago · JSON representation ·

Repository

A Quantum Programming Languages and Verification Literature Bibliography

Basic Info
Statistics
  • Stars: 8
  • Watchers: 1
  • Forks: 0
  • Open Issues: 5
  • Releases: 1
Topics
bibliography bibtex programming-languages quantum quantum-programming-language verification
Created almost 5 years ago · Last pushed 6 months ago
Metadata Files
Readme Contributing License Citation

README.md

QPL Bib

DOI

A Quantum Programming Languages and Verification Literature Bibliography

See it rendered using bibtex2html at https://quantumpl.github.io/bib/retro/bbt.html

An alternate and more accessible rendering using Hugo at https://quantumpl.github.io/bib/

Hugo Source: https://github.com/QuantumPL/site

Corrections, additions, and suggestions are all welcome! Please see our contribution guide.

Note

BibLaTeX validation can be done using:

sh biber --tool --no-default-datamodel --validate-datamodel --configfile=biber-tool.conf biblatex.bib

Citation (CITATION.cff) 

type: database
cff-version: 1.2.0
message: "If you use this bibliography, please cite it as below."
authors:
- family-names: "Singhal"
  given-names: "Kartik"
  orcid: "0000-0003-1132-269X"
title: "Quantum Programming Languages & Verification Bibliography"
version: 1.0.0
doi: 10.5281/zenodo.5780237
date-released: 2021-12-14
url: "https://quantumpl.github.io/bib/"

GitHub Events

Total
  • Delete event: 1
  • Issue comment event: 3
  • Member event: 1
  • Push event: 5
  • Pull request review event: 1
  • Pull request event: 2
  • Create event: 2
Last Year
  • Delete event: 1
  • Issue comment event: 3
  • Member event: 1
  • Push event: 5
  • Pull request review event: 1
  • Pull request event: 2
  • Create event: 2

Dependencies

.github/workflows/mega-linter.yml actions
  • actions/checkout v2 composite
  • actions/upload-artifact v2 composite
  • megalinter/megalinter v5 composite
  • peter-evans/create-pull-request v3 composite
  • stefanzweifel/git-auto-commit-action v4 composite