Name: Visual Studio Code
Author: Microsoft Corporation

Visual Studio Code is a new choice of tool that combines the simplicity of a code editor with what developers need for the core edit-build-debug cycle.
 IMPORTANT: To use certain features in this flatpacked version (like the integrated terminal), please read the linked documentation.
 This is the proprietary Microsoft build of Visual Studio Code, packaged into a Flatpak. This repackaging is not supported by Microsoft.

Visual Studio Code


    NOTE: This wrapper is not verified by, affiliated with, or supported by Microsoft.
    
      
    Browse the web anywhere with one seamless experience from your phone to your computer and other signed-in devices.
   
      
    Organize the web in a way that cuts through the clutter, making it easier to find, view, and manage your content on the go.
   
      
    With world class compatibility, performance, and new features, Microsoft Edge is the only web browser you’ll ever need.
   
    

Microsoft Edge

Introducing the new Microsoft Edge web browser. It’s time to expect more. More privacy. More control. More productivity. More value.

Skype makes staying in touch incredibly easy and fun! If you have a webcam and a microphone, you can easily make video calls and voice calls to anyone in the world who also has Skype. This app’s features are simple to use and you can stay in touch with people anywhere in world!

Skype

Call and message skype users, with video chat support

Microsoft Edge (dev)

Upload, download, and manage Azure blobs, files, queues, and tables, as well as Azure Cosmos DB and Azure Data Lake Storage entities.
    Easily access virtual machine disks, and work with either Azure Resource Manager or classic storage accounts. Manage and configure
    cross-origin resource sharing rules.
      NOTE: This wrapper is not verified by, affiliated with, or supported by Microsoft.
    

Azure Storage Explorer

Graphical tool to manage Azure cloud storage resources

TLA+ is a high-level language for modeling programs and systems. It is useful for eliminating fundamental design errors, which are hard to find and expensive to correct in code.The TLA Toolbox is an IDE (integrated development environment) for the TLA+ tools.  Use it to:Create and edit your specs, with the locations of parsing errors marked in the modulesRun the PlusCal translator, with the locations of translation errors marked in the PlusCal codeView the pretty-printed versions of your modulesRun the TLC model checker. The Toolbox allows you to explorer an error trace produced by TLC—for example, by evaluating arbitrary formulas at each step in the traceRun the TLA+ proof system

TLA+ Toolbox

TLA+ Toolbox is an IDE (integrated development environment) for the TLA+ tools

Visual Studio Code

Code editing. Redefined.

Змены ў версіі 1.88.0

Прапрыетарная

Іншыя праграмы ад Microsoft Corporation