GitHub - liquid-java/vscode-liquidjava at pr-screenshots · GitHub

Repository navigation

vscode-liquidjava

Public

About

VS Code extension for LiquidJava - real-time refinement type checking with LSP integration

liquid-java.github.io/

ide-integration java-tools language-server liquid-types lsp refinement-types static-analysis type-checker visualization vscode-extension

Custom properties

6 stars

2 watching

Report repository

Name		Name	Last commit message	Last commit date
158		158
159		159
163		163
167		167
168		168
169		169
174		174
175		175
178		178
180		180
185		185
186		186
189		189
190		190
191		191
193		193
195		195
197		197
201		201
203		203
error-card		error-card
focus-collapse		focus-collapse
fsm-19		fsm-19
hint-list		hint-list
issues/173		issues/173
light-dim-badge		light-dim-badge
state-error-without-context		state-error-without-context
study-0.0.37		study-0.0.37
tab-order		tab-order
ways-to-fix		ways-to-fix
README.md		README.md

Repository files navigation

Screenshots embedded in pull request descriptions. Not part of the extension.

About

VS Code extension for LiquidJava - real-time refinement type checking with LSP integration

liquid-java.github.io/

ide-integration java-tools language-server liquid-types lsp refinement-types static-analysis type-checker visualization vscode-extension

Custom properties

6 stars

2 watching

Report repository

Releases

Packages

Used by

Contributors

Languages