Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / ejgallego / coq-lsp
Visual Studio Code Extension and Language Server Protocol for Coq
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ejgallego%2Fcoq-lsp
Stars: 129
Forks: 27
Open Issues: 129
License: lgpl-2.1
Language: OCaml
Repo Size: 23.9 MB
Dependencies:
365
Created: over 5 years ago
Updated: 12 days ago
Last pushed: 15 days ago
Last synced: 14 days ago
Topics: coq, ide, interactive-theorem-proving, language-server-protocol, user-interface, vscode-extension
Files
Loading...
Readme
Loading...
Dependencies
- vscode-languageclient ^8.0.1
.github/workflows/build.yml
actions
- actions/checkout v3 composite
- actions/setup-node v3 composite
- cachix/install-nix-action v22 composite
- cachix/install-nix-action v18 composite
- ocaml/setup-ocaml v2 composite
- @types/jest ^29.4.0 development
- @types/node ^18.13.0 development
- jest ^29.4.3 development
- ts-jest ^29.0.5 development
- typescript ^4.9.5 development
- vscode-jsonrpc ^8.1.0 development
- vscode-languageserver-protocol ^3.17.3 development
- vscode-languageserver-types ^3.17.3 development
- vscode-uri ^3.0.7 development
- @esbuild/android-arm 0.16.17 development
- @esbuild/android-arm64 0.16.17 development
- @esbuild/android-x64 0.16.17 development
- @esbuild/darwin-arm64 0.16.17 development
- @esbuild/darwin-x64 0.16.17 development
- @esbuild/freebsd-arm64 0.16.17 development
- @esbuild/freebsd-x64 0.16.17 development
- @esbuild/linux-arm 0.16.17 development
- @esbuild/linux-arm64 0.16.17 development
- @esbuild/linux-ia32 0.16.17 development
- @esbuild/linux-loong64 0.16.17 development
- @esbuild/linux-mips64el 0.16.17 development
- @esbuild/linux-ppc64 0.16.17 development
- @esbuild/linux-riscv64 0.16.17 development
- @esbuild/linux-s390x 0.16.17 development
- @esbuild/linux-x64 0.16.17 development
- @esbuild/netbsd-x64 0.16.17 development
- @esbuild/openbsd-x64 0.16.17 development
- @esbuild/sunos-x64 0.16.17 development
- @esbuild/win32-arm64 0.16.17 development
- @esbuild/win32-ia32 0.16.17 development
- @esbuild/win32-x64 0.16.17 development
- @types/jquery 3.5.16 development
- @types/node 18.16.19 development
- @types/object-hash 3.0.2 development
- @types/prop-types 15.7.5 development
- @types/react 18.2.14 development
- @types/react-dom 18.2.6 development
- @types/scheduler 0.16.3 development
- @types/sizzle 2.3.3 development
- @types/throttle-debounce 5.0.0 development
- @types/vscode 1.80.0 development
- @types/vscode-webview 1.57.1 development
- csstype 3.1.2 development
- esbuild 0.16.17 development
- prettier 3.0.0 development
- typescript 5.1.6 development
- @microsoft/fast-element 1.12.0
- @microsoft/fast-foundation 2.49.0
- @microsoft/fast-react-wrapper 0.1.48
- @microsoft/fast-web-utilities 5.4.1
- @vscode/webview-ui-toolkit 1.2.2
- balanced-match 1.0.2
- brace-expansion 2.0.1
- exenv-es6 1.1.1
- jquery 3.7.0
- js-tokens 4.0.0
- loose-envify 1.4.0
- lru-cache 6.0.0
- minimatch 5.1.6
- object-hash 3.0.0
- react 18.2.0
- react-dom 18.2.0
- scheduler 0.23.0
- semver 7.5.3
- tabbable 5.3.3
- throttle-debounce 5.0.0
- tslib 1.14.1
- vscode-jsonrpc 8.1.0
- vscode-languageclient 8.1.0
- vscode-languageserver-protocol 3.17.3
- vscode-languageserver-types 3.17.3
- yallist 4.0.0