favicon
Open Cached · just now
UP

HTTP Status

200

Ping

1 ms

Technologies

3

Domain Owner Information

View Full WHOIS
Registrar

MarkMonitor, Inc.

Created

October 09, 2007

18 years 12 days old

Expires

October 09, 2026

11 months 27 days left

Domain Status

Delete Lock (Client)

Domain cannot be deleted.

Transfer Lock (Client)

Domain cannot be transferred to another registrar.

Update Lock (Client)

Domain information cannot be updated.

SSL/TLS Certificate

View Full SSL Report
Issued By

C=GB, ST=Greater Manchester, L=Salford, O=Sectigo Limited, CN=Sectigo ECC Domain Validation Secure Server CA

Security Score
94 /100

Technologies Detected

AWS Route53

DNS Provider

Evidence
  • • Nameserver: ns-1283.awsdns-32.org
  • • Nameserver: ns-1707.awsdns-21.co.uk
  • • Nameserver: ns-421.awsdns-52.com
  • • Nameserver: ns-520.awsdns-01.net

Google

Email Provider

Evidence
  • • MX: aspmx.l.google.com
  • • MX: alt1.aspmx.l.google.com
  • • MX: alt2.aspmx.l.google.com
  • • MX: alt3.aspmx.l.google.com
  • • MX: alt4.aspmx.l.google.com

IBM NS1

DNS Provider

Evidence
  • • Nameserver: dns1.p08.nsone.net
  • • Nameserver: dns2.p08.nsone.net
  • • Nameserver: dns3.p08.nsone.net
  • • Nameserver: dns4.p08.nsone.net

Metadata & SEO

Title
GitHub - hhu-stups/tlc4b: (READ ONLY MIRROR) Tools for TLA+ specifications and PlusCal algorithms, including the Toolbox, an IDE for writing specifications and running tools to check them.
Description
(READ ONLY MIRROR) Tools for TLA+ specifications and PlusCal algorithms, including the Toolbox, an IDE for writing specifications and running tools to check them. - hhu-stups/tlc4b
Canonical URL
https://github.com/hhu-stups/tlc4b
Language
en
Viewport
width=device-width

Social Media Cards

OpenGraph

Type
object
Description
(READ ONLY MIRROR) Tools for TLA+ specifications and PlusCal algorithms, including the Toolbox, an IDE for writing specifications and running tools to check them. - hhu-stups/tlc4b
Title
GitHub - hhu-stups/tlc4b: (READ ONLY MIRROR) Tools for TLA+ specifications and PlusCal algorithms, including the Toolbox, an IDE for writing specifications and running tools to check them.
Image
https://opengraph.githubassets.com/9c80d6096e59adf9ba3ee45326879f6aeccdd59d242ea150b5810201172192d6/hhu-stups/tlc4b
Url
https://github.com/hhu-stups/tlc4b
Site Name
GitHub
Image:width
1200
Image:height
600
Image:alt
(READ ONLY MIRROR) Tools for TLA+ specifications and PlusCal algorithms, including the Toolbox, an IDE for writing specifications and running tools to check them. - hhu-stups/tlc4b

Twitter Cards

Description
(READ ONLY MIRROR) Tools for TLA+ specifications and PlusCal algorithms, including the Toolbox, an IDE for writing specifications and running tools to check them. - hhu-stups/tlc4b
Title
GitHub - hhu-stups/tlc4b: (READ ONLY MIRROR) Tools for TLA+ specifications and PlusCal algorithms, including the Toolbox, an IDE for writing specifications and running tools to check them.
Image
https://opengraph.githubassets.com/9c80d6096e59adf9ba3ee45326879f6aeccdd59d242ea150b5810201172192d6/hhu-stups/tlc4b
Card
summary_large_image
Site
@github

Dependencies

