What powers frama-c.com?
Last seen May 2026 · 17 technologies across 12 categories
Issue trackers
GitLab
since Oct 2022
JavaScript frameworks
Vue.js
since Oct 2022
JavaScript libraries
Miscellaneous
Open Graph
since Oct 2022
PWA
since Oct 2022
Pygments
since Nov 2023
RSS
since Jul 2025
Webpack
since Oct 2022
PaaS
OVHcloud
since Aug 2022
Programming languages
Ruby
since Oct 2022
Rich text editors
Monaco Editor
since Oct 2022
Security
HSTS
since Oct 2022
UI frameworks
Tailwind CSS
since Apr 2022
Video players
YouTube
since Sep 2024
Web frameworks
Ruby on Rails
since Oct 2022
Web servers
Page
- Language: English (United States)
- Weight: 2.2 MB · 34 requests
Homepage as crawled by the HTTP Archive, Jul 2026.
Subdomains
| Host | Techs |
|---|---|
| git.frama-c.com | 14 |
| frama-c.com | 5 |
| www.frama-c.com | 5 |