Skip to content

LSP client implementation in Python, compatible with coq-lsp and coq_serapy

License

Notifications You must be signed in to change notification settings

HazardousPeach/pylspclient

 
 

Repository files navigation

pylspclient

image Test Package image

A Python 3.10+ implemntation of a LSP client.

What is LSP?

Getting started

Installation

pip install pylspclient

Contributing

In order to contribute you need to make sure your PR passes all the Test Package steps. You can run it locally as well:

Run the tests

pip install -e .
pip install -r requirements.test.txt
pytest test

Run the linter

ruff check .

License

This project is made available under the MIT License.

About

LSP client implementation in Python, compatible with coq-lsp and coq_serapy

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Python 99.1%
  • Makefile 0.9%