Website review idris-lang.org
Idris: A Language for Type-Driven Development
Generated on March 15 2026 12:05 PM
Old data? UPDATE !
The score is 57/100
SEO Content
Title
Idris: A Language for Type-Driven Development
Length : 45
Perfect, your title contains between 10 and 70 characters.
Description
Length : 0
Very bad. We haven't found meta description on your page. Use this free online meta tags generator to create description.
Keywords
Very bad. We haven't found meta keywords on your page. Use this free online meta tags generator to create keywords.
Og Meta Properties
This page does not take advantage of Og Properties. This tags allows social crawler's better structurize your page. Use this free og properties generator to create them.
Headings
| H1 | H2 | H3 | H4 | H5 | H6 |
| 2 | 5 | 0 | 0 | 0 | 0 |
- [H1]
- [H1] Idris: A Language for Type-Driven Development
- [H2] Getting Started
- [H2] Community
- [H2] Support
- [H2] Categories
- [H2] Social
Images
We found 1 images on this web page.
1 alt attributes are empty or missing. Add alternative text so that search engines can better understand the content of your images.
Text/HTML Ratio
Ratio : 45%
Ideal! This page's ratio of text to HTML code is between 25 and 70 percent.
Flash
Perfect, no Flash content has been detected on this page.
Iframe
Great, there are no Iframes detected on this page.
SEO Links
URL Rewrite
Good. Your links looks friendly!
Underscores in the URLs
Perfect! No underscores detected in your URLs.
In-page links
We found a total of 26 links including 1 link(s) to files
| Anchor | Type | Juice |
|---|---|---|
| Home | Internal | Passing Juice |
| Download | Internal | Passing Juice |
| Example | Internal | Passing Juice |
| Documentation | Internal | Passing Juice |
| Archives | Internal | Passing Juice |
| News | Internal | Passing Juice |
| mailing list | External | Passing Juice |
| GitHub organisation | External | Passing Juice |
| Discord | External | Passing Juice |
| get an invitation to join here | External | Passing Juice |
| libera | External | Passing Juice |
| IRCCloud | External | Passing Juice |
| Functional Programming | External | Passing Juice |
| community standards | Internal | Passing Juice |
| Edwin Brady | External | Passing Juice |
| School of Computer Science, University of St Andrews | External | Passing Juice |
| EPSRC | External | Passing Juice |
| Type-driven Verification of Communicating Systems | External | Passing Juice |
| Programming as Conversation: Type-Driven Development in Action | External | Passing Juice |
| SICSA | External | Passing Juice |
| atom feed | Internal | Passing Juice |
| @idrislang | External | Passing Juice |
| GitHub | External | Passing Juice |
| Pelican | External | Passing Juice |
| Python | External | Passing Juice |
| github | External | Passing Juice |
SEO Keywords
Keywords Cloud
list development example community type-driven programming github type program idris
Keywords Consistency
| Keyword | Content | Title | Keywords | Description | Headings |
|---|---|---|---|---|---|
| idris | 14 |  |
 |
|
|
| development | 6 | |
|
|
|
| type-driven | 5 | |
|
|
|
| program | 5 | |
|
|
|
| type | 4 | |
|
|
|
Usability
Url
Domain : idris-lang.org
Length : 14
Favicon
Very bad. We have not found shortcut icon. Icons are one of easy ways to attract regular visitors to your website more often.
Printability
We could not find a Print-Friendly CSS.
Language
Good. Your declared language is en.
Dublin Core
This page does not take advantage of Dublin Core.
Document
Doctype
HTML 5
Encoding
Perfect. Your declared charset is UTF-8.
W3C Validity
Errors : 0
Warnings : 0
Email Privacy
Great no email address has been found in plain text!
Deprecated HTML
| Deprecated tags | Occurrences |
|---|---|
| <tt> | 4 |
Deprecated HTML tags are HTML tags that are no longer used. It is recommended that you remove or replace these HTML tags because they are now obsolete.
Speed Tips
|
Excellent, your website doesn't use nested tables. |
|
Perfect. No inline css has been found in HTML tags! |
|
Great, your website has few CSS files. |
|
Perfect, your website has few JavaScript files. |
|
Perfect, your website takes advantage of gzip. |
Mobile
Mobile Optimization
|
Apple Icon |
|
Meta Viewport Tag |
|
Flash content |
Optimization
XML Sitemap
Missing
Your website does not have an XML sitemap - this can be problematic.
A sitemap lists URLs that are available for crawling and can include additional information like your site's latest updates, frequency of changes and importance of the URLs. This allows search engines to crawl the site more intelligently.
Robots.txt
https://idris-lang.org/robots.txt
Great, your website has a robots.txt file.
Analytics
Missing
We didn't detect an analytics tool installed on this website.
Web analytics let you measure visitor activity on your website. You should have at least one analytics tool installed, but It can also be good to install a second in order to cross-check the data.
PageSpeed Insights
Device
Categories
Free SEO Testing Tool
Free SEO Testing Tool is a free SEO tool which provides you content analysis of the website.