Technology history for compcert.org
Stack size over time
From 6 detected technologies in Jul 2022 to 7 in Jun 2026.
Currently detected
- cdnjs since Jul 2022
- GitHub Pages since Jul 2022
- Varnish since Jul 2022
- Cloudflare since Jul 2022
- Fastly since Jul 2022
- Font Awesome since Jul 2022
- Cloudflare Browser Insights since Oct 2023
Timeline
2022 6 added
- added cdnjs Aug 2022 · CDN
- added Cloudflare Aug 2022 · CDN
- added Fastly Aug 2022 · CDN
- added Font Awesome Aug 2022 · Font scripts
- added GitHub Pages Aug 2022 · PaaS
- added Varnish Aug 2022 · Caching