kframework.org
kframework.org is a live English-language website hosted on Fastly, Inc. (AS54113) in the United States, served by Cloudflare. cl0q first saw it on 2025-05-28 and last crawled it on 2026-10-18. It resolves to 185.199.110.153. Its favicon is fingerprinted by SHA-256, so you can find every other site that serves the same icon.
How the site describes itself:
K | Runtime Verification Inc
Design and implement your programming language and software analysis tools with mathematical rigor.
| Status | 200 OK — live & indexed by cl0q |
|---|---|
| First seen | 2025-05-28 |
| Last crawled | 2026-10-18 |
| IPv4 | 185.199.110.153 |
| Network | AS54113 Fastly, Inc. · California |
| CNAME | kframework.org |
| Language | en |
| Server | cloudflare |