❤
npm
Sign UpSign In

paul-marechal

Paul Maréchal

Packages 214

  • theia-core

    Theia is a cloud & desktop IDE framework implemented in TypeScript.

    theia
    published version 0.0.1-alpha.2, 8 years ago

  • @theia/core

    Theia is a cloud & desktop IDE framework implemented in TypeScript.

    sgraband
    published version 1.61.0, 24 days ago

  • @theia/preferences-api

    Theia - Preferences API

    theia
    published version 0.3.3, 7 years ago

  • @theia/languages

    Theia - Languages Extension

    theia
    published version 1.4.0, 5 years ago

  • @theia/python

    Theia - Python Extension

    theia
    published version 0.15.0, 5 years ago

  • @theia/cpp

    Theia - Cpp Extension

    theia
    published version 1.0.0, 5 years ago

  • @theia/filesystem

    Theia - FileSystem Extension

    sgraband
    published version 1.61.0, 24 days ago

  • @theia/workspace

    Theia - Workspace Extension

    sgraband
    published version 1.61.0, 24 days ago

  • @theia/navigator

    Theia - Navigator Extension

    sgraband
    published version 1.61.0, 24 days ago

  • @theia/preferences

    Theia - Preferences Extension

    sgraband
    published version 1.61.0, 24 days ago

  • @theia/terminal

    Theia - Terminal Extension

    sgraband
    published version 1.61.0, 24 days ago

  • @theia/editor

    Theia - Editor Extension

    sgraband
    published version 1.61.0, 24 days ago

  • @theia/monaco

    Theia - Monaco Extension

    sgraband
    published version 1.61.0, 24 days ago

  • @theia/java

    Theia - Java Extension

    theia
    published version 0.15.0, 5 years ago

  • generator-theia

    Theia Generator

    theia
    published version 0.1.1, 8 years ago

  • @theia/go

    Go support for the Theia IDE

    theia
    published version 0.3.17, 6 years ago

  • @theia/process

    Theia process support.

    sgraband
    published version 1.61.0, 24 days ago

  • @theia/typescript

    Theia - Typescript Extension

    theia
    published version 0.15.0, 5 years ago

  • @theia/markers

    Theia - Markers Extension

    sgraband
    published version 1.61.0, 24 days ago

  • @theia/cli

    Theia CLI.

    sgraband
    published version 1.61.0, 24 days ago

  • @theia/git

    Theia - Git Integration

    sgraband
    published version 1.60.2, a month ago

  • @theia/application-package

    Theia application package API.

    sgraband
    published version 1.61.0, 24 days ago

  • @theia/extension-manager

    Theia - Extension Manager

    theia
    published version 0.14.0, 5 years ago

  • generator-theia-extension

    Helps to setup the project structure for developing extensions to the Theia IDE

    jhelming
    published version 0.1.43, 22 days ago

  • @theia/outline-view

    Theia - Outline View Extension

    sgraband
    published version 1.61.0, 24 days ago
show more packages
Profile