Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / sr-lab / coqpyt
Python client for coq-lsp
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sr-lab%2Fcoqpyt
Stars: 12
Forks: 1
Open Issues: 6
License: mit
Language: Python
Repo Size: 583 KB
Dependencies:
9
Created: about 1 year ago
Updated: 6 days ago
Last pushed: 6 days ago
Last synced: 5 days ago
Topics: coq, language-server-protocol, lsp-client
Files
Loading...
Readme
Loading...
Dependencies
requirements.txt
pypi
- enum *
setup.py
pypi
.github/workflows/lint.yml
actions
- actions/checkout v3.5.2 composite
- psf/black stable composite
.github/workflows/test.yml
actions
- actions/checkout v3.5.2 composite
- actions/setup-python v4.6.1 composite
- ocaml/setup-ocaml v2 composite
.github/workflows/readme.yml
actions
- EndBug/add-and-commit v9 composite
- actions/checkout v3.5.2 composite
- actions/setup-node v4 composite