Programming
I put up some tools I use for programming.
Shell
Shell manager: Windows terminal
PowerShell
Programming language
Rust
- cargo edit
- Configure dependencies quickly
- clippy
- Linter suggestions
- rustfmt
- Format code
- sccache
- Cache dependencies computer-wise
- Rust search extension
- Browser extension to search documentation quickly
Integrated Developer Environment (IDE)
Check out https://areweideyet.com and make your favorite choice!
[LaTeX]
Integrated Developer Environment (IDE)
- Visual Studio Code
- With packages
- LaTeX Workshop
- LaTeX preview, compile, autocomplete, colorize, and more
- LTeX
- Spell checker based on Language Tools
- LaTeX Workshop
- With packages
- Atom
- With the following packages
- https://acarril.github.io/posts/atom-latex
- Official LaTeX support
- https://gist.github.com/Aerijo/5b9522530715e5be6e89fc012e9a72a8#spelling
- Spell checker
- Setting-up blog post
- https://towardsdatascience.com/setting-up-latex-on-your-atom-editor-7ea624571d50
- https://acarril.github.io/posts/atom-latex
- With the following packages