GitHub / coq / vscoq
Visual Studio Code extension for Coq
JSON API: https://data.code.gouv.fr/api/v1/hosts/GitHub/repositories/coq%2Fvscoq
Stars: 370
Forks: 74
Open issues: 145
License: mit
Language: OCaml
Size: 78.7 MB
Dependencies parsed at:
1,010
Created at: almost 6 years ago
Updated at: about 2 months ago
Pushed at: 2 months ago
Last synced at: about 2 months ago
Topics: coq, editor, vscode, vscode-extension, vscodium
.github/workflows/cd.yml
actions
- actions/checkout v3 composite
- avsm/setup-ocaml v2 composite
- rlespinasse/github-slug-action v4 composite
- webfactory/ssh-agent v0.8.0 composite
.github/workflows/ci.yml
actions
- HaaLeo/publish-vscode-extension v1.6.2 composite
- actions/checkout v3 composite
- actions/setup-node v3 composite
- avsm/setup-ocaml v2 composite
- cachix/install-nix-action v22 composite
- rlespinasse/github-slug-action v4 composite
- softprops/action-gh-release v1 composite
- HaaLeo/publish-vscode-extension v1.6.2 composite
- actions/checkout v3 composite
- actions/setup-node v3 composite
- actions/checkout v3 composite
- avsm/setup-ocaml v2 composite
- rlespinasse/github-slug-action v4 composite
- webfactory/ssh-agent v0.8.0 composite
- @types/react ^17.0.33 development
- @types/react-dom ^17.0.10 development
- @types/vscode-webview ^1.57.0 development
- @vitejs/plugin-react ^1.0.7 development
- typescript ^4.4.4 development
- vite ^2.9.18 development
- @vscode/codicons ^0.0.32
- @vscode/webview-ui-toolkit ^1.2.1
- pp-display link:../pp-display
- react ^17.0.2
- react-dom ^17.0.2
- react-icons ^4.7.1
- uuidv4 ^6.2.13
- @types/glob ^8.0.0 development
- @types/mocha ^10.0.1 development
- @types/node 16.x development
- @types/tmp ^0.2.3 development
- @types/vscode ^1.74.0 development
- @typescript-eslint/eslint-plugin ^5.45.0 development
- @typescript-eslint/parser ^5.45.0 development
- @vscode/test-electron ^2.2.0 development
- @vscode/vsce ^2.19.0 development
- eslint ^8.28.0 development
- eslint-config-prettier ^9.1.0 development
- expect ^29.4.3 development
- glob ^8.0.3 development
- mocha ^10.1.0 development
- prettier 3.3.3 development
- prettier-plugin-organize-imports ^4.0.0 development
- tmp-promise ^3.0.3 development
- ts-loader ^9.4.1 development
- typescript ^4.9.3 development
- vsce ^2.15.0 development
- webpack ^5.94.0 development
- webpack-cli ^5.0.0 development
- compare-versions ^6.0.0-rc.1
- vscode-languageclient ^9.0.1
- @types/react ^17.0.33 development
- @types/react-dom ^17.0.10 development
- @types/vscode-webview ^1.57.0 development
- @vitejs/plugin-react ^1.0.7 development
- typescript ^4.4.4 development
- vite ^2.9.18 development
- vite-plugin-dts ^4.0.1 development
- vite-plugin-externalize-deps ^0.8.0 development
- vite-plugin-lib-inject-css ^2.1.1 development
- @react-hook/resize-observer ^1.2.6
- @vscode/codicons ^0.0.32
- @vscode/webview-ui-toolkit ^1.2.1
- react ^17.0.2
- react-dom ^17.0.2
- react-hook ^0.0.1
- react-icons ^4.7.1
- uuidv4 ^6.2.13
- @types/react ^17.0.33 development
- @types/react-dom ^17.0.10 development
- @types/vscode-webview ^1.57.0 development
- @vitejs/plugin-react ^1.0.7 development
- typescript ^4.4.4 development
- vite ^2.9.18 development
- @vscode/codicons ^0.0.32
- @vscode/webview-ui-toolkit ^1.2.1
- pp-display link:../pp-display
- react ^17.0.2
- react-dom ^17.0.2
- react-icons ^4.7.1
- uuidv4 ^6.2.13