Software
References related to computer software.
If you want, you can go back to the parent category.
Links
- KaTeX
- LaTeX-based math rendering for the web.
- SARIF Tutorials
- A comprehensible tutorial for SARIF, an open format for storing results from static analyses.
- Citation Style Language
- Specification of citation and bibliography styles for machines.
- Unified Code for Units of Measure
- A standard for representing most measurement units in machine-readable form.
- Protocol Buffers
- An efficient data exchange format. Source code is maintained in a GitHub repository.
- Agda
- Dependently typed programming language which can also be used as a theorem prover.
- Schema.org
- Machine-readable vocabulary for marking up web content.
- SVG
- Specification for the Scalable Vector Graphics format.