bibtex-db

There are 3 repositories under bibtex-db topic.

proofengineering/proofengineering-bib
BibTeX bibliographies for proof engineering-related papers
Language:TeX28 10 01
chartgerink/bibtex-db
Repository to track my bibtex references and make them easily findable on other computers (always run into problems with this...)
Language:TeX3 2
WPettersson/xapers-qt
xapers-qt is a Qt-based interface to Xapers
Language:Python2 5