An open API service providing repository metadata for many open source software ecosystems.

Package Usage: npm: @types/vscode

TypeScript definitions for vscode
98 versions
Latest release: plus d'un an ago
821 dependent packages
1 191 347 downloads last month

View more package details: https://packages.ecosystem.code.gouv.fr/registries/npmjs.org/packages/@types/vscode

Dependent Repos 8

publicodes/language-server
LS and VSCode client for Publicodes

Size: 524 ko - Last synced: 3 jours ago - Pushed: 7 mois ago

coq/vscoq
Visual Studio Code extension for Coq

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

michelse/llvm-property-preserving

Last synced: plus d'un an 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: 4 jours ago - Pushed: plus de 2 ans ago

diverse-project/sirius-web-usability-functions

Size: 14,2 Mo - Last synced: 6 jours ago - Pushed: environ 2 ans ago

projet/make-lldb-config-for-vscode

Last synced: 12 mois ago

projet/vpl-for-vscode

Last synced: 12 mois ago

xfor/llvm-project
A canonical fork of the LLVM project with Clang implementing the XFOR programming structure

Last synced: environ un an ago

CatalaLang/catala-language-server
Catala VSCode extension and LSP server

Size: 779 ko - Last synced: 3 jours ago - Pushed: 4 jours ago

Deducteam/lambdapi
Proof assistant based on the λΠ-calculus modulo rewriting

Size: 39,2 Mo - Last synced: environ 19 heures ago - Pushed: 3 jours ago

OpenFLUID/openfluid-vscode-extension
VScode extension for OpenFLUID

Size: 165 ko - Last synced: 3 jours ago - Pushed: presque 3 ans ago

PremierLangage/platon-vscode
A Visual Studio Code extension to explorer and manage PLaTon resources and circles.

Size: 415 ko - Last synced: 3 jours ago - Pushed: environ 4 ans ago

GIP-RECIA/tldraw-v1 Fork of tldraw/tldraw-v1
A tiny little drawing app.

Size: 28,4 Mo - Last synced: 4 jours ago - Pushed: 11 mois ago

DFIR-ORC/llvm-project Fork of llvm/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

Size: 1,2 Go - Last synced: 4 jours ago - Pushed: presque 5 ans ago

gemoc/lipvm

Size: 866 ko - Last synced: 7 jours ago - Pushed: 10 mois ago