URL Inspection: https://github.com/xencura/kagera

Open Cached · just now

HTTP Status

200

Ping

1 ms

Technologies

Domain Owner Information

View Full WHOIS

Registrar

MarkMonitor, Inc.

Created

October 09, 2007

18 years 42 days old

Expires

October 09, 2026

10 months 27 days left

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

Network & Hosting

View DNS Records

140.82.113.3 • AS36459 • GitHub

Reverse DNS: lb-140-82-113-3-iad.github.com

Technologies Detected

Infrastructure & Network (5)

CDN	Amazon S3 https://aws.amazon.com/s3/
Evidence: • Resource: https://github-cloud.s3.amazonaws.com

DNS Provider	AWS Route53 https://aws.amazon.com/route53/
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

DNS Provider	IBM NS1 https://ns1.com
Evidence: • Nameserver: dns1.p08.nsone.net • Nameserver: dns2.p08.nsone.net • Nameserver: dns3.p08.nsone.net • Nameserver: dns4.p08.nsone.net

Email Provider	Google Mail https://workspace.google.com/products/gmail/
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

Hosting Provider	GitHub https://github.com
Evidence: • IP 140.82.113.3 → ASN 36459 • Reverse DNS: lb-140-82-113-3-iad.github.com

Other Services (4)

Development	GitHub https://github.com
Evidence: • Header Server: github.com

SSL Certificate	DigiCert https://www.digicert.com
Evidence: • CAA: digicert.com

SSL Certificate	GlobalSign https://www.globalsign.com
Evidence: • CAA: globalsign.com

SSL Certificate	Sectigo https://sectigo.com
Evidence: • CAA: sectigo.com

Metadata & SEO

Title

GitHub - xencura/kagera: A discrete, colored Petri Net DSL and executor

Description

A discrete, colored Petri Net DSL and executor. Contribute to xencura/kagera development by creating an account on GitHub.

Canonical URL

https://github.com/xencura/kagera

Language

Viewport

width=device-width

Social Media Cards

OpenGraph

Type

object

Description

A discrete, colored Petri Net DSL and executor. Contribute to xencura/kagera development by creating an account on GitHub.

Title

GitHub - xencura/kagera: A discrete, colored Petri Net DSL and executor

Image

https://opengraph.githubassets.com/c727fae6d99f1feee7362a0b5f29d01f09df9b2e7798be01677df2cf07957947/xencura/kagera

Url

https://github.com/xencura/kagera

Site Name

GitHub

Image:width

1200

Image:height

600

Image:alt

A discrete, colored Petri Net DSL and executor. Contribute to xencura/kagera development by creating an account on GitHub.

Twitter Cards

Description

A discrete, colored Petri Net DSL and executor. Contribute to xencura/kagera development by creating an account on GitHub.

Title

GitHub - xencura/kagera: A discrete, colored Petri Net DSL and executor

Image

https://opengraph.githubassets.com/c727fae6d99f1feee7362a0b5f29d01f09df9b2e7798be01677df2cf07957947/xencura/kagera

Card

summary_large_image

Site

@github

Dependencies

📜 Scripts (53)

🎨 Stylesheets (15)

🖼️ Images (4)

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 19, 2025 at 17:34 UTC