🧗‍♂️Random Restart

PortfolioArtificial IntelligenceRoboticsSoftwareEngineeringGitHub
Home

❯

Software Documentation

❯

Software Tools

Software Tools

Sep 14, 20241 min read

Intro

General software tools including installed software and environments.

Also see:

  • VS Code
  • Jupyter
  • Virtual Machine
  • WSL2
  • SSH

20 items under this folder.

  • Apr 21, 2026

    Google Apps Script (GAS)

    • javascript
  • Jan 20, 2026

    IDE (Integrated Development Environment)

    • IDE
  • Jul 19, 2025

    Automation

    • software-tools
    • automation
  • Jun 19, 2026

    TOML (Tom's Obvious, Minimal Language)

    • Jun 19, 2026

      UV

      • Apr 29, 2026

        WSL2 (Windows Subsystem for Linux)

        • software-tools
        • Linux
        • ros
        • networking
      • Apr 29, 2026

        Conda

        • Mar 02, 2026

          PlatformIO (VS Code)

          • Feb 26, 2026

            GitHub Enterprise HTTPS PAT Caching

            • git
            • github
            • PAT
          • Feb 11, 2026

            Obsidian

            • Oct 22, 2025

              Google Colab

              • data-science
            • Sep 15, 2025

              Powershell

              • software-tools
            • Aug 31, 2025

              NVM (Node Version Manager)

              • software-tools
              • nvm
              • nodejs
            • Jul 13, 2025

              CodeSanbox

              • software-tools
            • Jan 25, 2025

              Docker

              • docker
            • Sep 14, 2024

              Virtual Machine

              • software-tools
              • linux
            • Sep 06, 2024

              Quartz Notes

              • Jul 24, 2024

                Jupyter

                • artificial-intelligence
              • Jun 17, 2024

                Markdown

                • software-tools
              • Feb 13, 2023

                Quartz

                • software-tools

              Created with Quartz v4.5.1 © 2026

              • GitHub
              • Discord