Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / eric-wieser / vscode-lean
An extension for VS Code which provides support for the Lean language.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/eric-wieser%2Fvscode-lean
Fork of leanprover/vscode-lean
Stars: 0
Forks: 0
Open Issues: 0
License: apache-2.0
Language: TypeScript
Repo Size: 3.09 MB
Dependencies:
492
Created: almost 4 years ago
Updated: almost 2 years ago
Last pushed: over 1 year ago
Last synced: about 1 month ago
Files
Loading...
Readme
Loading...
Dependencies
.github/workflows/on-push.yml
actions
- actions/checkout v2 composite
- actions/upload-artifact v2 composite
package.json
npm
- @popperjs/core ^2.9.2 development
- @types/cheerio ^0.22.29 development
- @types/express ^4.17.12 development
- @types/load-json-file ^5.1.0 development
- @types/mocha ^8.2.2 development
- @types/node ^15.6.1 development
- @types/react ^17.0.8 development
- @types/react-dom ^17.0.5 development
- @types/semver ^7.3.6 development
- @types/username ^5.0.0 development
- @types/vscode ^1.38.0 development
- @typescript-eslint/eslint-plugin ^4.26.0 development
- @typescript-eslint/parser ^4.26.0 development
- css-loader ^5.2.6 development
- eslint ^7.27.0 development
- ovsx 0.1.0 development
- react ^17.0.2 development
- react-dom ^17.0.2 development
- react-popper ^2.2.5 development
- style-loader ^2.0.0 development
- svg-loader 0.0.2 development
- ts-loader ^9.2.2 development
- typescript ^4.3.2 development
- url-loader ^4.1.1 development
- vsce ^1.91.0 development
- webpack ^5.38.1 development
- webpack-cli ^4.7.0 development
- axios ^0.21.1
- carrier 0.3.0
- cheerio 1.0.0-rc.9
- express ^4.17.1
- hasbin ^1.2.3
- katex ^0.13.11
- lean-client-js-core ^2.0.1
- lean-client-js-node ^2.0.1
- load-json-file 6.2.0
- mobx 5.15.7
- prop-types ^15.7.2
- react-katex ^2.0.2
- semver ^7.3.5
- username ^5.1.0