latex-devcontainer
Dev container
A toolset providing a pre-configured Docker environment for writing and formatting LaTeX documents with VS Code, including auto-formatting and automated checks.
Devcontainer for using LaTeX in VS Code with auto-formatting and one-click arXiv export and link check.
20 stars
2 watching
2 forks
Language: Shell
last commit: over 1 year ago
Linked from 1 awesome list
dockerlatexlatex-workshopvisual-studio-codevscode
Related projects:
Repository | Description | Stars |
---|---|---|
microsoft/vscode-docker | An extension for Visual Studio Code that simplifies containerized application development and debugging. | 1,216 |
devcontainers/ci | An automation tool for building and running containers in CI/CD pipelines. | 350 |
devcontainers/images | Provides pre-built development container images with standardized tooling and configuration | 1,319 |
devrt/ros-devcontainer-vscode | A pre-configured ROS development environment in a Docker container for VSCode | 184 |
rocker-org/devcontainer-features | A collection of Dev Container Features for extending and customizing containers | 51 |
jamestthompson3/nvim-remote-containers | Allows development inside docker containers directly from within a neovim editor similar to VSCode. | 888 |
giuseppemorelli/docker-devbox | A simple Docker-based development environment setup for local and staging environments | 9 |
qdm12/godevcontainer | A development container providing a Go development environment for Visual Studio Code | 263 |
michidk/vscli | A tool to simplify launching Visual Studio Code projects with dev containers | 132 |
esensar/nvim-dev-container | Supports development in Docker containers with Neovim embedded | 566 |
ctornau/latex | Automates LaTeX document processing with Docker-based CI/CD pipelines | 1 |
codeman99/tyedev | A tool for creating and managing devcontainer configurations. | 9 |
abecodes/dft | A library that provides a simple and efficient way to spin up isolated containers for testing and development | 13 |
maxlab/stacker | A local development environment with pre-configured web servers and tools. | 364 |
stuartleeks/devcontainer-cli | A command-line tool to simplify interaction with Visual Studio Code devcontainers. | 46 |