Webseiten-Bericht für monade.li
Generiert am 06 Februar 2026 20:20 PM
Aktuelle Statistiken? UPDATE !
Der Wert ist 51/100
SEO Inhalte
Seitentitel
Naïm Camille Favier
Länge : 19
Perfekt, denn Ihr Seitentitel enthält zwischen 10 und 70 Anzahl Zeichen.
Seitenbeschreibung
Länge : 0
Schlecht. Wir konnten keine Seitenbeschreibung auf Ihrer Webseite finden. Benutzen Sie dieses kostenlose Werkzeug um eine Seitenbeschreibung zu erzeugen.
Suchbegriffe
Nicht so gut. Wir konnten keine META-Suchbegriffe auf Ihrer Webseite finden. Benutzen Sie dieses kostenlose Werkzeug um META-Suchbegriffe zu erzeugen.
Og META Eigenschaften
Ihre Webseite nutzt nicht die Vorteile der Og Properties. Diese Angaben erlauben sozialen Suchmaschinenrobotern Ihre Webseite besser strukturiert zu speichern. Benutzen Sie dieses kostenlose Werkzeug um Og Properties zu erzeugen.
Überschriften
| 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
Bilder
Es konnten 1 Bilder auf dieser Webseite gefunden werden.
Gut, denn die meisten Ihrer Bilder verwenden das ALT-Attribut.
Text/HTML Verhältnis
Anteil : 35%
Ideal! Das Text zu HTML Code Verhältnis dieser Webseite ist zwischen 25 und 70 Prozent.
Flash
Perfekt, denn es wurde kein Flash auf Ihrer Webseite gefunden.
IFrame
Großartig, denn Sie verwenden keine IFrames auf Ihrer Webseite.
SEO Links
URL Rewrite
Gut. Ihre Links sind für Suchmaschinen gut lesbar (sprechende Links)!
Underscores in the URLs
Perfekt! Wir haben keine Unterstriche in Ihren Links entdeckt.
In-page links
We found a total of 160 links including 9 link(s) to files
| Anker | Typ | Natürlich |
|---|---|---|
| picture of me | intern | natürliche Links |
| Logic and Types | extern | natürliche Links |
| Nils Anders Danielsson | extern | natürliche Links |
| computational trilogy | extern | natürliche Links |
| homotopy type theory | extern | natürliche Links |
| Agda | extern | natürliche Links |
| @ncf@types.pl | extern | natürliche Links |
| libera.chat | extern | natürliche Links |
| Agda | extern | natürliche Links |
| HoTT | extern | natürliche Links |
| Category Theory | extern | natürliche Links |
| ncfavier | extern | natürliche Links |
| StackExchange | extern | natürliche Links |
| 0000-0001-9708-624X | extern | natürliche Links |
| here | extern | natürliche Links |
| F3EB 4BBB 4E71 99BC 299C D4E9 95AF CE82 1190 8325 | intern | natürliche Links |
| a polymorphic version of the guarded λ-calculus | intern | natürliche Links |
| Guilhem Jaber | extern | natürliche Links |
| phase semantics of linear logic applied to the focusing property | intern | natürliche Links |
| Alexis Saurin | extern | natürliche Links |
| contributor | extern | natürliche Links |
| 1Lab 🧊 | extern | natürliche Links |
| Cubical Agda | extern | natürliche Links |
| agda.monade.li | intern | natürliche Links |
| intern | natürliche Links | |
| doi | extern | natürliche Links |
| github | extern | natürliche Links |
| Wikipedia | extern | natürliche Links |
| Sci-Hub | extern | natürliche Links |
| Library Genesis | extern | natürliche Links |
| Internet Archive | extern | natürliche Links |
| Library of Babel | extern | natürliche Links |
| nLab | extern | natürliche Links |
| 1Lab | extern | natürliche Links |
| The HoTT Game | extern | natürliche Links |
| Symmetry | extern | natürliche Links |
| Principles of Dependent Type Theory | extern | natürliche Links |
| The Clowder Project | extern | natürliche Links |
| Kerodon | extern | natürliche Links |
| quiver | extern | natürliche Links |
| Detexify | extern | natürliche Links |
| xkcd | extern | natürliche Links |
| Existential comics | extern | natürliche Links |
| Zviane | extern | natürliche Links |
| Structuralism | extern | natürliche Links |
| Use–mention distinction | extern | natürliche Links |
| Presupposition | extern | natürliche Links |
| 無 | extern | natürliche Links |
| Zen | extern | natürliche Links |
| mLab | extern | natürliche Links |
| The Art of Baskerville | extern | natürliche Links |
| Unintentional type theory | extern | natürliche Links |
| Mustard watches | extern | natürliche Links |
| halloweenmath | extern | natürliche Links |
| Falso | extern | natürliche Links |
| Locus Solum | extern | natürliche Links |
| Jabberwocky | extern | natürliche Links |
| Bill Wurtz | extern | natürliche Links |
| Music With Timing Devices | extern | natürliche Links |
| ??? | extern | natürliche Links |
| progressive rock/metal | extern | natürliche Links |
| Sergei Rachmaninoff | extern | natürliche Links |
| Frédéric Chopin | extern | natürliche Links |
| César Franck | extern | natürliche Links |
| Johann Sebastian Bach | extern | natürliche Links |
| Igor Stravinsky | extern | natürliche Links |
| Edvard Grieg | extern | natürliche Links |
| Tigran Hamasyan | extern | natürliche Links |
| Hiromi Uehara | extern | natürliche Links |
| Jesús Molina | extern | natürliche Links |
| Mei Semones | extern | natürliche Links |
| Eldar Djangirov | extern | natürliche Links |
| Avishai Cohen | extern | natürliche Links |
| Əzizə Mustafazadə | extern | natürliche Links |
| DEZOLVE | extern | natürliche Links |
| KNOWER | extern | natürliche Links |
| mouse on the keys | extern | natürliche Links |
| Rafa Rodriguez | extern | natürliche Links |
| Les Doigts de l'Homme | extern | natürliche Links |
| Mohini Dey | extern | natürliche Links |
| DOMi & JD Beck | extern | natürliche Links |
| Valeriy Stepanov | extern | natürliche Links |
| Varra | extern | natürliche Links |
| Michel Camilo | extern | natürliche Links |
| Snarky Puppy | extern | natürliche Links |
| Farmers Market | extern | natürliche Links |
| Joel Lindfors | extern | natürliche Links |
| Oceill | extern | natürliche Links |
| Ztla | extern | natürliche Links |
| Arch Echo | extern | natürliche Links |
| Chronologist | extern | natürliche Links |
| David Maxim Micic | extern | natürliche Links |
| Native Construct | extern | natürliche Links |
| Poh Hock | extern | natürliche Links |
| James Norbert Ivanyi | extern | natürliche Links |
| Zombie Frogs | extern | natürliche Links |
| Sound Struggle | extern | natürliche Links |
| Animals as Leaders | extern | natürliche Links |
| Aviations | extern | natürliche Links |
| Lulu de la Rosa | extern | natürliche Links |
| Wombat Supernova | extern | natürliche Links |
| Loam | extern | natürliche Links |
| Dylan Reavey | extern | natürliche Links |
| CHON | extern | natürliche Links |
| Asymmetric Universe | extern | natürliche Links |
| The Helix Nebula | extern | natürliche Links |
| Binary Number | extern | natürliche Links |
| Stephen Taranto | extern | natürliche Links |
| The Resonance Project | extern | natürliche Links |
| Protest the Hero | extern | natürliche Links |
| Clément Bélio | extern | natürliche Links |
| Richard Henshall | extern | natürliche Links |
| The Omnific | extern | natürliche Links |
| Persefone | extern | natürliche Links |
| Dream Theater | extern | natürliche Links |
| GEM | extern | natürliche Links |
| Thank You Scientist | extern | natürliche Links |
| Owane | extern | natürliche Links |
| Dionaea | extern | natürliche Links |
| Save Us from the Archon | extern | natürliche Links |
| 佐々木博史 | extern | natürliche Links |
| Syncatto | extern | natürliche Links |
| Portraits | extern | natürliche Links |
| Instrumental (adj.) | extern | natürliche Links |
| Cö shu Nie | extern | natürliche Links |
| Polyphia | extern | natürliche Links |
| Streetlight Manifesto | extern | natürliche Links |
| Jamie Paige | extern | natürliche Links |
| Jacob Collier | extern | natürliche Links |
| Tally Hall | extern | natürliche Links |
| Amélia Liao | extern | natürliche Links |
| Andrej Bauer | extern | natürliche Links |
| a3nm (Antoine Amarilli) | extern | natürliche Links |
| Béranger Seguin | extern | natürliche Links |
| Chris Grossack | extern | natürliche Links |
| Corinthia Beatrix Aberlé | extern | natürliche Links |
| Gro-Tsen (David Madore) | extern | natürliche Links |
| David Wärn | extern | natürliche Links |
| Drew DeVault | extern | natürliche Links |
| edk (Ed Kellett) | extern | natürliche Links |
| Emily | extern | natürliche Links |
| Evan Cavallo | extern | natürliche Links |
| Guilhem Gamard | extern | natürliche Links |
| Ivan Di Liberti | extern | natürliche Links |
| Jean Abou Samra | extern | natürliche Links |
| Jon Sterling | extern | natürliche Links |
| Tito (Lê Thành Dũng Nguyễn) | extern | natürliche Links |
| lysxia (Li-yao Xia) | extern | natürliche Links |
| Louise Leclerc | extern | natürliche Links |
| Lynn | extern | natürliche Links |
| Mattéo Delabre | extern | natürliche Links |
| Miëtek Bak | extern | natürliche Links |
| mniip | extern | natürliche Links |
| Reed Mullanix | extern | natürliche Links |
| Szumi Xie | extern | natürliche Links |
| Trebor Huang | extern | natürliche Links |
| Vojtěch Štěpančík | extern | natürliche Links |
| pledged | extern | natürliche Links |
| uncritical adoption of AI technologies in academia | extern | natürliche Links |
| elsewhere | extern | natürliche Links |
SEO Suchbegriffe
Suchbegriffswolke
david theory logic dependent library agda type music 1lab mathematics
Keywords Consistency
| Suchbegriff | Inhalt | Seitentitel | Suchbegriffe | Seitenbeschreibung | Überschriften |
|---|---|---|---|---|---|
| theory | 8 |  |
|
|
|
| type | 6 | |
|
|
|
| mathematics | 5 | |
|
|
|
| agda | 4 | |
|
|
|
| dependent | 3 | |
|
|
|
Benutzerfreundlichkeit
URL
Domain : monade.li
Länge : 9
Favoriten Icon
Gut. Die Webseite hat ein Favicon.
Druckeigenschaften
Es konnten keine druckfreundlichen CSS-Angaben gefunden werden.
Sprache
Gut, denn Sie haben in den META-Elementen eine Sprache deklariert: en.
Dublin Core
Diese Webseite nutzt nicht die Vorteile der Dublin Core Elemente.
Dokument
Doctype
HTML 5
Verschlüsselung
Perfekt, denn Ihre Webseite deklariert einen Zeichensatz: UTF-8.
W3C Validität
Fehler : 0
Warnungen : 0
E-Mail Datenschutz
Achtung! Es wurde mindestens eine E-Mail Adresse im Klartext auf Ihrer Webseite gefunden. Benutzen Sie dieses kostenlose Werkzeug um E-Mail Adressen vor SPAM zu schützen.
Veraltetes HTML
Sehr gut! Sie verwenden aktuelle HTML Tags in Ihrem Webseitenquelltext.
Tipps zur Webseitengeschwindigkeit
 |
