Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / leanprover / vscode-lean
Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for the Lean 4 language.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean
Stars: 118
Forks: 48
Open Issues: 72
License: apache-2.0
Language: TypeScript
Repo Size: 3.7 MB
Dependencies:
492
Created: over 7 years ago
Updated: about 1 month ago
Last pushed: 8 months ago
Last synced: 25 days ago
Files
Loading...
Readme
Loading...
Dependencies
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 ^3.3.1
- lean-client-js-node ^3.3.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
.github/workflows/on-push.yml
actions
- actions/checkout v2 composite
- actions/upload-artifact v2 composite