https://github.com/eclipse-biscuit/biscuit-lsp

https://github.com/eclipse-biscuit/biscuit-lsp

Last synced: 9 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/eclipse-biscuit/biscuit-lsp
• Owner: eclipse-biscuit
• License: apache-2.0
• Created: 2023-07-24T14:31:53.000Z (almost 3 years ago)
• Default Branch: main
• Last Pushed: 2025-04-08T09:45:14.000Z (about 1 year ago)
• Last Synced: 2025-06-08T01:42:37.060Z (about 1 year ago)
• Language: TypeScript
• Size: 81.1 KB
• Stars: 4
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# Biscuit datalog language server

## Introduction

This repo provides a (minimal) language server for biscuit datalog.

It is based on [tower-lsp](https://github.com/ebkalderon/tower-lsp) and [tower-lsp-boilerplate](https://github.com/IWANABETHATGUY/tower-lsp-boilerplate).

## Features

Some of these features, like _code completion_, require support for fault-tolerant parsing, which is not done yet. Other features, like _go to definition_ or _inlay hints_ might be hard to map to datalog semantics.

- [x] syntactic error diagnostic

- [ ] code completion

- [ ] find reference

- [ ] rename

- [ ] semantic token

- [ ] go to definition

- [ ] inlay hints

## Installation / usage

This language server has not been released yet and is not part of the [biscuit-auth VSCode extension](https://marketplace.visualstudio.com/items?itemName=biscuit-auth.vscode-biscuit).

It can be used fairly easily from nvim or helix.