Sehr gut, denn Ihre Webseite benutzt keine verschachtelten Tabellen. |
|
Schlecht, denn es wurden CSS-Angaben in HTML-Elementen entdeckt. Diese Angaben sollten in ein entsprechendes CSS-Stylesheet verlagert werden. |
|
Gut, denn Ihre Webseite enthält nur wenig CSS-Dateien. |
|
Perfekt, denn Ihre Webseite enthät nur wenig Javascript-Dateien. |
|
Gut! Sie nutzen die Vorteile von gzip. |
Mobile
Mobile Optimierung
|
Apple Icon |
|
META Viewport Tag |
|
Flash Inhalt |
Optimierung
XML-Sitemap
Fehlt
Ihre Webseite hat keine XML-Sitemap. Dies könnte Probleme machen.
Eine Sitemap listet alle URLs, die für einen Suchmaschinenzugriff verfügbar sind. Sie kann ebenfalls Angaben zu aktuellen Updates, Häufigkeit von Änderungen und zur Priorität der URLs enthalten. Dies erlaubt Suchmaschinen, Seiten effizienter auszuloten.
Robots.txt
http://monade.li/robots.txt
Sehr gut! Ihre Webseite enthält eine robots.txt-Datei.
Analytics
Fehlt
Wir haben nicht ein Analyse-Tool auf dieser Website installiert zu erkennen.
Webanalyse erlaubt die Quantifizierung der Besucherinteraktionen mit Ihrer Seite. Insofern sollte zumindest ein Analysetool installiert werden. Um die Befunde abzusichern, empfiehlt sich das parallele Verwenden eines zweiten Tools.
PageSpeed Insights
Gerät
Kategorien
Website-SEO-Überprüfung
Website-SEO-Überprüfung ist ein kostenloses SEO Werkzeug zur Analyse Ihrer Webseite