nspring / style-check
Style checker for latex documents
☆50Updated last year
Related projects ⓘ
Alternatives and complementary repositories for style-check
- ☆67Updated 7 years ago
- An HTML+CSS template for making more accessible posters☆82Updated 2 years ago
- LaTeX Styles provided by Dagstuhl Publishing☆33Updated 2 weeks ago
- BibTeX-js can parse a BibTeX-file and render it as part of an HTML file. This way, you can easily add a list of publications to your priv…☆270Updated 4 years ago
- ☆98Updated 10 months ago
- A Python script for "flattening" a nested LaTeX document by pulling in all the \input files☆62Updated 7 months ago
- Interactive publications lists with JavaScript + Bibtex☆132Updated 5 years ago
- Series of webinars and documents on Reproducible Research☆85Updated 5 years ago
- Mathematical Genealogy Grapher — a tool to build graphs of mathematician advisor-advisee networks☆47Updated 6 months ago
- An unaffiliated group of visible, early career CS women researchers dedicated to fighting harassment in all forms in academia.☆104Updated 4 months ago
- Compares two latex files and marks up significant differences between them. Releases on www.ctan.org and mirrors☆531Updated this week
- A python script for checking BibLatex .bib files for common referencing mistakes!☆173Updated last year
- Series of lectures on Scientific Methodology and Performance Evaluation☆68Updated last week
- HotCRP conference review software☆332Updated this week
- check for passive words, weasel words, duplicate words, typographical errors and words strunk & white don't like☆587Updated 5 years ago
- Simple, faithful BibTeX parser and algorithms for Python 3☆114Updated 8 months ago
- A small but efficient C++ library for computing (customized) tree and hypertree decompositions.☆48Updated last year
- Bibtex parser for Python 3☆474Updated last month
- LaTeX samples for NSF Research.gov Proposal Submission. For more information about Research.gov Proposal Submission visit https://www.re…☆227Updated 11 months ago
- Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.☆60Updated this week
- Easy lecture slides made difficult with pandoc and beamer☆130Updated last year
- A tool for explainability and debugging in Answer Set Programming.☆13Updated last month
- rules for writing and typesetting☆23Updated 3 years ago
- LaTeX package for automatically putting proof environments in appendix☆23Updated 9 months ago
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆9Updated 9 years ago
- Linearizability Visualizer☆10Updated 9 years ago
- An open bibliography of machine learning for formal proof papers☆32Updated last year
- The LaTeX beamerposter package☆410Updated 2 years ago
- Export NetworkX graphs to TikZ directly☆29Updated 3 weeks ago
- BibTool is a tool for manipulating BibTeX data bases. BibTeX provides a mean to integrate citations into LaTeX documents. BibTool allows …☆209Updated last year