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.
   
      
    Microsoft Edge gives you the tools to protect your privacy online with features like tracking prevention, AdBlock Plus, InPrivate browsing and InPrivate search in Microsoft Bing.
    
      
    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.


      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 (developer channel)

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

Herramientas de TLA+

TLA+ Toolbox es un entorno de desarrollo integrado para las herramientas TLA+

Flathub es el lugar donde conseguir y distribuir aplicaciones para Linux. Está impulsado por Flatpak, que permite que las aplicaciones de Flathub se ejecuten en casi cualquier distribución de Linux.

Por favor, use el gestor flatpak suministrado por su distribución para instalar complementos.

El código fuente es público y se auditar de manera independiente lo que hace que esta aplicación probablemente sea más segura

Distintivos oficiales para promocionar su aplicación en Flathub

Puedes acceder al contenido de la pantalla o de otras ventanas

Suba su aplicación a Flathub subiendo su manifiesto Flatpak y los archivos de soporte a un repositorio en nuestra organización GitHub. El buildbot de Flathub creará la aplicación y la publicará en Flathub.

Servicios de consultoría para enviar aplicaciones a Flathub.

Cree su aplicación en su propio entorno de integración continua y súbala directamente a Flathub.

Instala Flatpak

<text>Flatpak se puede instalar desde el repositorio de la comunidad. Ejecuta lo siguiente en una terminal:</text> <code></code>

Instala la extensión de software de Flatpak

<text>Puedes instalar la extensión de Flatpak tanto para GNOME Software (desde la versión 3.13) como para KDE Discover (desde la versión 3.11), haciendo posible instalar aplicaciones sin necesidad de línea de comandos. Para instalarla, para GNOME Software ejecuta:</text> <code></code> <text>Para KDE Discover ejecuta:</text> <codeDiscover></codeDiscover>

Añade el repositorio de Flathub

<text>Flathub es el mejor lugar para obtener aplicaciones de Flatpak. Para habilitarlo, descarga e instala el <filelink>archivo de repositorio de Flathub</filelink> o ejecuta lo siguiente en una terminal:</text> <code></code>

Reinicia

<text>Para completar la configuración, reinicia tu sistema. ¡Ahora todo lo que tienes que hacer es <link>instalar aplicaciones</link>!</text>

Instalar Flatpak

<text>Para instalar Flatpak en sistemas operativos de la familia Alt, abra la aplicación Terminal y ejecute:</text> <code></code>

Añadir el repositorio Flathub

<text>Flathub es un gran lugar para obtener aplicaciones Flatpak. Para activarlo en su sistema Alt, ejecute:</text> <code></code>

Reiniciar

<text>Reinicie el dispositivo para completar la instalación de Flatpak. ¡Ahora puede <link>instalar aplicaciones</link>! </text>

<text>Para instalar Flatpak en Arch, abra la aplicación Terminal y ejecute:</text> <code></code>

<text>Para completar la configuración, reinicie el sistema. ¡Ahora todo lo que tiene que hacer es <link>instalar aplicaciones</link>! </text>

Activar la compatibilidad con Linux

<text>Navegue a <settingslink>chrome://os-settings</settingslink> y desplácese hacia abajo hasta Desarrollados y active el entorno de desarrollo Linux. ChromeOS llevará algún tiempo descargar e instalar Linux.</text>

Iniciar un terminal Linux

<text>Pulse la tecla Buscar/Iniciar, escriba "Terminal" y inicie la aplicación Terminal. </text>

<text>Para instalar Flatpak, ejecute lo siguiente en la terminal:</text> <code></code>

<text>Flathub es el mejor lugar para obtener aplicaciones de Flatpak. Para activarlo, ejecute:</text> <code></code>

<text>Para completar la configuración, reinicie Linux. Puede hacerlo haciendo clic con el botón derecho del ratón en el terminal y luego haciendo clic en "Apagar Linux".¡ Ahora todo lo que tienes que hacer es <link>instalar aplicaciones</link>! </text>

<text>Para instalar Flatpak en Crystal Linux, primero debe asegurarse de que sus paquetes estén actualizados. Ejecute lo siguiente en un terminal:</text> <codeUpdate></codeUpdate> <text>Luego instale Flatpak:</text> <code></code>

