Website Review

Ange domän


← Klicka på uppdatera
idris-lang.org

Webbplats analys idris-lang.org

 Genereras på Maj 08 2021 07:40 AM

Gammal statistik? UPDATERA !


Ställningen är 59/100

SEO Innehåll
Titel

Idris: A Language for Type-Driven Development



Längd : 45

Perfekt, din titel innehåller mellan 10 och 70 tecken.
Beskrivning



Längd : 0

Mycket dåligt. Vi har inte lyckats hitta någon metabeskrivning på din sida. Använd denna online meta-taggar generator, gratis för att skapa beskrivningar.
Nyckelord



Mycket dåligt. Vi har inte lyckats hitta några meta-taggar på din sida. Använd denna meta-tag generator, gratis för att skapa nyckelord.
Og Meta Egenskaper Den här sidan drar inte nytta utav Og. Deras taggar möjliggör sociala sökrobotar att bättre strukturera strukturera din sida. Använd denna og generatorn gratis för att skapa dom.
Rubriker
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
Bilder Vi hittade 1 bilder på denna webbsida.

1 alt attribut är tomma eller saknas. Lägg till alternativ text så att sökmotorer enklare kan förstå innehållet i dina bilder.
Text/HTML Ratio Ratio : 44%

Idealisk! Den här sidans text till HTML-kod förhållande är mellan 25 och 70 procent.
Flash Perfekt, inga Flash-innehåll har upptäckts på denna sida.
Iframe Bra, vi upptäckte inga Iframes på den här sidan.

URL Rewrite Bra. Dina adressfält ser bra ut!
Understreck i URLen Perfekt! Inga understreck upptäcktes i din webbadress.
In-page länkar Vi hittade totalt 24 länkar inklusive 1 länk(ar) till filer



Anchor Typ Juice
Home Interna Passing Juice
Download Interna Passing Juice
Example Interna Passing Juice
Documentation Interna Passing Juice
Archives Interna Passing Juice
News Interna Passing Juice
mailing list Externa Passing Juice
freenode Externa Passing Juice
web interface Externa Passing Juice
GitHub organisation Externa Passing Juice
Functional Programming Externa Passing Juice
community standards Interna Passing Juice
Edwin Brady Externa Passing Juice
School of Computer Science, University of St Andrews Externa Passing Juice
EPSRC Externa Passing Juice
Type-driven Verification of Communicating Systems Externa Passing Juice
Programming as Conversation: Type-Driven Development in Action Externa Passing Juice
SICSA Externa Passing Juice
atom feed Interna Passing Juice
@idrislang Externa Passing Juice
GitHub Externa Passing Juice
Pelican Externa Passing Juice
Python Externa Passing Juice
github Externa Passing Juice

SEO Nyckelord
Nyckelord Moln types idris community type-driven programming development type github program list
Nyckelord Konsistens
Nyckelord Innehåll Titel Nyckelord Beskrivning Rubriker
idris 12
type-driven 5
development 5
program 5
type 4

Användbarhet
Url Domän : idris-lang.org
Längd : 14
Favikon Bra, din webbplats har en favicon.
Utskriftbart Vi kunde inte hitta CSS för utskrifter.
Språk Bra. Ditt angivna språk är en.
Dublin Core Denna sida drar inte nytta utav Dublin Core.

Dokument
Doctype HTML 5
Encoding Perfekt. Din deklarerade teckenuppsättning är UTF-8.
W3C Validity Errors : 5
Varningar : 1
E-post Sekretess Bra! Ingen e-postadress har hittats i klartext.
Föråldrad HTML
Föråldrade taggar Förekomster
<tt> 4
Föråldrade HTML-taggar är HTML-taggar som inte längre används. Vi rekommenderar att du tar bort eller ersätter dessa eftersom dom nu är föråldrade.
Hastighets Tips
Utmärkt, din webbplats använder inga nästlade tabeller.
Perfekt. Ingen inline css har upptäckts i HTML taggar!
Bra, din webbplats har få CSS-filer.
Perfekt, din webbplats har få Javascript filer
Perfekt, din webbplats utnyttjar gzip.

Mobil
Mobiloptimering
Apple Ikon
Meta Viewport Tagg
Flash innehåll

Optimering
XML Sitemap Saknas

Din webbplats saknar en XML sitemap - detta kan orsaka ett problem.

Eftersom en sitemap listar webbadresser som är tillgängliga för genomsökning och kan innehålla ytterligare information såsom din webbplats senaste uppdatering, antal förändringar och betydelsen av webbadresserna. Detta gör det möjligt för sökmotorer att på ett mer intelligent sätt genomsöka webbplatsen.
Robots.txt http://idris-lang.org/robots.txt

Bra, din webbplats har en robots.txt fil.
Analytics Saknas

Vi hittade inte någon analysverktyg på din webbplats.

Webbanalys program kan mäta besökare på din webbplats. Du bör ha minst ett analysverktyg installerat, men det kan också vara en bra ide att installera två för att dubbelkolla uppgifterna.

PageSpeed Insights

Enhet
Kategorier

Utvecklad av PHP5 Developer  |  Website Screenshots by PagePeeker |  Terms and Conditions  |  Privacy Policy

Visi mobilieji | Darbo birža | Receptai | Vyriski ir moteriski batai | ETS 2 mods | Kur apsistoti Šiauliuose? | IT naujienos |