René's URL Explorer Experiment


Title: LiquidJava Docs

Open Graph Title: LiquidJava Docs

X Title: LiquidJava Docs

Description: Documentation for LiquidJava, a lightweight verification system for Java using liquid types.

X Description: Documentation for LiquidJava, a lightweight verification system for Java using liquid types.

Opengraph URL: https://liquid-java.github.io/liquidjava-docs/

Generator: Jekyll v3.10.0

direct link

Domain: liquid-java.github.io

Hey, it has json ld scripts: 
{"@context":"https://schema.org","@type":"WebSite","description":"Documentation for LiquidJava, a lightweight verification system for Java using liquid types.","headline":"LiquidJava Docs","name":"LiquidJava Docs","url":"https://liquid-java.github.io/liquidjava-docs/"}
NoneIE=Edge
og:localeen_US
og:site_nameLiquidJava Docs
og:typewebsite
twitter:cardsummary

Links:

Skip to main contenthttps://liquid-java.github.io/liquidjava-docs/#main-content
LiquidJava Docs https://liquid-java.github.io/liquidjava-docs/
Getting Startedhttps://liquid-java.github.io/liquidjava-docs/getting-started/
Setuphttps://liquid-java.github.io/liquidjava-docs/getting-started/setup/
Overviewhttps://liquid-java.github.io/liquidjava-docs/getting-started/overview/
Annotationshttps://liquid-java.github.io/liquidjava-docs/annotations/
@Refinementhttps://liquid-java.github.io/liquidjava-docs/annotations/refinement/
@RefinementAliashttps://liquid-java.github.io/liquidjava-docs/annotations/refinement-alias/
@StateRefinementhttps://liquid-java.github.io/liquidjava-docs/annotations/state-refinement/
@ExternalRefinementsForhttps://liquid-java.github.io/liquidjava-docs/annotations/external-refinements-for/
@Ghosthttps://liquid-java.github.io/liquidjava-docs/annotations/ghost/
@RefinementPredicatehttps://liquid-java.github.io/liquidjava-docs/annotations/refinement-predicate/
Diagnosticshttps://liquid-java.github.io/liquidjava-docs/diagnostics/
Errorshttps://liquid-java.github.io/liquidjava-docs/diagnostics/errors/
Warningshttps://liquid-java.github.io/liquidjava-docs/diagnostics/warnings/
Custom Messageshttps://liquid-java.github.io/liquidjava-docs/diagnostics/custom-messages/
Understanding Refinement Errorshttps://liquid-java.github.io/liquidjava-docs/diagnostics/understanding-refinement-errors/
VS Code Extensionhttps://liquid-java.github.io/liquidjava-docs/vscode-extension/
Real-Time Diagnostic Feedbackhttps://liquid-java.github.io/liquidjava-docs/vscode-extension/real-time-diagnostic-feedback/
Syntax Highlighting for Refinementshttps://liquid-java.github.io/liquidjava-docs/vscode-extension/syntax-highlighting/
Autocomplete for Refinementshttps://liquid-java.github.io/liquidjava-docs/vscode-extension/autocomplete/
Webviewhttps://liquid-java.github.io/liquidjava-docs/vscode-extension/webview/
Diagnostic Explorerhttps://liquid-java.github.io/liquidjava-docs/vscode-extension/webview/diagnostic-explorer/
Context Debuggerhttps://liquid-java.github.io/liquidjava-docs/vscode-extension/webview/context-debugger/
State Machine Visualizerhttps://liquid-java.github.io/liquidjava-docs/vscode-extension/webview/state-machine-visualizer/
Status Bar Indicatorhttps://liquid-java.github.io/liquidjava-docs/vscode-extension/status-bar-indicator/
Commandshttps://liquid-java.github.io/liquidjava-docs/vscode-extension/commands/
Output Channelhttps://liquid-java.github.io/liquidjava-docs/vscode-extension/output-channel/
Command-Line Interfacehttps://liquid-java.github.io/liquidjava-docs/command-line-interface/
Exampleshttps://liquid-java.github.io/liquidjava-docs/examples/
Counterhttps://liquid-java.github.io/liquidjava-docs/examples/counter/
Paginationhttps://liquid-java.github.io/liquidjava-docs/examples/pagination/
Media Playerhttps://liquid-java.github.io/liquidjava-docs/examples/media-player/
Emailhttps://liquid-java.github.io/liquidjava-docs/examples/email/
Orderhttps://liquid-java.github.io/liquidjava-docs/examples/order/
Downloaderhttps://liquid-java.github.io/liquidjava-docs/examples/downloader/
Connectionhttps://liquid-java.github.io/liquidjava-docs/examples/connection/
ArrayListhttps://liquid-java.github.io/liquidjava-docs/examples/arraylist/
Resourceshttps://liquid-java.github.io/liquidjava-docs/resources/
GitHubhttps://github.com/liquid-java/liquidjava-docs
Getting Startedhttps://liquid-java.github.io/liquidjava-docs/getting-started/
Annotationshttps://liquid-java.github.io/liquidjava-docs/annotations/
Diagnosticshttps://liquid-java.github.io/liquidjava-docs/diagnostics/
VS Code Extensionhttps://liquid-java.github.io/liquidjava-docs/vscode-extension/
Command-Line Interfacehttps://liquid-java.github.io/liquidjava-docs/command-line-interface/
Exampleshttps://liquid-java.github.io/liquidjava-docs/examples/
Resourceshttps://liquid-java.github.io/liquidjava-docs/resources/
GitHubhttps://github.com/liquid-java/liquidjava-docs

Viewport: width=device-width, initial-scale=1

URLs of crawlers that visited me.