Analisi sito web monade.li
Generato il Febbraio 06 2026 20:20 PM
Statistiche non aggiornate? AGGIORNA !
Il punteggio e 51/100
SEO Content
Title
Naïm Camille Favier
Lunghezza : 19
Perfetto, il tuo title contiene tra 10 e 70 caratteri.
Description
Lunghezza : 0
Molto male. Non abbiamo trovato meta description nella tua pagina. Usa questo generatore online gratuito di meta tags per creare la descrizione.
Keywords
Molto male. Non abbiamo trovato meta keywords nella tua pagina. Usa questo generatore gratuito online di meta tags per creare keywords.
Og Meta Properties
Questa pagina non sfrutta i vantaggi Og Properties. Questi tags consentono ai social crawler di strutturare meglio la tua pagina. Use questo generatore gratuito di og properties per crearli.
Headings
| H1 | H2 | H3 | H4 | H5 | H6 |
| 0 | 5 | 0 | 0 | 0 | 0 |
- [H2] find me
- [H2] stuff I did
- [H2] links
- [H2] cool people
- [H2] serious stuff
Images
Abbiamo trovato 1 immagini in questa pagina web.
Buono, molte o tutte le tue immagini hanno attributo alt
Text/HTML Ratio
Ratio : 35%
Ideale! Il rapporto testo/codice HTML di questa pagina e tra 25 e 70 percento.
Flash
Perfetto, non e stato rilevato contenuto Flash in questa pagina.
Iframe
Grande, non sono stati rilevati Iframes in questa pagina.
SEO Links
URL Rewrite
Buono. I tuoi links appaiono friendly!
Underscores in the URLs
Perfetto! Non sono stati rilevati underscores nei tuoi URLs.
In-page links
Abbiamo trovato un totale di 160 links inclusi 9 link(s) a files
| Anchor | Type | Juice |
|---|---|---|
| picture of me | Interno | Passing Juice |
| Logic and Types | Externo | Passing Juice |
| Nils Anders Danielsson | Externo | Passing Juice |
| computational trilogy | Externo | Passing Juice |
| homotopy type theory | Externo | Passing Juice |
| Agda | Externo | Passing Juice |
| @ncf@types.pl | Externo | Passing Juice |
| libera.chat | Externo | Passing Juice |
| Agda | Externo | Passing Juice |
| HoTT | Externo | Passing Juice |
| Category Theory | Externo | Passing Juice |
| ncfavier | Externo | Passing Juice |
| StackExchange | Externo | Passing Juice |
| 0000-0001-9708-624X | Externo | Passing Juice |
| here | Externo | Passing Juice |
| F3EB 4BBB 4E71 99BC 299C D4E9 95AF CE82 1190 8325 | Interno | Passing Juice |
| a polymorphic version of the guarded λ-calculus | Interno | Passing Juice |
| Guilhem Jaber | Externo | Passing Juice |
| phase semantics of linear logic applied to the focusing property | Interno | Passing Juice |
| Alexis Saurin | Externo | Passing Juice |
| contributor | Externo | Passing Juice |
| 1Lab 🧊 | Externo | Passing Juice |
| Cubical Agda | Externo | Passing Juice |
| agda.monade.li | Interno | Passing Juice |
| Interno | Passing Juice | |
| doi | Externo | Passing Juice |
| github | Externo | Passing Juice |
| Wikipedia | Externo | Passing Juice |
| Sci-Hub | Externo | Passing Juice |
| Library Genesis | Externo | Passing Juice |
| Internet Archive | Externo | Passing Juice |
| Library of Babel | Externo | Passing Juice |
| nLab | Externo | Passing Juice |
| 1Lab | Externo | Passing Juice |
| The HoTT Game | Externo | Passing Juice |
| Symmetry | Externo | Passing Juice |
| Principles of Dependent Type Theory | Externo | Passing Juice |
| The Clowder Project | Externo | Passing Juice |
| Kerodon | Externo | Passing Juice |
| quiver | Externo | Passing Juice |
| Detexify | Externo | Passing Juice |
| xkcd | Externo | Passing Juice |
| Existential comics | Externo | Passing Juice |
| Zviane | Externo | Passing Juice |
| Structuralism | Externo | Passing Juice |
| Use–mention distinction | Externo | Passing Juice |
| Presupposition | Externo | Passing Juice |
| 無 | Externo | Passing Juice |
| Zen | Externo | Passing Juice |
| mLab | Externo | Passing Juice |
| The Art of Baskerville | Externo | Passing Juice |
| Unintentional type theory | Externo | Passing Juice |
| Mustard watches | Externo | Passing Juice |
| halloweenmath | Externo | Passing Juice |
| Falso | Externo | Passing Juice |
| Locus Solum | Externo | Passing Juice |
| Jabberwocky | Externo | Passing Juice |
| Bill Wurtz | Externo | Passing Juice |
| Music With Timing Devices | Externo | Passing Juice |
| ??? | Externo | Passing Juice |
| progressive rock/metal | Externo | Passing Juice |
| Sergei Rachmaninoff | Externo | Passing Juice |
| Frédéric Chopin | Externo | Passing Juice |
| César Franck | Externo | Passing Juice |
| Johann Sebastian Bach | Externo | Passing Juice |
| Igor Stravinsky | Externo | Passing Juice |
| Edvard Grieg | Externo | Passing Juice |
| Tigran Hamasyan | Externo | Passing Juice |
| Hiromi Uehara | Externo | Passing Juice |
| Jesús Molina | Externo | Passing Juice |
| Mei Semones | Externo | Passing Juice |
| Eldar Djangirov | Externo | Passing Juice |
| Avishai Cohen | Externo | Passing Juice |
| Əzizə Mustafazadə | Externo | Passing Juice |
| DEZOLVE | Externo | Passing Juice |
| KNOWER | Externo | Passing Juice |
| mouse on the keys | Externo | Passing Juice |
| Rafa Rodriguez | Externo | Passing Juice |
| Les Doigts de l'Homme | Externo | Passing Juice |
| Mohini Dey | Externo | Passing Juice |
| DOMi & JD Beck | Externo | Passing Juice |
| Valeriy Stepanov | Externo | Passing Juice |
| Varra | Externo | Passing Juice |
| Michel Camilo | Externo | Passing Juice |
| Snarky Puppy | Externo | Passing Juice |
| Farmers Market | Externo | Passing Juice |
| Joel Lindfors | Externo | Passing Juice |
| Oceill | Externo | Passing Juice |
| Ztla | Externo | Passing Juice |
| Arch Echo | Externo | Passing Juice |
| Chronologist | Externo | Passing Juice |
| David Maxim Micic | Externo | Passing Juice |
| Native Construct | Externo | Passing Juice |
| Poh Hock | Externo | Passing Juice |
| James Norbert Ivanyi | Externo | Passing Juice |
| Zombie Frogs | Externo | Passing Juice |
| Sound Struggle | Externo | Passing Juice |
| Animals as Leaders | Externo | Passing Juice |
| Aviations | Externo | Passing Juice |
| Lulu de la Rosa | Externo | Passing Juice |
| Wombat Supernova | Externo | Passing Juice |
| Loam | Externo | Passing Juice |
| Dylan Reavey | Externo | Passing Juice |
| CHON | Externo | Passing Juice |
| Asymmetric Universe | Externo | Passing Juice |
| The Helix Nebula | Externo | Passing Juice |
| Binary Number | Externo | Passing Juice |
| Stephen Taranto | Externo | Passing Juice |
| The Resonance Project | Externo | Passing Juice |
| Protest the Hero | Externo | Passing Juice |
| Clément Bélio | Externo | Passing Juice |
| Richard Henshall | Externo | Passing Juice |
| The Omnific | Externo | Passing Juice |
| Persefone | Externo | Passing Juice |
| Dream Theater | Externo | Passing Juice |
| GEM | Externo | Passing Juice |
| Thank You Scientist | Externo | Passing Juice |
| Owane | Externo | Passing Juice |
| Dionaea | Externo | Passing Juice |
| Save Us from the Archon | Externo | Passing Juice |
| 佐々木博史 | Externo | Passing Juice |
| Syncatto | Externo | Passing Juice |
| Portraits | Externo | Passing Juice |
| Instrumental (adj.) | Externo | Passing Juice |
| Cö shu Nie | Externo | Passing Juice |
| Polyphia | Externo | Passing Juice |
| Streetlight Manifesto | Externo | Passing Juice |
| Jamie Paige | Externo | Passing Juice |
| Jacob Collier | Externo | Passing Juice |
| Tally Hall | Externo | Passing Juice |
| Amélia Liao | Externo | Passing Juice |
| Andrej Bauer | Externo | Passing Juice |
| a3nm (Antoine Amarilli) | Externo | Passing Juice |
| Béranger Seguin | Externo | Passing Juice |
| Chris Grossack | Externo | Passing Juice |
| Corinthia Beatrix Aberlé | Externo | Passing Juice |
| Gro-Tsen (David Madore) | Externo | Passing Juice |
| David Wärn | Externo | Passing Juice |
| Drew DeVault | Externo | Passing Juice |
| edk (Ed Kellett) | Externo | Passing Juice |
| Emily | Externo | Passing Juice |
| Evan Cavallo | Externo | Passing Juice |
| Guilhem Gamard | Externo | Passing Juice |
| Ivan Di Liberti | Externo | Passing Juice |
| Jean Abou Samra | Externo | Passing Juice |
| Jon Sterling | Externo | Passing Juice |
| Tito (Lê Thành Dũng Nguyễn) | Externo | Passing Juice |
| lysxia (Li-yao Xia) | Externo | Passing Juice |
| Louise Leclerc | Externo | Passing Juice |
| Lynn | Externo | Passing Juice |
| Mattéo Delabre | Externo | Passing Juice |
| Miëtek Bak | Externo | Passing Juice |
| mniip | Externo | Passing Juice |
| Reed Mullanix | Externo | Passing Juice |
| Szumi Xie | Externo | Passing Juice |
| Trebor Huang | Externo | Passing Juice |
| Vojtěch Štěpančík | Externo | Passing Juice |
| pledged | Externo | Passing Juice |
| uncritical adoption of AI technologies in academia | Externo | Passing Juice |
| elsewhere | Externo | Passing Juice |
SEO Keywords
Keywords Cloud
theory dependent agda mathematics type david logic music 1lab library
Consistenza Keywords
| Keyword | Contenuto | Title | Keywords | Description | Headings |
|---|---|---|---|---|---|
| theory | 8 |  |
|
|
|
| type | 6 | |
|
|
|
| mathematics | 5 | |
|
|
|
| agda | 4 | |
|
|
|
| dependent | 3 | |
|
|
|
Usabilita
Url
Dominio : monade.li
Lunghezza : 9
Favicon
Grande, il tuo sito usa una favicon.
Stampabilita
Non abbiamo riscontrato codice CSS Print-Friendly.
Lingua
Buono. La tua lingua dichiarata en.
Dublin Core
Questa pagina non sfrutta i vantaggi di Dublin Core.
Documento
Doctype
HTML 5
Encoding
Perfetto. Hai dichiarato che il tuo charset e UTF-8.
Validita W3C
Errori : 0
Avvisi : 0
Email Privacy
Attenzione! E stato trovato almeno un indirizzo mail in plain text. Usa antispam protector gratuito per nascondere gli indirizzi mail agli spammers.
Deprecated HTML
Grande! Non abbiamo trovato tags HTML deprecati nel tuo codice.
Suggerimenti per velocizzare
 |
