https://github.com/agda/agda-language-server
Language Server for Agda
Science Score: 26.0%
This score indicates how likely this project is to be science-related based on various indicators:
-
○CITATION.cff file
-
✓codemeta.json file
Found codemeta.json file -
✓.zenodo.json file
Found .zenodo.json file -
○DOI references
-
○Academic publication links
-
○Committers with academic emails
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (12.6%) to scientific vocabulary
Keywords
Keywords from Contributors
Repository
Language Server for Agda
Basic Info
Statistics
- Stars: 113
- Watchers: 9
- Forks: 19
- Open Issues: 10
- Releases: 29
Topics
Metadata Files
README.md
Agda Language Server
Supported versions of Agda
These are the currently supported versions of Agda: * Agda-2.8.0 * Agda-2.7.0.1 * Agda-2.6.4.3
All releases will come with binaries built with these versions of Agda.
We plan to make the codebase compatible with at most 3 versions of Agda at a single time. Because otherwise we'd be drowned by CPP macros for conditional compilation.
Installation
The simplest way of acquiring Agda Language Server is through agda-mode on VS Code. Follow the instructions and the language server should be installed within seconds.
Prebuilt binaries
You can also download prebuilt binaries from the release page if you are using other LSP-compatible text editors.
Supported platforms: Windows, Mac, and Ubuntu.
Development releases
For testing the latest features and bug fixes, you can download development pre-releases:
- Stable releases: Tagged as v6, v7, etc. - recommended for general use
- Development releases: Tagged as dev - latest features, may be unstable
Development releases are updated as needed and contain the latest changes from the main branch.
Build from source
You will need Haskell Stack to build the project:
stack install
Versioning
Single-digit versioning for the language server itself - people mostly just care about the Agda version it supports anyway.
Why make it standalone?
- for less impact on the Agda codebase
- to help decouple the Agda codebase
- we can always merge it back to Agda later anyway
Hacking
This language server is co-developed alongside agda-mode on VS Code.
TCP server for development
To make development easier, you can host the language server locally at localhost:4096 by running :main -p in the REPL (stack repl).
Add lsp://localhost:4096 to agdaMode.connection.paths in VS Code's settings, then hit C-x C-s to select it as the endpoint.
This allows you to reload the language server in the REPL without recompiling and reinstalling the whole project every time you make changes.
Creating development releases
To create a development pre-release, push to the dev branch:
bash
git push origin master:dev
This creates/updates the dev pre-release with artifacts for the latest Agda version on all platforms.
Owner
- Name: Agda Github Community
- Login: agda
- Kind: organization
- Website: https://wiki.portal.chalmers.se/agda
- Repositories: 32
- Profile: https://github.com/agda
GitHub Events
Total
- Create event: 9
- Release event: 7
- Issues event: 4
- Watch event: 9
- Delete event: 4
- Issue comment event: 7
- Push event: 75
- Pull request event: 6
- Fork event: 3
Last Year
- Create event: 9
- Release event: 7
- Issues event: 4
- Watch event: 9
- Delete event: 4
- Issue comment event: 7
- Push event: 75
- Pull request event: 6
- Fork event: 3
Committers
Last synced: 9 months ago
Top Committers
| Name | Commits | |
|---|---|---|
| Ting-Gian LUA | b****n@g****m | 235 |
| Andreas Abel | a****l@i****e | 22 |
| Liang-Ting Chen | l****w@g****m | 14 |
| ㄗㄠˋ ㄑㄧˊ | t****i@t****g | 1 |
| wldhx | w****x@w****e | 1 |
| Franklin Chen | f****n@f****m | 1 |
| Alba Mendez | a****z@d****m | 1 |
Committer Domains (Top 20 + Academic)
Issues and Pull Requests
Last synced: 6 months ago
All Time
- Total issues: 17
- Total pull requests: 17
- Average time to close issues: 6 months
- Average time to close pull requests: 3 months
- Total issue authors: 14
- Total pull request authors: 8
- Average comments per issue: 1.53
- Average comments per pull request: 0.47
- Merged pull requests: 15
- Bot issues: 0
- Bot pull requests: 0
Past Year
- Issues: 4
- Pull requests: 4
- Average time to close issues: N/A
- Average time to close pull requests: about 14 hours
- Issue authors: 4
- Pull request authors: 2
- Average comments per issue: 0.5
- Average comments per pull request: 0.0
- Merged pull requests: 2
- Bot issues: 0
- Bot pull requests: 0
Top Authors
Issue Authors
- banacorn (3)
- stephen-smith (1)
- cspollard (1)
- foxyseta (1)
- DieracDelta (1)
- fredrik-bakke (1)
- omentic (1)
- 4e554c4c (1)
- wldhx (1)
- haohanyang (1)
- nvarner (1)
- L-TChen (1)
- phijor (1)
Pull Request Authors
- andreasabel (8)
- banacorn (4)
- andy0130tw (2)
- mio-19 (1)
- wldhx (1)
- FranklinChen (1)
- L-TChen (1)
- mildsunrise (1)
Top Labels
Issue Labels
Pull Request Labels
Dependencies
- Agda ==2.6.2.1
- aeson *
- agda-language-server *
- base >=4.7 && <5
- bytestring *
- containers *
- lsp <2
- mtl *
- network *
- network-simple *
- process *
- stm *
- strict *
- text *
- Agda ==2.6.2.1 test
- aeson * test
- base >=4.7 && <5 test
- bytestring * test
- containers * test
- lsp <2 test
- mtl * test
- network * test
- network-simple * test
- process * test
- stm * test
- strict * test
- tasty * test
- tasty-golden * test
- tasty-hunit * test
- tasty-quickcheck * test
- text * test
- actions/checkout v2 composite
- actions/create-release v1.0.0 composite
- actions/cache v2 composite
- actions/checkout v2 composite
- softprops/action-gh-release v1 composite
- actions/cache v2 composite
- actions/checkout v2 composite
- softprops/action-gh-release v1 composite
- actions/cache v2 composite
- actions/checkout v2 composite
- softprops/action-gh-release v1 composite