🎨 Stylesheets (22)

  • • https://github.githubassets.com/assets/light-44e67b0cd5d5.css
  • • https://github.githubassets.com/assets/light_high_contrast-b51c2fae25e8.css
  • • https://github.githubassets.com/assets/dark-cb035ed575b8.css
  • • https://github.githubassets.com/assets/dark_high_contrast-99e9b1169976.css
  • • https://github.githubassets.com/assets/primer-primitives-15839d47b75d.css
  • • https://github.githubassets.com/assets/primer-a5c85403da8c.css
  • • https://github.githubassets.com/assets/global-abde950b7df1.css
  • • https://github.githubassets.com/assets/github-490b3f68bf33.css
  • • https://github.githubassets.com/assets/repository-5d735668c600.css
  • • https://github.githubassets.com/assets/code-9c9b8dc61e74.css
  • • https://github.githubassets.com/assets/primer-react.5e7f07b3b8c1e951002c.module.css
  • • https://github.githubassets.com/assets/notifications-subscriptions-menu.bab8822ac328fb95c70d.module.css
  • • https://github.githubassets.com/assets/primer-react.5e7f07b3b8c1e951002c.module.css
  • • https://github.githubassets.com/assets/notifications-subscriptions-menu.bab8822ac328fb95c70d.module.css
  • • https://github.githubassets.com/assets/primer-react.5e7f07b3b8c1e951002c.module.css
  • • https://github.githubassets.com/assets/keyboard-shortcuts-dialog.2de9c7d6456a311fce49.module.css
  • • https://github.githubassets.com/assets/primer-react.5e7f07b3b8c1e951002c.module.css
  • • https://github.githubassets.com/assets/appearance-settings.6c63a6de228d6520804d.module.css
  • • https://github.githubassets.com/assets/primer-react.5e7f07b3b8c1e951002c.module.css
  • • https://github.githubassets.com/assets/appearance-settings.6c63a6de228d6520804d.module.css
  • • https://github.githubassets.com/assets/primer-react.5e7f07b3b8c1e951002c.module.css
  • • https://github.githubassets.com/assets/app_assets_modules_react-partials_repos-overview_components_OverviewContent_module_css-app_as-2f8a17.0268c3a576b1dbc77d72.module.css