<text>Un paquete flatpak está disponible en Debian 10 (Buster) y versiones más recientes. Para instalarlo, ejecute lo siguiente como root:</text> <code></code>

Instalar el plugin Flatpak

<text>Si está ejecutando GNOME, también es una buena idea instalar el plugin Flatpak para el software GNOME. Para ello, ejecute:</text> <code></code> <text>Si está ejecutando KDE, debe instalar en su lugar el backend de Plasma Discover Flatpak:</text> <codeDiscover></codeDiscover>

<text>Flathub es el mejor lugar para obtener aplicaciones de Flatpak. Para activarlo, descargue e instale el <filelink>archivo de repositorio Flathub</filelink> o ejecute lo siguiente en un terminal:</text> <code></code>

<text>Para instalar Flatpak en Deepin, ejecute lo siguiente en una terminal:</text> <code></code>

Instalar los temas de Deepin

<text>Para instalar temas claros y oscuros, ejecute:</text><code></code>

Instala aplicaciones

<text>elementary OS 5.1 y posteriores nunca viene con soporte para Flatpak fuera de serie. Para aplicaciones no seleccionadas, dirígete a <link>Flathub</link> para instalar cualquier aplicación usando el botón grande "Instalar", y abre el archivo descargado `.flatpakref` con Sideload.</text> <text>Nota: Después de instalar una aplicación desde un sitio remoto como Flathub, el resto de aplicaciones de ese sitio remoto también se mostrarán automáticamente en el Centro de Aplicaciones.</text>

<text>Para instalar Flatpak en EndeavourOS, primero debes asegurarte de que tu instalación esté actualizada, ejecuta lo siguiente en una terminal:</text> <codeUpdate></codeUpdate> <text>Luego instala Flatpak :</text> <code></code>

<text>Para completar la instalación, reinicie el sistema. Ahora, todo lo que tiene que hacer es <link>instalar aplicaciones</link>.</text> <text>Nota: la instalación gráfica de aplicaciones Flatpak puede no ser posible con EndeavourOS.</text>

<text>Para instalar Flatpak en Gentoo, abre la terminal y ejecuta:</text><code></code>

<text>Flathub es el mejor lugar para obtener aplicaciones de Flatpak. Para habilitarlo, ejecuta:</text> <code></code>

<text>Para completar la configuración, reinicia tu sistema. ¡Ahora todo lo que tienes que hacer es <link>instalar aplicaciones</link>!</text> <text>Nota: la instalación gráfica de aplicaciones de Flatpak podría no ser posible con Gentoo.</text>

<text>Para instalar Flatpak en GNU Guix, ejecute lo siguiente en un terminal:</text> <code></code>

<text>Para completar la instalación, reinicie el sistema. ¡Ahora todo lo que tiene que hacer es <link>instalar aplicaciones</link>!</text> <text>Nota: la instalación gráfica de aplicaciones Flatpak puede no ser posible con GNU Guix.</text>

<text>Para instalar Flatpak en Kubuntu abre Discover, ve a Preferencias, instala el backend de Flatpak y reinicia Discover.</text>

Instala el complemento de configuración de sistema de Flatpak

<text>Para integrar el soporte de Flatpak en la Configuración de Sistema de Plasma, abre la terminal y ejecuta:</text><code></code>

<text>Flathub es el mejor lugar para obtener aplicaciones de Flatpak. Para habilitarlo abre Discover, ve a Preferencias y añade el repositorio de Flathub.</text>

<text>Está disponible un paquete de Flatpak para Mageia 6 o superiores. Para instalarlo con DNF, ejecuta lo siguiente como root:</text> <code></code> <text>O para instalarlo con urpmi, ejecuta:</text> <codeUrpmi></codeUrpmi>

<text>Para completar la configuración, reinicia tu sistema. ¡Ahora todo lo que tienes que hacer es <link>instalar aplicaciones</link>!</text> <text>Nota: la instalación gráfica de aplicaciones de Flatpak podría no ser posible con Mageia.</text>

Activar Flatpak a través del Gestor de software

