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,223 |
devcontainers/ci | An automation tool for building and running containers in CI/CD pipelines. | 356 |
devcontainers/images | Provides pre-built development container images with standardized tooling and configuration | 1,367 |
devrt/ros-devcontainer-vscode | A pre-configured ROS development environment in a Docker container for VSCode | 185 |
rocker-org/devcontainer-features | A collection of Dev Container Features for extending and customizing containers | 54 |
jamestthompson3/nvim-remote-containers | Allows development inside docker containers directly from within a neovim editor similar to VSCode. | 894 |
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 | 264 |
michidk/vscli | A tool to simplify launching Visual Studio Code projects with dev containers | 138 |
esensar/nvim-dev-container | Supports development in Docker containers with Neovim embedded | 575 |
ctornau/latex | Automates LaTeX document processing with Docker-based CI/CD pipelines | 1 |
codeman99/tyedev | A tool for creating and managing devcontainer configurations. | 11 |
abecodes/dft | A library that provides a simple and efficient way to spin up isolated containers for testing and development | 15 |
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 |