Technology history for fstar-lang.org
Stack size over time
From 5 detected technologies in Feb 2019 to 5 in Jun 2026 (peak 7).
Currently detected
- Google Font API since Feb 2019
- Apache HTTP Server since Feb 2019
- Azure since Nov 2021
- Google Hosted Libraries since Feb 2022
- Azure Front Door since Jul 2024
Previously used
- jQuery Feb 2019 to Apr 2023 · 4 yrs
- jQuery UI Feb 2019 to Apr 2023 · 4 yrs
- PHP Feb 2019 to Apr 2023 · 4 yrs
- Google Analytics Apr 2020 to Apr 2020 · 1 mo
- Mixpanel Apr 2020 to Apr 2020 · 1 mo
Timeline
2023 3 dropped
- dropped jQuery Aug 2023 · JavaScript libraries
- dropped jQuery UI Aug 2023 · JavaScript libraries
- dropped PHP Aug 2023 · Programming languages
2022 1 added
- added Google Hosted Libraries Feb 2022 · CDN
2021 2 dropped
- dropped Google Analytics Dec 2021 · Analytics
- dropped Mixpanel Dec 2021 · Analytics
2019 5 added
- added Apache HTTP Server Mar 2019 · Web Servers
- added Google Font API Mar 2019 · Font Scripts
- added jQuery Mar 2019 · JavaScript Libraries
- added jQuery UI Mar 2019 · JavaScript Libraries
- added PHP Mar 2019 · Programming Languages