Link Lean sidekick web apps to LSP-enabled editors
Project description
webleank
This repository is online at both:
- gitlab.com for active development, and
- github.com as a mirror.
Webleank implements WebSocket and web application functionality on top of the core functionality of lspleanklib.
For more information, visit lean.castedo.com.
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
webleank-0.2.1.tar.gz
(93.0 kB
view details)
Built Distribution
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
webleank-0.2.1-py3-none-any.whl
(71.9 kB
view details)
File details
Details for the file webleank-0.2.1.tar.gz.
File metadata
- Download URL: webleank-0.2.1.tar.gz
- Upload date:
- Size: 93.0 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/6.1.0 CPython/3.12.11
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
c72f181423be81f43c737981c710c96bdd6b83d0b7224c4279ca39347df26fd3
|
|
| MD5 |
24c78821fd16c385423614e480a642e9
|
|
| BLAKE2b-256 |
e46cf238b23f93a4e6636376b53e3b28fc4d4b8ae6007f9c619eb64e12db8e50
|
File details
Details for the file webleank-0.2.1-py3-none-any.whl.
File metadata
- Download URL: webleank-0.2.1-py3-none-any.whl
- Upload date:
- Size: 71.9 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/6.1.0 CPython/3.12.11
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
db5a080346d2ae75218c66d3940183bf169b17b8ff5cbbebc325d9678daa1415
|
|
| MD5 |
9dee3cfaf805e08c51b867b1a5f9e3f8
|
|
| BLAKE2b-256 |
24082a310eec210a97a2fabd8d958a34be3def5af8dca37067fac993362cd7b5
|