<text>Flatpak está instalado por defecto en Manjaro 20 o superior. </text> <text>Para habilitar su compatibilidad, vaya al Gestor del software (Agregar/ Quitar programas)</text> <text>Haga clic en el menú de tres líneas [o puntos dependiendo del entorno de escritorio] a la derecha, en el menú desplegable seleccione "Preferencias"</text> <text>Navegue al "Flatpak" tab y deslice el interruptor para Habilitar soporte de Flatpak (también es posible habilitar la comprobación de actualizaciones, que se recomienda). </text>

Habilitar Flatpak a través del Administrador de software

<text> El soporte de Flatpak está integrado a partir de MX 18 y versiones posteriores. Solo es necesario activar el repositorio Flathub siguiendo estas instrucciones:</text> <text>Abre el Instalador de paquetes MX (abre el menú y busca en Herramientas MX), selecciona la pestaña "Flatpaks", para activar el repositorio deberás ingresar la contraseña de root.</text>

Instalar Flatpak

<text>Para instalar Flatpak , configure la opción services. flatpak .enable de NixOS en true colocando lo siguiente en su /etc/nixos/configuration.nix:</text> <code></code> <text>Luego, reconstruya y cambie a la nueva configuración con:</text> <codeRebuild></codeRebuild> <text>Para obtener más detalles, consulte la <doclink>documentación de NixOS</doclink>.</text>

<text> Flathub es el mejor lugar para obtener aplicaciones Flatpak . Para habilitarlo, ejecute:</text><code></code>

<text>Para completar la instalación, reinicie el sistema. ¡Ahora todo lo que tiene que hacer es <link>instalar aplicaciones</link>!</text>

<text>Flatpak está disponible en los repositorios predeterminados de todas las versiones actuales de openSUSE Leap y openSUSE Tumbleweed. </text> <text>Si prefiere una instalación gráfica, puede instalar Flatpak usando un "instalador de 1 clic" de <link>software.opensuse.org</link>. Si su versión de distribución no se muestra por defecto, haga clic en Mostrar en la categoría Distribuciones no compatibles y luego seleccione de la lista. </text> <text>Como alternativa, instale Flatpak desde la línea de comandos usando Zypper:</text> <code></code>

Añadir el repositorio de Flathub

<text>Hay un paquete flatpak disponible en Pardus 2019 y versiones posteriores. Para instalarlo, ejecute lo siguiente como root:</text> <code></code>

<text>Si utiliza GNOME, también es una buena idea instalar el complemento Flatpak para el software de GNOME. Para ello, ejecute:</text><code></code>

<text>Hay un paquete flatpak disponible en Pisi 2.1 y versiones posteriores. Para instalarlo, ejecute lo siguiente como root:</text><code></code>

<text>Para completar la instalación, reinicie el sistema. Ahora todo lo que tiene que hacer es <link>instalar aplicaciones</link>.</text> <text>Nota: la instalación gráfica de aplicaciones Flatpak puede no ser posible con Pisi GNU/Linux.</text>

<text>Está disponible un paquete de Flatpak en Raspberry Pi OS (anteriormente llamado Raspbian) Stretch y posterior. Para instalarlo, ejecuta lo siguiente como root:</text> <code></code>

<text> Flathub es el mejor lugar para obtener aplicaciones Flatpak . Para activarlo, ejecute:</text> <code></code> <text>Nota importante: Se recomienda usar el sistema operativo Raspberry Pi de 64 bits, ya que es más probable que las aplicaciones más nuevas estén solo para esa plataforma.</text>

<text>Para completar la configuración, reinicia tu sistema. ¡Ahora todo lo que tienes que hacer es <link>instalar aplicaciones</link>!</text> <text>Nota: la instalación gráfica de aplicaciones de Flatpak podría no ser posible con Raspberry Pi OS.</text>

<text>Flatpak se instala por defecto en Rocky Linux 8 y versiones posteriores, cuando se instala con una selección de software que incluye GNOME (servidor con interfaz gráfica de usuario, estación de trabajo). Si está utilizando un sistema de este tipo, puede omitir este paso. Para instalar Flatpak en Rocky Linux, ejecute lo siguiente en una terminal:</text> <code></code>

