Website review monade.li
Generated on February 06 2026 20:20 PM
Old data? UPDATE !
The score is 51/100
SEO Content
Title
Naïm Camille Favier
Length : 19
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 |
| 0 | 5 | 0 | 0 | 0 | 0 |
- [H2] find me
- [H2] stuff I did
- [H2] links
- [H2] cool people
- [H2] serious stuff
Images
We found 1 images on this web page.
Good, most or all of your images have alt attributes.
Text/HTML Ratio
Ratio : 35%
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 160 links including 9 link(s) to files
| Anchor | Type | Juice |
|---|---|---|
| picture of me | Internal | Passing Juice |
| Logic and Types | External | Passing Juice |
| Nils Anders Danielsson | External | Passing Juice |
| computational trilogy | External | Passing Juice |
| homotopy type theory | External | Passing Juice |
| Agda | External | Passing Juice |
| @ncf@types.pl | External | Passing Juice |
| libera.chat | External | Passing Juice |
| Agda | External | Passing Juice |
| HoTT | External | Passing Juice |
| Category Theory | External | Passing Juice |
| ncfavier | External | Passing Juice |
| StackExchange | External | Passing Juice |
| 0000-0001-9708-624X | External | Passing Juice |
| here | External | Passing Juice |
| F3EB 4BBB 4E71 99BC 299C D4E9 95AF CE82 1190 8325 | Internal | Passing Juice |
| a polymorphic version of the guarded λ-calculus | Internal | Passing Juice |
| Guilhem Jaber | External | Passing Juice |
| phase semantics of linear logic applied to the focusing property | Internal | Passing Juice |
| Alexis Saurin | External | Passing Juice |
| contributor | External | Passing Juice |
| 1Lab 🧊 | External | Passing Juice |
| Cubical Agda | External | Passing Juice |
| agda.monade.li | Internal | Passing Juice |
| Internal | Passing Juice | |
| doi | External | Passing Juice |
| github | External | Passing Juice |
| Wikipedia | External | Passing Juice |
| Sci-Hub | External | Passing Juice |
| Library Genesis | External | Passing Juice |
| Internet Archive | External | Passing Juice |
| Library of Babel | External | Passing Juice |
| nLab | External | Passing Juice |
| 1Lab | External | Passing Juice |
| The HoTT Game | External | Passing Juice |
| Symmetry | External | Passing Juice |
| Principles of Dependent Type Theory | External | Passing Juice |
| The Clowder Project | External | Passing Juice |
| Kerodon | External | Passing Juice |
| quiver | External | Passing Juice |
| Detexify | External | Passing Juice |
| xkcd | External | Passing Juice |
| Existential comics | External | Passing Juice |
| Zviane | External | Passing Juice |
| Structuralism | External | Passing Juice |
| Use–mention distinction | External | Passing Juice |
| Presupposition | External | Passing Juice |
| 無 | External | Passing Juice |
| Zen | External | Passing Juice |
| mLab | External | Passing Juice |
| The Art of Baskerville | External | Passing Juice |
| Unintentional type theory | External | Passing Juice |
| Mustard watches | External | Passing Juice |
| halloweenmath | External | Passing Juice |
| Falso | External | Passing Juice |
| Locus Solum | External | Passing Juice |
| Jabberwocky | External | Passing Juice |
| Bill Wurtz | External | Passing Juice |
| Music With Timing Devices | External | Passing Juice |
| ??? | External | Passing Juice |
| progressive rock/metal | External | Passing Juice |
| Sergei Rachmaninoff | External | Passing Juice |
| Frédéric Chopin | External | Passing Juice |
| César Franck | External | Passing Juice |
| Johann Sebastian Bach | External | Passing Juice |
| Igor Stravinsky | External | Passing Juice |
| Edvard Grieg | External | Passing Juice |
| Tigran Hamasyan | External | Passing Juice |
| Hiromi Uehara | External | Passing Juice |
| Jesús Molina | External | Passing Juice |
| Mei Semones | External | Passing Juice |
| Eldar Djangirov | External | Passing Juice |
| Avishai Cohen | External | Passing Juice |
| Əzizə Mustafazadə | External | Passing Juice |
| DEZOLVE | External | Passing Juice |
| KNOWER | External | Passing Juice |
| mouse on the keys | External | Passing Juice |
| Rafa Rodriguez | External | Passing Juice |
| Les Doigts de l'Homme | External | Passing Juice |
| Mohini Dey | External | Passing Juice |
| DOMi & JD Beck | External | Passing Juice |
| Valeriy Stepanov | External | Passing Juice |
| Varra | External | Passing Juice |
| Michel Camilo | External | Passing Juice |
| Snarky Puppy | External | Passing Juice |
| Farmers Market | External | Passing Juice |
| Joel Lindfors | External | Passing Juice |
| Oceill | External | Passing Juice |
| Ztla | External | Passing Juice |
| Arch Echo | External | Passing Juice |
| Chronologist | External | Passing Juice |
| David Maxim Micic | External | Passing Juice |
| Native Construct | External | Passing Juice |
| Poh Hock | External | Passing Juice |
| James Norbert Ivanyi | External | Passing Juice |
| Zombie Frogs | External | Passing Juice |
| Sound Struggle | External | Passing Juice |
| Animals as Leaders | External | Passing Juice |
| Aviations | External | Passing Juice |
| Lulu de la Rosa | External | Passing Juice |
| Wombat Supernova | External | Passing Juice |
| Loam | External | Passing Juice |
| Dylan Reavey | External | Passing Juice |
| CHON | External | Passing Juice |
| Asymmetric Universe | External | Passing Juice |
| The Helix Nebula | External | Passing Juice |
| Binary Number | External | Passing Juice |
| Stephen Taranto | External | Passing Juice |
| The Resonance Project | External | Passing Juice |
| Protest the Hero | External | Passing Juice |
| Clément Bélio | External | Passing Juice |
| Richard Henshall | External | Passing Juice |
| The Omnific | External | Passing Juice |
| Persefone | External | Passing Juice |
| Dream Theater | External | Passing Juice |
| GEM | External | Passing Juice |
| Thank You Scientist | External | Passing Juice |
| Owane | External | Passing Juice |
| Dionaea | External | Passing Juice |
| Save Us from the Archon | External | Passing Juice |
| 佐々木博史 | External | Passing Juice |
| Syncatto | External | Passing Juice |
| Portraits | External | Passing Juice |
| Instrumental (adj.) | External | Passing Juice |
| Cö shu Nie | External | Passing Juice |
| Polyphia | External | Passing Juice |
| Streetlight Manifesto | External | Passing Juice |
| Jamie Paige | External | Passing Juice |
| Jacob Collier | External | Passing Juice |
| Tally Hall | External | Passing Juice |
| Amélia Liao | External | Passing Juice |
| Andrej Bauer | External | Passing Juice |
| a3nm (Antoine Amarilli) | External | Passing Juice |
| Béranger Seguin | External | Passing Juice |
| Chris Grossack | External | Passing Juice |
| Corinthia Beatrix Aberlé | External | Passing Juice |
| Gro-Tsen (David Madore) | External | Passing Juice |
| David Wärn | External | Passing Juice |
| Drew DeVault | External | Passing Juice |
| edk (Ed Kellett) | External | Passing Juice |
| Emily | External | Passing Juice |
| Evan Cavallo | External | Passing Juice |
| Guilhem Gamard | External | Passing Juice |
| Ivan Di Liberti | External | Passing Juice |
| Jean Abou Samra | External | Passing Juice |
| Jon Sterling | External | Passing Juice |
| Tito (Lê Thành Dũng Nguyễn) | External | Passing Juice |
| lysxia (Li-yao Xia) | External | Passing Juice |
| Louise Leclerc | External | Passing Juice |
| Lynn | External | Passing Juice |
| Mattéo Delabre | External | Passing Juice |
| Miëtek Bak | External | Passing Juice |
| mniip | External | Passing Juice |
| Reed Mullanix | External | Passing Juice |
| Szumi Xie | External | Passing Juice |
| Trebor Huang | External | Passing Juice |
| Vojtěch Štěpančík | External | Passing Juice |
| pledged | External | Passing Juice |
| uncritical adoption of AI technologies in academia | External | Passing Juice |
| elsewhere | External | Passing Juice |
SEO Keywords
Keywords Cloud
agda logic dependent mathematics 1lab library theory music type david
Keywords Consistency
| Keyword | Content | Title | Keywords | Description | Headings |
|---|---|---|---|---|---|
| theory | 8 |  |
|
|
|
| type | 6 | |
|
|
|
| mathematics | 5 | |
|
|
|
| agda | 4 | |
|
|
|
| dependent | 3 | |
|
|
|
Usability
Url
Domain : monade.li
Length : 9
Favicon
Great, your website has a favicon.
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
Warning! At least one email address has been found in the plain text. Use free antispam protector to hide email from spammers.
Deprecated HTML
Great! We haven't found deprecated HTML tags in your HTML.
Speed Tips
 |
Excellent, your website doesn't use nested tables. |
|
Too bad, your website is using inline styles. |
|
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
http://monade.li/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
Website-SEO-Überprüfung
Website-SEO-Überprüfung is a free SEO tool which provides you content analysis of the website.