Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions .nojekyll
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@

43 changes: 43 additions & 0 deletions .well-known/agent-resources.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,43 @@
{
"name": "LiquidJava",
"description": "LiquidJava extends Java with refinement types to express stronger code restrictions and catch bugs before execution.",
"homepage": "https://liquid-java.github.io/",
"documentation": "https://liquid-java.github.io/liquidjava-docs/",
"resources": [
{
"name": "GitHub organization",
"url": "https://github.com/liquid-java",
"type": "source-organization"
},
{
"name": "Verifier, API, and examples",
"url": "https://github.com/liquid-java/liquidjava",
"type": "source-repository"
},
{
"name": "Documentation repository",
"url": "https://github.com/liquid-java/liquidjava-docs",
"type": "source-repository"
},
{
"name": "Tutorial repository",
"url": "https://github.com/liquid-java/liquidjava-tutorial",
"type": "source-repository"
},
{
"name": "VS Code extension repository",
"url": "https://github.com/liquid-java/vscode-liquidjava",
"type": "source-repository"
},
{
"name": "VS Code Marketplace",
"url": "https://marketplace.visualstudio.com/items?itemName=AlcidesFonseca.liquid-java",
"type": "extension-listing"
},
{
"name": "Open VSX",
"url": "https://open-vsx.org/extension/AlcidesFonseca/liquid-java",
"type": "extension-listing"
}
]
}
14 changes: 14 additions & 0 deletions _headers
Original file line number Diff line number Diff line change
@@ -0,0 +1,14 @@
/
Link: </sitemap.xml>; rel="describedby"; type="application/xml", </llms.txt>; rel="describedby"; type="text/plain", </.well-known/agent-resources.json>; rel="describedby"; type="application/json", <https://liquid-java.github.io/liquidjava-docs/>; rel="service-doc"

/robots.txt
Content-Type: text/plain; charset=utf-8

/sitemap.xml
Content-Type: application/xml; charset=utf-8

/llms.txt
Content-Type: text/plain; charset=utf-8

/.well-known/agent-resources.json
Content-Type: application/json; charset=utf-8
18 changes: 18 additions & 0 deletions llms.txt
Original file line number Diff line number Diff line change
@@ -0,0 +1,18 @@
# LiquidJava

LiquidJava extends Java with refinement types so developers can express stronger code restrictions and catch bugs before execution.

## Primary site

- Homepage: https://liquid-java.github.io/
- Documentation: https://liquid-java.github.io/liquidjava-docs/

## Related resources

- GitHub organization: https://github.com/liquid-java
- Verifier, API, and examples: https://github.com/liquid-java/liquidjava
- Documentation repository: https://github.com/liquid-java/liquidjava-docs
- Tutorial repository: https://github.com/liquid-java/liquidjava-tutorial
- VS Code extension repository: https://github.com/liquid-java/vscode-liquidjava
- VS Code Marketplace: https://marketplace.visualstudio.com/items?itemName=AlcidesFonseca.liquid-java
- Open VSX: https://open-vsx.org/extension/AlcidesFonseca/liquid-java
42 changes: 42 additions & 0 deletions robots.txt
Original file line number Diff line number Diff line change
@@ -0,0 +1,42 @@
User-agent: *
Allow: /
Disallow: /assets/extension/
Content-Signal: ai-train=no, search=yes, ai-input=no

User-agent: OAI-SearchBot
Allow: /
Content-Signal: ai-train=no, search=yes, ai-input=no

User-agent: GPTBot
Disallow: /
Content-Signal: ai-train=no, search=yes, ai-input=no

User-agent: Claude-Web
Disallow: /
Content-Signal: ai-train=no, search=yes, ai-input=no

User-agent: Google-Extended
Disallow: /
Content-Signal: ai-train=no, search=yes, ai-input=no

User-agent: Amazonbot
Disallow: /
Content-Signal: ai-train=no, search=yes, ai-input=no

User-agent: anthropic-ai
Disallow: /
Content-Signal: ai-train=no, search=yes, ai-input=no

User-agent: Bytespider
Disallow: /
Content-Signal: ai-train=no, search=yes, ai-input=no

User-agent: CCBot
Disallow: /
Content-Signal: ai-train=no, search=yes, ai-input=no

User-agent: Applebot-Extended
Disallow: /
Content-Signal: ai-train=no, search=yes, ai-input=no

Sitemap: https://liquid-java.github.io/sitemap.xml
6 changes: 6 additions & 0 deletions sitemap.xml
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
<?xml version="1.0" encoding="UTF-8"?>
<urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9">
<url>
<loc>https://liquid-java.github.io/</loc>
</url>
</urlset>