vscode-languageserver-protocol | npm | Package Usage

incubateur-territoires/startups/deveco/deveco

Last synced: 6 jours ago - Pushed: plus d'un an ago

incubateur-territoires/incubateur/legal-design-license-ouverte

Last synced: environ un an ago - Pushed: plus d'un an ago

1024pix/pix-site

Site institutionnel de la plateforme Pix.fr pour l'évaluation et la certification des compétences numériques.

Size: 47,1 Mo - Last synced: 6 jours ago - Pushed: 2 mois ago

1024pix/pix-tutos

Size: 11,6 Mo - Last synced: 6 jours ago - Pushed: 13 jours ago

Application to create Finite State Machines made in Rust with WebAssembly and Vue 3 TypeScript. Available online at https://ekkaia.gitlab.io/fsm-player/. Part of the Ecore2Rust project https://gitlab.univ-nantes.fr/E187954Y/ecore2rust

Last synced: plus d'un an ago - Pushed: plus d'un an ago

E187954Y/petrinet-player

Application to create Petri nets made in Rust with WebAssembly and Vue 3 TypeScript. Available online at https://ekkaia.gitlab.io/wasm-petrinet-player/. Part of the Ecore2Rust project https://gitlab.univ-nantes.fr/E187954Y/ecore2rust

Last synced: plus d'un an ago - Pushed: plus d'un an ago

abes-esr/theses-front

Interface du portail theses.fr

Size: 3 Mo - Last synced: environ 5 heures ago - Pushed: 18 jours ago

fabnumdef/stargate_backend 📦

PoC for azure deployment, https://gitlab.com/fabnum-minarm/stargate/backend is the official repo

Size: 3,45 Mo - Last synced: 3 mois ago - Pushed: presque 3 ans ago

agora-gouv/agora-front

Site vitrine de l'application Agora

Size: 5,09 Mo - Last synced: 2 jours ago - Pushed: 3 jours ago

publicodes/language-server

LS and VSCode client for Publicodes

Size: 528 ko - Last synced: environ 7 heures ago - Pushed: 17 jours ago

betagouv/docurba-nuxt3

Migration de Docurba sur Nuxt 3

Size: 11,2 Mo - Last synced: environ 3 heures ago - Pushed: 5 jours ago

ezpaarse-project/readlabs

Size: 704 ko - Last synced: environ 7 heures ago - Pushed: 2 mois ago

coq/vscoq

Visual Studio Code extension for Coq

Size: 78,7 Mo - Last synced: 9 mois ago - Pushed: 9 mois ago

openfun/2024-quartier-numerique-tdbp

Size: 1,53 Mo - Last synced: environ 9 heures ago - Pushed: environ un an ago

suitenumerique/integration

API and templates of common La Suite UIs

Size: 9,93 Mo - Last synced: environ 7 heures ago - Pushed: 6 jours ago

numerique-gouv/dimail-login

Login page for openXchange

Size: 3,35 Mo - Last synced: 9 mois ago - Pushed: plus d'un an ago

cea-hpc/NabLab 📦

Full-fledged industrial environment for scientific computing and High Performance Computing

Size: 787 Mo - Last synced: environ 8 heures ago - Pushed: plus de 2 ans ago

bouvry/presentation-dev

Presentation de techno

Last synced: plus d'un an ago - Pushed: plus d'un an ago

betagouv/jeveuxaider-front

Nuxt Frontend

Size: 173 Mo - Last synced: environ 3 heures ago - Pushed: 2 jours ago

ezpaarse-project/readholdings

Size: 1,32 Mo - Last synced: environ 7 heures ago - Pushed: environ 2 mois ago

france-connect/sources

Size: 225 Mo - Last synced: environ 8 heures ago - Pushed: environ un mois ago

workshop-metabolism-modelling/2024-edition

Last synced: environ un an ago - Pushed: plus d'un an ago

atlanmod/theia-ecore-editor

Reflective ecore tree editor for Theia based on ModelServer

Size: 290 ko - Last synced: environ 9 heures ago - Pushed: plus de 3 ans ago

gaia-data/wp2-architecture/datacomputegrid/playground/crashtest/jupyter-catalog-injector

Last synced: environ un an ago - Pushed: plus d'un an ago

doors/jupyterlab-iframe-whitelist

Last synced: environ un an ago

xfor/llvm-project

A canonical fork of the LLVM project with Clang implementing the XFOR programming structure

Last synced: environ un an ago

mdm-lab/wiki

Last synced: environ un an ago - Pushed: plus d'un an ago

incubateur-territoires/startups/deveco/deveco-docs

Last synced: 6 jours ago - Pushed: plus d'un an ago

cidre-public/tata/tata-llvm

Last synced: environ un an ago

synalp/olki/olki

⚗️ self-hosted science: corpora, reviews, alerts, all in one simple gateway to the fediverse for a science that is more open to the public. https://olki.loria.fr/platform/ Join our community chat at https://riot.im/app/#/group/+olki:matrix.org

Last synced: 6 jours ago - Pushed: plus d'un an ago