Généré le 06 Février 2026 20:20
Vieilles statistiques? UPDATE !
Le score est de 51/100
Titre
Naïm Camille Favier
Longueur : 19
Parfait, votre titre contient entre 10 et 70 caractères.
Description
Longueur : 0
Très mauvais. Nous n'avons pas trouvé de balise META description sur votre page. Utilisez ce générateur gratuit de balises META en ligne pour créer une description.
Mots-clefs
Très mauvais. Nous n'avons pas trouvé de balise META keywords sur votre page. Utilisez ce générateur gratuit de balises META en ligne pour créer des mots-clés.
Propriétés Open Graph
Cette page ne profite pas des balises META Open Graph. Cette balise permet de représenter de manière riche n'importe quelle page dans le graph social (environnement social). Utilisez ce générateur gratuit de balises META Open Graph pour les créer.
Niveaux de titre
| H1 | H2 | H3 | H4 | H5 | H6 |
| 0 | 5 | 0 | 0 | 0 | 0 |
Images
Nous avons trouvé 1 image(s) sur cette page Web.
Bien, la plupart ou la totalité de vos images possèdent un attribut alt
Ratio texte/HTML
Ratio : 35%
Idéal! le ratio de cette page texte/HTML est entre 25 et 70 pour cent.
Flash
Parfait, aucun contenu FLASH n'a été détecté sur cette page.
Iframe
Génial, il n'y a pas d'Iframes détectés sur cette page.
Réécriture d'URLs
Bien. Vos liens sont optimisés!
Tiret bas dans les URLs
Parfait! Aucuns soulignements détectés dans vos URLs.
Liens dans la page
Nous avons trouvé un total de 160 lien(s) dont 9 lien(s) vers des fichiers
| Texte d'ancre | Type | Juice |
|---|---|---|
| picture of me | Interne | Passing Juice |
| Logic and Types | Externe | Passing Juice |
| Nils Anders Danielsson | Externe | Passing Juice |
| computational trilogy | Externe | Passing Juice |
| homotopy type theory | Externe | Passing Juice |
| Agda | Externe | Passing Juice |
| @ncf@types.pl | Externe | Passing Juice |
| libera.chat | Externe | Passing Juice |
| Agda | Externe | Passing Juice |
| HoTT | Externe | Passing Juice |
| Category Theory | Externe | Passing Juice |
| ncfavier | Externe | Passing Juice |
| StackExchange | Externe | Passing Juice |
| 0000-0001-9708-624X | Externe | Passing Juice |
| here | Externe | Passing Juice |
| F3EB 4BBB 4E71 99BC 299C D4E9 95AF CE82 1190 8325 | Interne | Passing Juice |
| a polymorphic version of the guarded λ-calculus | Interne | Passing Juice |
| Guilhem Jaber | Externe | Passing Juice |
| phase semantics of linear logic applied to the focusing property | Interne | Passing Juice |
| Alexis Saurin | Externe | Passing Juice |
| contributor | Externe | Passing Juice |
| 1Lab 🧊 | Externe | Passing Juice |
| Cubical Agda | Externe | Passing Juice |
| agda.monade.li | Interne | Passing Juice |
| Interne | Passing Juice | |
| doi | Externe | Passing Juice |
| github | Externe | Passing Juice |
| Wikipedia | Externe | Passing Juice |
| Sci-Hub | Externe | Passing Juice |
| Library Genesis | Externe | Passing Juice |
| Internet Archive | Externe | Passing Juice |
| Library of Babel | Externe | Passing Juice |
| nLab | Externe | Passing Juice |
| 1Lab | Externe | Passing Juice |
| The HoTT Game | Externe | Passing Juice |
| Symmetry | Externe | Passing Juice |
| Principles of Dependent Type Theory | Externe | Passing Juice |
| The Clowder Project | Externe | Passing Juice |
| Kerodon | Externe | Passing Juice |
| quiver | Externe | Passing Juice |
| Detexify | Externe | Passing Juice |
| xkcd | Externe | Passing Juice |
| Existential comics | Externe | Passing Juice |
| Zviane | Externe | Passing Juice |
| Structuralism | Externe | Passing Juice |
| Use–mention distinction | Externe | Passing Juice |
| Presupposition | Externe | Passing Juice |
| 無 | Externe | Passing Juice |
| Zen | Externe | Passing Juice |
| mLab | Externe | Passing Juice |
| The Art of Baskerville | Externe | Passing Juice |
| Unintentional type theory | Externe | Passing Juice |
| Mustard watches | Externe | Passing Juice |
| halloweenmath | Externe | Passing Juice |
| Falso | Externe | Passing Juice |
| Locus Solum | Externe | Passing Juice |
| Jabberwocky | Externe | Passing Juice |
| Bill Wurtz | Externe | Passing Juice |
| Music With Timing Devices | Externe | Passing Juice |
| ??? | Externe | Passing Juice |
| progressive rock/metal | Externe | Passing Juice |
| Sergei Rachmaninoff | Externe | Passing Juice |
| Frédéric Chopin | Externe | Passing Juice |
| César Franck | Externe | Passing Juice |
| Johann Sebastian Bach | Externe | Passing Juice |
| Igor Stravinsky | Externe | Passing Juice |
| Edvard Grieg | Externe | Passing Juice |
| Tigran Hamasyan | Externe | Passing Juice |
| Hiromi Uehara | Externe | Passing Juice |
| Jesús Molina | Externe | Passing Juice |
| Mei Semones | Externe | Passing Juice |
| Eldar Djangirov | Externe | Passing Juice |
| Avishai Cohen | Externe | Passing Juice |
| Əzizə Mustafazadə | Externe | Passing Juice |
| DEZOLVE | Externe | Passing Juice |
| KNOWER | Externe | Passing Juice |
| mouse on the keys | Externe | Passing Juice |
| Rafa Rodriguez | Externe | Passing Juice |
| Les Doigts de l'Homme | Externe | Passing Juice |
| Mohini Dey | Externe | Passing Juice |
| DOMi & JD Beck | Externe | Passing Juice |
| Valeriy Stepanov | Externe | Passing Juice |
| Varra | Externe | Passing Juice |
| Michel Camilo | Externe | Passing Juice |
| Snarky Puppy | Externe | Passing Juice |
| Farmers Market | Externe | Passing Juice |
| Joel Lindfors | Externe | Passing Juice |
| Oceill | Externe | Passing Juice |
| Ztla | Externe | Passing Juice |
| Arch Echo | Externe | Passing Juice |
| Chronologist | Externe | Passing Juice |
| David Maxim Micic | Externe | Passing Juice |
| Native Construct | Externe | Passing Juice |
| Poh Hock | Externe | Passing Juice |
| James Norbert Ivanyi | Externe | Passing Juice |
| Zombie Frogs | Externe | Passing Juice |
| Sound Struggle | Externe | Passing Juice |
| Animals as Leaders | Externe | Passing Juice |
| Aviations | Externe | Passing Juice |
| Lulu de la Rosa | Externe | Passing Juice |
| Wombat Supernova | Externe | Passing Juice |
| Loam | Externe | Passing Juice |
| Dylan Reavey | Externe | Passing Juice |
| CHON | Externe | Passing Juice |
| Asymmetric Universe | Externe | Passing Juice |
| The Helix Nebula | Externe | Passing Juice |
| Binary Number | Externe | Passing Juice |
| Stephen Taranto | Externe | Passing Juice |
| The Resonance Project | Externe | Passing Juice |
| Protest the Hero | Externe | Passing Juice |
| Clément Bélio | Externe | Passing Juice |
| Richard Henshall | Externe | Passing Juice |
| The Omnific | Externe | Passing Juice |
| Persefone | Externe | Passing Juice |
| Dream Theater | Externe | Passing Juice |
| GEM | Externe | Passing Juice |
| Thank You Scientist | Externe | Passing Juice |
| Owane | Externe | Passing Juice |
| Dionaea | Externe | Passing Juice |
| Save Us from the Archon | Externe | Passing Juice |
| 佐々木博史 | Externe | Passing Juice |
| Syncatto | Externe | Passing Juice |
| Portraits | Externe | Passing Juice |
| Instrumental (adj.) | Externe | Passing Juice |
| Cö shu Nie | Externe | Passing Juice |
| Polyphia | Externe | Passing Juice |
| Streetlight Manifesto | Externe | Passing Juice |
| Jamie Paige | Externe | Passing Juice |
| Jacob Collier | Externe | Passing Juice |
| Tally Hall | Externe | Passing Juice |
| Amélia Liao | Externe | Passing Juice |
| Andrej Bauer | Externe | Passing Juice |
| a3nm (Antoine Amarilli) | Externe | Passing Juice |
| Béranger Seguin | Externe | Passing Juice |
| Chris Grossack | Externe | Passing Juice |
| Corinthia Beatrix Aberlé | Externe | Passing Juice |
| Gro-Tsen (David Madore) | Externe | Passing Juice |
| David Wärn | Externe | Passing Juice |
| Drew DeVault | Externe | Passing Juice |
| edk (Ed Kellett) | Externe | Passing Juice |
| Emily | Externe | Passing Juice |
| Evan Cavallo | Externe | Passing Juice |
| Guilhem Gamard | Externe | Passing Juice |
| Ivan Di Liberti | Externe | Passing Juice |
| Jean Abou Samra | Externe | Passing Juice |
| Jon Sterling | Externe | Passing Juice |
| Tito (Lê Thành Dũng Nguyễn) | Externe | Passing Juice |
| lysxia (Li-yao Xia) | Externe | Passing Juice |
| Louise Leclerc | Externe | Passing Juice |
| Lynn | Externe | Passing Juice |
| Mattéo Delabre | Externe | Passing Juice |
| Miëtek Bak | Externe | Passing Juice |
| mniip | Externe | Passing Juice |
| Reed Mullanix | Externe | Passing Juice |
| Szumi Xie | Externe | Passing Juice |
| Trebor Huang | Externe | Passing Juice |
| Vojtěch Štěpančík | Externe | Passing Juice |
| pledged | Externe | Passing Juice |
| uncritical adoption of AI technologies in academia | Externe | Passing Juice |
| elsewhere | Externe | Passing Juice |
Nuage de mots-clefs
type music theory david library mathematics 1lab logic agda dependent
Cohérence des mots-clefs
| Mot-clef | Contenu | Titre | Mots-clefs | Description | Niveaux de titre |
|---|---|---|---|---|---|
| theory | 8 | ![]() |
![]() |
![]() |
![]() |
| type | 6 | ![]() |
![]() |
![]() |
![]() |
| mathematics | 5 | ![]() |
![]() |
![]() |
![]() |
| agda | 4 | ![]() |
![]() |
![]() |
![]() |
| dependent | 3 | ![]() |
![]() |
![]() |
![]() |
Url
Domaine : monade.li
Longueur : 9
Favicon
Génial, votre site web dispose d'un favicon.
Imprimabilité
Aucun style CSS pour optimiser l'impression n'a pu être trouvé.
Langue
Bien. Votre langue est : en.
Dublin Core
Cette page ne profite pas des métadonnées Dublin Core.
Doctype
HTML 5
Encodage
Parfait. Votre charset est UTF-8.
Validité W3C
Erreurs : 0
Avertissements : 0
E-mail confidentialité
Attention! Au moins une adresse e-mail a été trouvée en texte clair. Utilisez une protection anti-spam gratuite pour cacher vos e-mails aux spammeurs.
HTML obsolètes
Génial! Nous n'avons pas trouvé de balises HTML obsolètes dans votre code.
Astuces vitesse
![]() |
Excellent, votre site n'utilise pas de tableaux imbriqués. |
![]() |
Mauvais, votre site web utilise des styles css inline. |
![]() |
Génial, votre site web contient peu de fichiers CSS. |
![]() |
Parfait, votre site web contient peu de fichiers javascript. |
![]() |
Parfait : votre site tire parti de gzip. |
Optimisation mobile
![]() |
Icône Apple |
![]() |
Méta tags viewport |
![]() |
Contenu FLASH |
Sitemap XML
Manquant
Votre site web ne dispose pas d’une sitemap XML, ce qui peut poser problème.
La sitemap recense les URLs que les moteurs de recherche peuvent indexer, tout en proposant d’éventuelles informations supplémentaires (comme la date de dernière mise à jour, la fréquence des changements, ainsi que leur niveau d’importance). Ceci permet aux moteurs de recherche de parcourir le site de façon plus efficace.
Robots.txt
http://monade.li/robots.txt
Votre site dispose d’un fichier robots.txt, ce qui est optimal.
Mesures d'audience
Manquant
Nous n'avons trouvé aucun outil d'analytics sur ce site.
Un outil de mesure d'audience vous permet d'analyser l’activité des visiteurs sur votre site. Vous devriez installer au moins un outil Analytics. Il est souvent utile d’en rajouter un second, afin de confirmer les résultats du premier.
Website-SEO-Überprüfung est un outil gratuit de référencement qui vous aidera à analyser vos pages web