Overleaf CLI - pull, push, sync, compile LaTeX projects from your terminal. Git remote helper, MCP server for AI agents, and TypeScript library.
Repository Index
47,133 repositories indexed
1–4 of 4 · Most stars
Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436
Devcontainer for using LaTeX in VS Code with auto-formatting and one-click arXiv export and link check.
- docker
- latex
- latex-workshop
- visual-studio-code
LaTeX manuscript editing, section previews, and PDF compilation
- academic
- bibtex
- cli
- compilation