📜 Scripts (53)

  • • https://github.githubassets.com/assets/high-contrast-cookie-f3788027bd8d.js
  • • https://github.githubassets.com/assets/wp-runtime-1cc776af0381.js
  • • https://github.githubassets.com/assets/vendors-node_modules_oddbird_popover-polyfill_dist_popover-fn_js-468bf7cab607.js
  • • https://github.githubassets.com/assets/vendors-node_modules_stacktrace-parser_dist_stack-trace-parser_esm_js-node_modules_github_bro-2f4e04-280c10ec004d.js
  • • https://github.githubassets.com/assets/environment-b4e74adb6411.js
  • • https://github.githubassets.com/assets/vendors-node_modules_primer_behaviors_dist_esm_index_mjs-3eee64e5ddf0.js
  • • https://github.githubassets.com/assets/vendors-node_modules_github_selector-observer_dist_index_esm_js-9ab93471824e.js
  • • https://github.githubassets.com/assets/vendors-node_modules_github_relative-time-element_dist_index_js-ef89d23fcc0a.js
  • • https://github.githubassets.com/assets/vendors-node_modules_github_auto-complete-element_dist_index_js-node_modules_github_catalyst_-0d7d60-ad3a87b2f0eb.js
  • • https://github.githubassets.com/assets/vendors-node_modules_github_text-expander-element_dist_index_js-754f5b5e9e7e.js
  • • https://github.githubassets.com/assets/vendors-node_modules_github_filter-input-element_dist_index_js-node_modules_github_remote-inp-665e70-ac788066c220.js
  • • https://github.githubassets.com/assets/vendors-node_modules_github_markdown-toolbar-element_dist_index_js-d41270eb61be.js
  • • https://github.githubassets.com/assets/vendors-node_modules_github_file-attachment-element_dist_index_js-node_modules_primer_view-co-777ce2-9ec8c103bf42.js
  • • https://github.githubassets.com/assets/github-elements-9e1d42c09c62.js
  • • https://github.githubassets.com/assets/element-registry-91c24873dcb9.js
  • • https://github.githubassets.com/assets/vendors-node_modules_braintree_browser-detection_dist_browser-detection_js-node_modules_githu-bb80ec-f11c694928ba.js
  • • https://github.githubassets.com/assets/vendors-node_modules_lit-html_lit-html_js-9012bef51135.js
  • • https://github.githubassets.com/assets/vendors-node_modules_github_mini-throttle_dist_index_js-node_modules_morphdom_dist_morphdom-e-c1896e-ba47f43192a8.js
  • • https://github.githubassets.com/assets/vendors-node_modules_github_remote-form_dist_index_js-node_modules_delegated-events_dist_inde-893f9f-9ba0881c72fb.js
  • • https://github.githubassets.com/assets/vendors-node_modules_github_turbo_dist_turbo_es2017-esm_js-8eb9b2209bcd.js
  • • https://github.githubassets.com/assets/vendors-node_modules_github_hotkey_dist_index_js-node_modules_github_hydro-analytics-client_d-502318-b6850e6a8b08.js
  • • https://github.githubassets.com/assets/vendors-node_modules_github_quote-selection_dist_index_js-node_modules_github_session-resume_-7154bb-4c81ec053a86.js
  • • https://github.githubassets.com/assets/packages_document-metadata_document-metadata_ts-packages_failbot_failbot_ts-06156f7d8d1a.js
  • • https://github.githubassets.com/assets/packages_updatable-content_updatable-content_ts-38f5e2f7c2a7.js
  • • https://github.githubassets.com/assets/app_assets_modules_github_behaviors_ajax-error_ts-app_assets_modules_github_behaviors_details-6493f1-cecb020e2bb7.js
  • • https://github.githubassets.com/assets/app_assets_modules_github_behaviors_task-list_ts-app_assets_modules_github_throttled-input_ts-047775-cfe8770908d1.js
  • • https://github.githubassets.com/assets/app_assets_modules_github_behaviors_commenting_edit_ts-app_assets_modules_github_behaviors_ht-83c235-d8c5bfe37d1d.js
  • • https://github.githubassets.com/assets/behaviors-debf59ec3fe9.js
  • • https://github.githubassets.com/assets/vendors-node_modules_delegated-events_dist_index_js-node_modules_github_catalyst_lib_index_js-ef6d0f-20d6767cecc0.js
  • • https://github.githubassets.com/assets/notifications-global-d89a4ddd4532.js
  • • https://github.githubassets.com/assets/vendors-node_modules_virtualized-list_es_index_js-node_modules_github_template-parts_lib_inde-f69fd1-ead47121f2f7.js
  • • https://github.githubassets.com/assets/vendors-node_modules_github_remote-form_dist_index_js-node_modules_delegated-events_dist_inde-0d71a9-129b4f34d384.js
  • • https://github.githubassets.com/assets/app_assets_modules_github_ref-selector_ts-63ecfa2887c1.js
  • • https://github.githubassets.com/assets/codespaces-8cfd06ba3e39.js
  • • https://github.githubassets.com/assets/vendors-node_modules_github_filter-input-element_dist_index_js-node_modules_github_remote-inp-3eebbd-7f6bf4b8b391.js
  • • https://github.githubassets.com/assets/vendors-node_modules_github_mini-throttle_dist_decorators_js-node_modules_delegated-events_di-e161aa-9086b9aee9d1.js
  • • https://github.githubassets.com/assets/vendors-node_modules_github_file-attachment-element_dist_index_js-node_modules_github_remote--abdaf7-71f92102de66.js
  • • https://github.githubassets.com/assets/repositories-7c2a36f9c401.js
  • • https://github.githubassets.com/assets/vendors-node_modules_github_mini-throttle_dist_index_js-node_modules_github_catalyst_lib_inde-96937f-70732ff56a20.js
  • • https://github.githubassets.com/assets/code-menu-614eb4e0c016.js
  • • https://github.githubassets.com/assets/primer-react-cdd6dd11a475.js
  • • https://github.githubassets.com/assets/react-lib-25ef56e89e94.js
  • • https://github.githubassets.com/assets/react-core-4aba40ae1474.js
  • • https://github.githubassets.com/assets/octicons-react-dfcd3f5e8531.js
  • • https://github.githubassets.com/assets/vendors-node_modules_emotion_is-prop-valid_dist_emotion-is-prop-valid_esm_js-node_modules_emo-825c28-cdae255a4bbc.js
  • • https://github.githubassets.com/assets/vendors-node_modules_github_mini-throttle_dist_index_js-node_modules_github_hydro-analytics-c-c228f9-e9af1d9bff76.js
  • • https://github.githubassets.com/assets/vendors-node_modules_tanstack_query-core_build_modern_mutation_js-node_modules_tanstack_query-9bf7e4-2246c69bea10.js
  • • https://github.githubassets.com/assets/vendors-node_modules_swc_helpers_esm__class_private_method_get_js-node_modules_swc_helpers_es-d6b1a6-13297632eddc.js
  • • https://github.githubassets.com/assets/packages_notifications-subscriptions-menu_entry_ts-packages_promise-with-resolvers-polyfill_p-15cb60-472d7ae7ad1c.js
  • • https://github.githubassets.com/assets/notifications-subscriptions-menu-4f0464db38d4.js
  • • https://github.githubassets.com/assets/vendors-node_modules_gsap_index_js-6265bea06e74.js
  • • https://github.githubassets.com/assets/vendors-node_modules_github_remote-form_dist_index_js-node_modules_delegated-events_dist_inde-94fd67-dc050877d1bf.js
  • • https://github.githubassets.com/assets/sessions-917229b8a853.js

🖼️ Images (1)

  • • https://camo.githubusercontent.com/9e8cf54b34715ab90e5414f635be17387d2dfde595c4dcccfc8e042c83be6224/68747470733a2f2f6769746c61622e63732e756e692d6475657373656c646f72662e64652f67656e6572616c2f73747570732f746c6334622f6261646765732f646576656c6f702f706970656c696e652e737667

Resource Hints

preconnect

https://github.githubassets.com

Crossorigin: crossorigin

preconnect

https://avatars.githubusercontent.com

dns-prefetch

https://github.githubassets.com

dns-prefetch

https://avatars.githubusercontent.com

dns-prefetch

https://github-cloud.s3.amazonaws.com

dns-prefetch

https://user-images.githubusercontent.com/

Inspected on November 03, 2025 at 00:58 UTC