Proofengineering Bib
BibTeX bibliographies for proof engineering-related papers
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Jabref | 3,257 | 3 months ago | 444 | mit | Java | |||||
| Graphical Java application for managing BibTeX and biblatex (.bib) databases | ||||||||||
| Rebiber | 2,231 |  | 1 | 7 months ago | 7 | September 08, 2021 | 10 | mit | Python | |
| A simple tool to update bib entries with their official information (e.g., DBLP or the ACL anthology). | ||||||||||
| Org Ref | 1,318 | 3 months ago | 35 | gpl-3.0 | Emacs Lisp | |||||
| org-mode modules for citations, cross-references, bibliographies in org-mode and useful bibtex tools to go with it. | ||||||||||
| Papis | 1,274 |  | 3 | 1 | 3 months ago | 38 | May 23, 2022 | 71 | gpl-3.0 | HTML |
| Powerful and highly extensible command-line based document and bibliography manager. | ||||||||||
| Jekyll Scholar | 1,035 |  | 285 | 5 | a year ago | 105 | February 22, 2023 | 66 | mit | Gherkin |
| jekyll extensions for the blogging scholar | ||||||||||
| Awesome Scientific Writing | 634 | 4 months ago | 9 | cc0-1.0 | ||||||
| :keyboard: A curated list of awesome tools, demos and resources to go beyond LaTeX | ||||||||||
| Org Roam Bibtex | 507 | 10 months ago | 27 | gpl-3.0 | Emacs Lisp | |||||
| Org Roam integration with bibliography management software | ||||||||||
| Biblatex | 468 | 3 months ago | 99 | TeX | ||||||
| biblatex is a sophisticated bibliography system for LaTeX users. It has considerably more features than traditional bibtex and supports UTF-8 | ||||||||||
| Citar | 453 | 18 days ago | 47 | gpl-3.0 | Emacs Lisp | |||||
| Emacs package to quickly find and act on bibliographic references, and edit org, markdown, and latex academic documents. | ||||||||||
| Helm Bibtex | 453 | 3 months ago | 64 | gpl-2.0 | Emacs Lisp | |||||
| Search and manage bibliographies in Emacs | ||||||||||
Alternatives To Proofengineering BibSelect To Compare
Alternative Project Comparisons
Popular Bibliography Projects
Popular Bibtex Projects
Popular Content Management Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Tex
Makefile
Latex
Bibtex
Bibliography