Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / Alizter / coq-lsp
Language Server Protocol for Coq
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Alizter%2Fcoq-lsp
Fork of ejgallego/coq-lsp
Stars: 0
Forks: 0
Open Issues: 0
License: lgpl-2.1
Language: OCaml
Repo Size: 23.2 MB
Dependencies:
73
Created: almost 2 years ago
Updated: 11 days ago
Last pushed: 11 days ago
Last synced: 10 days ago
Files
Loading...
Readme
Loading...
Dependencies
.github/workflows/build.yml
actions
- actions/checkout v3 composite
- actions/setup-node v3 composite
- cachix/install-nix-action v18 composite
- ocaml/setup-ocaml v2 composite
- @types/node ^16.11.7 development
- @types/object-hash ^3.0.2 development
- @types/react ^18.0.27 development
- @types/react-dom ^18.0.10 development
- @types/throttle-debounce ^5.0.0 development
- @types/vscode ^1.73.0 development
- @types/vscode-webview ^1.57.1 development
- esbuild ^0.16.13 development
- prettier ^2.8.1 development
- typescript ^4.9.4 development
- object-hash ^3.0.0
- react ^18.2.0
- react-dom ^18.2.0
- throttle-debounce ^5.0.0
- vscode-languageclient ^8.0.2
- vscode-languageserver-types ^3.17.2
- @esbuild/android-arm 0.16.13 development
- @esbuild/android-arm64 0.16.13 development
- @esbuild/android-x64 0.16.13 development
- @esbuild/darwin-arm64 0.16.13 development
- @esbuild/darwin-x64 0.16.13 development
- @esbuild/freebsd-arm64 0.16.13 development
- @esbuild/freebsd-x64 0.16.13 development
- @esbuild/linux-arm 0.16.13 development
- @esbuild/linux-arm64 0.16.13 development
- @esbuild/linux-ia32 0.16.13 development
- @esbuild/linux-loong64 0.16.13 development
- @esbuild/linux-mips64el 0.16.13 development
- @esbuild/linux-ppc64 0.16.13 development
- @esbuild/linux-riscv64 0.16.13 development
- @esbuild/linux-s390x 0.16.13 development
- @esbuild/linux-x64 0.16.13 development
- @esbuild/netbsd-x64 0.16.13 development
- @esbuild/openbsd-x64 0.16.13 development
- @esbuild/sunos-x64 0.16.13 development
- @esbuild/win32-arm64 0.16.13 development
- @esbuild/win32-ia32 0.16.13 development
- @esbuild/win32-x64 0.16.13 development
- @types/node 16.18.11 development
- @types/object-hash 3.0.2 development
- @types/prop-types 15.7.5 development
- @types/react 18.0.27 development
- @types/react-dom 18.0.10 development
- @types/scheduler 0.16.2 development
- @types/throttle-debounce 5.0.0 development
- @types/vscode 1.73.0 development
- @types/vscode-webview 1.57.1 development
- csstype 3.1.1 development
- esbuild 0.16.13 development
- prettier 2.8.1 development
- typescript 4.9.4 development
- balanced-match 1.0.2
- brace-expansion 1.1.11
- concat-map 0.0.1
- js-tokens 4.0.0
- loose-envify 1.4.0
- lru-cache 6.0.0
- minimatch 3.1.2
- object-hash 3.0.0
- react 18.2.0
- react-dom 18.2.0
- scheduler 0.23.0
- semver 7.3.8
- throttle-debounce 5.0.0
- vscode-jsonrpc 8.0.2
- vscode-languageclient 8.0.2
- vscode-languageserver-protocol 3.17.2
- vscode-languageserver-types 3.17.2
- yallist 4.0.0