GitHub / leanprover / lean-client-js
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Flean-client-js
PURL: pkg:github/leanprover/lean-client-js
Stars: 38
Forks: 12
Open issues: 23
License: apache-2.0
Language: TypeScript
Size: 890 KB
Dependencies parsed at:
1,121
Created at: over 8 years ago
Updated at: 5 months ago
Pushed at: about 2 years ago
Last synced at: 29 days ago
Commit Stats
Commits: 155
Authors: 9
Mean commits per author: 17.22
Development Distribution Score: 0.355
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/leanprover/lean-client-js
- copy-webpack-plugin ^4.6.0 development
- html-webpack-plugin ^2.30.1 development
- lerna ^3.14.1 development
- terser-webpack-plugin-legacy ^1.2.3 development
- ts-loader ^3.5.0 development
- ts-node ^4.1.0 development
- tslint ^5.9.1 development
- typescript 2.7.1 development
- webpack ^3.11.0 development
- webpack-dev-server ^3.1.11 development
- worker-loader ^1.1.0 development
- @types/dropboxjs 0.0.29
- @types/filesystem 0.0.28
- @types/node =8.0.19
- browserfs ^1.4.3
- lean-client-js-core ^3.3.1
- @types/node ^9.4.6
- @types/node ^9.4.6
- lean-client-js-core ^3.3.1
- typescript ^4.3.4 development
- @types/node ^16.6.1
- lean-client-js-core ^3.3.1
- lean-client-js-node ^3.3.1
- vscode-languageserver ^7.0.0
- vscode-languageserver-textdocument ^1.0.1
- vscode-uri ^3.0.2
- typescript 4.3.4 development
- @types/node 9.6.61
- @types/node 16.6.1
- lean-client-js-core 3.3.1
- lean-client-js-node 3.3.1
- vscode-jsonrpc 6.0.0
- vscode-languageserver 7.0.0
- vscode-languageserver-protocol 3.16.0
- vscode-languageserver-textdocument 1.0.1
- vscode-languageserver-types 3.16.0
- vscode-uri 3.0.2
- @types/dropboxjs 0.0.29
- @types/filesystem 0.0.28
- @types/filewriter 0.0.28
- @types/node 8.0.19
- async 2.5.0
- browserfs 1.4.3
- lodash 4.17.20
- pako 1.0.5