<text>Para instalar Flatpak en Solus, abre la terminal y ejecuta:</text> <code></code>

<text>Para completar la configuración, reinicia tu sistema. ¡Ahora todo lo que tienes que hacer es <link>instalar aplicaciones</link>!</text> <text>Nota: la instalación gráfica de aplicaciones Flatpak solo está disponible a través de GNOME Software y/o KDE Discover.</text>

<text>Para instalar Flatpak en Ubuntu 18.10 (Cosmic Cuttlefish) o posterior, abra la aplicación Terminal y ejecute:</text> <code></code>

Instalar el complemento Flatpak de GNOME Software

<text>El plugin de GNOME permite instalar aplicaciones sin necesidad de la línea de comandos. Para instalar, ejecute:</text> <code></code> <text>Nota: Ubuntu distribuye el software GNOME como un complemento en las versiones 20.04 a 23.04 y lo reemplazó con App Center en la versión 23.10 y posteriores, ninguna de las cuales es compatible con la instalación de aplicaciones Flatpak. Instalar el plugin Flatpak también instalará una versión deb de GNOME, lo que resulta en dos aplicaciones "Software" instaladas al mismo tiempo en Ubuntu 20.04 a 23.04, y una sola aplicación "Software" nueva en Ubuntu 23.10 y más reciente. </text>

<text>Flathub es el mejor lugar para conseguir aplicaciones Flatpak. Para activarlo, ejecute:</text> <code></code>

<text>Para instalar Flatpak en Void Linux, ejecute lo siguiente en una terminal:</text><code></code>

Encuentre e instale cientos de aplicaciones y juegos para Linux. ¡Disfrute de Firefox, Telegram, RetroArch, GIMP y muchos más!

Obtenga las últimas versiones de todas sus aplicaciones favoritas, para cualquier distribución de Linux

Descripción general del uso y distribución de las aplicaciones disponibles en la plataforma.

Juegos y aplicaciones para ejecutar sus títulos favoritos

Introduzca el código de invitación del desarrollador para invitarle a convertirse en desarrollador de esta aplicación. Pueden encontrar el código en la pestaña <developerstabtitle>{developersTab}</developerstabtitle> de la página de su cuenta.

La invitación que intenta aceptar o rechazar no existe. Es posible que haya sido cancelada o rechazada.

Elija el idioma en el que desea ver el sitio web.

Aplicaciones para sus teléfonos y tabletas Linux

Algunos cambios en los metadatos de una aplicación, como su nombre o la descripción, deben ser revisados por el equipo de Flathub. Puede ver el estado de las solicitudes de la revisión actual y anteriores aquí.

Nombre

Aplicaciones nuevas publicadas en Flathub en los últimos días.

La aplicación está completamente aislada

La aplicación no puede acceder a ningún dispositivo del usuario como cámaras web o controladores de juegos

Siempre estaremos encantados de responder preguntas y concertar entrevistas con periodistas y redactores de tecnología

Al usar este sitio web, acepta la política de privacidad.

El código fuente no es público por lo que no se puede auditar de manera independiente y puede que no sea seguro

Comprar aplicaciones

Para experimentar fácilmente con su banner, use <preview>la vista previa del banner</preview>

Comprensible para una persona sin conocimientos técnicos

Nuestro equipo revisará su aplicación en busca de problemas de calidad. Por favor, vuelva a comprobarlo en unos días.

Nos tomamos muy en serio los informes de seguridad y las cuestiones legales

¿Está seguro de que quiere revocar el testigo «{name}»?

¡Ahora puede suscribirse a nuestros canales RSS para recibir las últimas novedades de Flathub en su lector de fuentes!

Configure Flathub para instalar y actualizar aplicaciones en su sistema.

El desarrollador del software ha verificado su identidad lo que hace que esta aplicación sea más segura

Al usar este sitio web, acepta los Términos y Condiciones.

Aplicaciones actualizadas en Flathub en los últimos días.

El tiempo de ejecución usado por esta aplicación ya no recibe actualizaciones de seguridad

Visual Studio Code

Code editing. Redefined.

Cambios en la versión 1.102.1

Privativo

Otras aplicaciones de Microsoft Corporation