https://github.com/ethanuppal/bril-lsp

LSP for Bril in VSCode and Neovim | Parser + type inference as Rust library | Formatter
https://github.com/ethanuppal/bril-lsp

bril formatter lsp neovim-plugin parser type-inference vscode-extension

Last synced: 11 months ago
JSON representation

LSP for Bril in VSCode and Neovim | Parser + type inference as Rust library | Formatter

• Host: GitHub
• URL: https://github.com/ethanuppal/bril-lsp
• Owner: ethanuppal
• License: gpl-3.0
• Created: 2025-02-05T00:24:07.000Z (over 1 year ago)
• Default Branch: main
• Last Pushed: 2025-03-10T00:21:17.000Z (over 1 year ago)
• Last Synced: 2025-06-30T06:06:50.066Z (12 months ago)
• Topics: bril, formatter, lsp, neovim-plugin, parser, type-inference, vscode-extension
• Language: Rust
• Homepage:
• Size: 212 KB
• Stars: 2
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# bril-lsp

This monorepo contains:

- [`bril-frontend`](./bril-frontend/): A library for parsing and type checking/inferring Bril

  programs in their textual format

  [![Crates.io Version](https://img.shields.io/crates/v/bril-frontend)](https://crates.io/crates/bril-frontend)

  [![docs.rs](https://img.shields.io/docsrs/bril-frontend)](https://docs.rs/bril-frontend/latest/bril_frontend/)

  ![Crates.io License](https://img.shields.io/crates/l/bril-frontend)

- [`bril-lsp`](./bril-lsp/): A language server for Bril programs in their textual format

  

  [![Crates.io Version](https://img.shields.io/crates/v/bril-lsp)](https://crates.io/crates/bril-lsp)

  ![Crates.io License](https://img.shields.io/crates/l/bril-lsp)

- [`brilfmt`](./brilfmt/): A formatter for Bril programs in their textual format

  

  [![Crates.io Version](https://img.shields.io/crates/v/brilfmt)](https://crates.io/crates/brilfmt)

  ![Crates.io License](https://img.shields.io/crates/l/brilfmt)

- [`bril.nvim`](https://github.com/ethanuppal/bril.nvim/tree/main): Neovim plugin for lazy.nvim

- [`bril-vscode`](./bril-vscode/): Install the VSCode extension here: https://marketplace.visualstudio.com/items?itemName=EthanUppal.bril

  ![GitHub License](https://img.shields.io/github/license/ethanuppal/bril-lsp)

## Install the LSP

First, [install a Rust toolchain](https://rustup.rs) and then run:

```

cargo install --locked --git https://github.com/ethanuppal/bril-lsp bril-lsp

```