Eccellente, il tuo sito web non utilizza nested tables. |
|
Molto male, il tuo sito web utilizza stili CSS inline. |
|
Grande, il tuo sito web ha pochi file CSS. |
|
Perfetto, il tuo sito web ha pochi file JavaScript. |
|
Perfetto, il vostro sito si avvale di gzip. |
Mobile
Mobile Optimization
|
Apple Icon |
|
Meta Viewport Tag |
|
Flash content |
Ottimizzazione
XML Sitemap
Non trovato
Il tuo sito web non ha una sitemap XML - questo può essere problematico.
A elenca sitemap URL che sono disponibili per la scansione e possono includere informazioni aggiuntive come gli ultimi aggiornamenti del tuo sito, frequenza delle variazioni e l'importanza degli URL. In questo modo i motori di ricerca di eseguire la scansione del sito in modo più intelligente.
Robots.txt
http://monade.li/robots.txt
Grande, il vostro sito ha un file robots.txt.
Analytics
Non trovato
Non abbiamo rilevato uno strumento di analisi installato su questo sito web.
Web analytics consentono di misurare l'attività dei visitatori sul tuo sito web. Si dovrebbe avere installato almeno un strumento di analisi, ma può anche essere buona per installare una seconda, al fine di un controllo incrociato dei dati.
PageSpeed Insights
Dispositivo
Categorie
Website-SEO-Überprüfung
Website-SEO-Überprüfung e uno strumento di ottimizzazione per i motori di ricerca (seo tool) che serve per analizzare le tue pagine web