Technology history for idris-lang.org
Stack size over time
From 16 detected technologies in Jan 2019 to 19 in Jun 2026.
Currently detected
- Pygments since Jan 2019
- jQuery since Jan 2019
- Modernizr since Jan 2019
- Sphinx since Jan 2019
- Underscore.js since Jan 2019
- MathJax since May 2019
- Cloudflare since Apr 2020
- Google Workspace since Nov 2022
- HTTP/3 since Nov 2022
- Amazon Web Services since Nov 2022
- cdnjs since Nov 2022
- EthicalAds since Nov 2022
- RSS since Dec 2022
- lit-element since Oct 2024
- lit-html since Oct 2024
- Font Awesome since Oct 2024
- Fastly since Aug 2025
- GitHub Pages since Aug 2025
- Varnish since Aug 2025
Previously used
- Apache HTTP Server Jan 2019 to Jul 2025 · 6 yrs
- Debian Jan 2019 to Jul 2025 · 6 yrs
- Cloudflare Bot Management Feb 2023 to Sep 2024 · 1 yr
- Google Analytics Jan 2019 to Sep 2024 · 5 yrs
- Wheelio Sep 2021 to Oct 2021 · 1 mo
- Google Font API Jan 2019 to Feb 2020 · 1 yr
- jQuery Migrate Jan 2019 to Feb 2020 · 1 yr
- MySQL Jan 2019 to Feb 2020 · 1 yr
- PHP Jan 2019 to Feb 2020 · 1 yr
- Twitter Emoji (Twemoji) Jan 2019 to Feb 2020 · 1 yr
- WordPress Jan 2019 to Feb 2020 · 1 yr
- Nginx Jan 2019 to Jan 2020 · 1 yr
- Ubuntu Jan 2019 to Feb 2019 · 1 mo
Timeline
2025 3 added · 2 dropped
- dropped Apache HTTP Server Sep 2025 · Web servers
- dropped Debian Sep 2025 · Operating systems
- added Fastly Aug 2025 · CDN
- added GitHub Pages Aug 2025 · PaaS
- added Varnish Aug 2025 · Caching
2024 3 added · 2 dropped
- dropped Cloudflare Bot Management Nov 2024 · Security
- dropped Google Analytics Nov 2024 · Analytics
- added Font Awesome Oct 2024 · Font scripts
- added lit-element Oct 2024 · JavaScript libraries
- added lit-html Oct 2024 · JavaScript libraries
2023 1 added
- added Cloudflare Bot Management Feb 2023 · Security
2022 1 added
- added RSS Dec 2022 · Miscellaneous
2021 1 added · 1 dropped
2020 7 dropped
- dropped Nginx Jul 2020 · Web Servers
- dropped Google Font API Apr 2020 · Font Scripts
- dropped jQuery Migrate Apr 2020 · JavaScript Libraries
- dropped MySQL Apr 2020 · Databases
- dropped PHP Apr 2020 · Programming Languages
- dropped Twitter Emoji (Twemoji) Apr 2020 · Miscellaneous
- dropped WordPress Apr 2020 · Blogs
2019 15 added · 1 switched
- added MathJax May 2019 · JavaScript Graphics
- added Apache HTTP Server Mar 2019 · Web Servers
- switched Ubuntu Debian Mar 2019 · Operating Systems
- added Google Analytics Mar 2019 · Analytics
- added Google Font API Mar 2019 · Font Scripts
- added jQuery Mar 2019 · JavaScript Libraries
- added jQuery Migrate Mar 2019 · JavaScript Libraries
- added Modernizr Mar 2019 · JavaScript Libraries
- added MySQL Mar 2019 · Databases
- added Nginx Mar 2019 · Web Servers
- added PHP Mar 2019 · Programming Languages
- added Pygments Mar 2019 · Miscellaneous
- added Sphinx Mar 2019 · Documentation Tools
- added Twitter Emoji (Twemoji) Mar 2019 · Miscellaneous
- added Underscore.js Mar 2019 · JavaScript Libraries
- added WordPress Mar 2019 · Blogs