hacspec.github.io
Preview meta tags from the hacspec.github.io website.
Linked Hostnames
10- 8 links togithub.com
- 2 links topopl24.sigplan.org
- 1 link toeprint.iacr.org
- 1 link tohacspec.zulipchat.com
- 1 link tohal.inria.fr
- 1 link tohax.cryspen.com
- 1 link topages.github.com
- 1 link topopl22.sigplan.org
Search Engine Appearance
https://hacspec.github.io/
hacspec
A specification language.
Bing
hacspec
https://hacspec.github.io/
A specification language.
DuckDuckGo
https://hacspec.github.io/
hacspec
A specification language.
General Meta Tags
8- titlehacspec | A specification language.
- charsetUTF-8
- generatorJekyll v3.10.0
- descriptionA specification language.
- twitter:titlehacspec
Open Graph Meta Tags
6- og:titlehacspec
og:localeen_US- og:descriptionA specification language.
- og:urlhttps://hacspec.org/
- og:site_namehacspec
Twitter Meta Tags
1- twitter:cardsummary
Link Tags
4- canonicalhttps://hacspec.org/
- preconnecthttps://fonts.gstatic.com
- preloadhttps://fonts.googleapis.com/css?family=Open+Sans:400,700&display=swap
- stylesheet/assets/css/style.css?v=54a5996a278040af49b72e36107d7dbd80307123
Links
18- https://eprint.iacr.org/2023/185
- https://github.com/hacspec/hacspec.github.io/blob/master/RustVerify24.pdf
- https://github.com/hacspec/hacspec.github.io/blob/master/coqpl22-final61.pdf
- https://github.com/hacspec/hacspec.github.io/blob/master/coqpl24-paper8-2.pdf
- https://github.com/hacspec/hacspec.github.io/blob/master/coqpl24-paper9-13.pdf