Title: liquidjava/liquidjava-example/src at main · cheestree/liquidjava · GitHub
Open Graph Title: liquidjava/liquidjava-example/src at main · cheestree/liquidjava
X Title: liquidjava/liquidjava-example/src at main · cheestree/liquidjava
Description: Refinement type checker for Java with liquid types and typestates - catch bugs at compile time - liquidjava/liquidjava-example/src at main · cheestree/liquidjava
Open Graph Description: Refinement type checker for Java with liquid types and typestates - catch bugs at compile time - cheestree/liquidjava
X Description: Refinement type checker for Java with liquid types and typestates - catch bugs at compile time - cheestree/liquidjava
Opengraph URL: https://github.com/cheestree/liquidjava/tree/main/liquidjava-example/src
X: @github
Domain: Github.com
| route-pattern | /:user_id/:repository/tree/*name(/*path) |
| route-controller | files |
| route-action | disambiguate |
| fetch-nonce | v2:8e99f9d4-8780-c739-0b98-9b56470eb157 |
| current-catalog-service-hash | f3abb0cc802f3d7b95fc8762b94bdcb13bf39634c40c357301c4aa1d67a256fb |
| request-id | A99A:16F27B:495831:677CA8:6A630A93 |
| html-safe-nonce | f0e0dfa4f852b842328bcfc7cdb815d5b5840c99f46942865e398cabcff7bf8f |
| visitor-payload | eyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJBOTlBOjE2RjI3Qjo0OTU4MzE6Njc3Q0E4OjZBNjMwQTkzIiwidmlzaXRvcl9pZCI6IjgzNDU4OTU0MDY3MjQ2NDc1NzEiLCJyZWdpb25fZWRnZSI6ImlhZCIsInJlZ2lvbl9yZW5kZXIiOiJpYWQifQ== |
| visitor-hmac | c7673edb95bf546017cd99f2a25ad698f8f35c1be9fa1cfd62a14d52db72a60d |
| hovercard-subject-tag | repository:1166075069 |
| github-keyboard-shortcuts | repository,source-code,file-tree,copilot |
| google-site-verification | Apib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I |
| octolytics-url | https://collector.github.com/github/collect |
| analytics-location | / |
| fb:app_id | 1401488693436528 |
| apple-itunes-app | app-id=1477376905, app-argument=https://github.com/cheestree/liquidjava/tree/main/liquidjava-example/src |
| twitter:image | https://opengraph.githubassets.com/d74ebb4bb30059a44b7a16b4359d28f91e12f3dd7e2c06b6d109fb7eb245c81d/cheestree/liquidjava |
| twitter:card | summary_large_image |
| og:image | https://opengraph.githubassets.com/d74ebb4bb30059a44b7a16b4359d28f91e12f3dd7e2c06b6d109fb7eb245c81d/cheestree/liquidjava |
| og:image:alt | Refinement type checker for Java with liquid types and typestates - catch bugs at compile time - cheestree/liquidjava |
| og:image:width | 1200 |
| og:image:height | 600 |
| og:site_name | GitHub |
| og:type | object |
| hostname | github.com |
| expected-hostname | github.com |
| None | b48e7bf0b1945d51f303503b057abf666ce74c3efbe107b413db2bb921c3f012 |
| turbo-cache-control | no-cache |
| go-import | github.com/cheestree/liquidjava git https://github.com/cheestree/liquidjava.git |
| octolytics-dimension-user_id | 101189638 |
| octolytics-dimension-user_login | cheestree |
| octolytics-dimension-repository_id | 1166075069 |
| octolytics-dimension-repository_nwo | cheestree/liquidjava |
| octolytics-dimension-repository_public | true |
| octolytics-dimension-repository_is_fork | true |
| octolytics-dimension-repository_parent_id | 258218369 |
| octolytics-dimension-repository_parent_nwo | liquid-java/liquidjava |
| octolytics-dimension-repository_network_root_id | 258218369 |
| octolytics-dimension-repository_network_root_nwo | liquid-java/liquidjava |
| turbo-body-classes | logged-out env-production page-responsive |
| disable-turbo | false |
| browser-stats-url | https://api.github.com/_private/browser/stats |
| browser-errors-url | https://api.github.com/_private/browser/errors |
| release | 9370f37042c29822d6ba7e3f670f0036a0155b21 |
| ui-target | full |
| theme-color | #1e2327 |
| color-scheme | light dark |
Links:
Viewport: width=device-width