agda.readthedocs.io
agda.readthedocs.io (Welcome to Agda's documentation! — Agda 2.6.2.2 documentation) DNS looks Trueagda.readthedocs.io Website SEMRush Rank is 2408560. Website looks safe for children.
agda.readthedocs.io website & domain information

agda.readthedocs.io

agda.readthedocs.io alternatives

Top 10 agda.readthedocs.io alternatives & competitors & similar sites

plfa.github.io
plfa.github.io plfa.github.io plfa.github.io
Programming Language Foundations in Agda - Table of Contents
Programming Language Foundations in Agda - Table of Contents
Rank: 3,579,892

plfa.github.io site info
liamoc.net
liamoc.net liamoc.net liamoc.net
liamoc.net – Dr. Liam O’Connor

Rank: 5,455,688

liamoc.net site info
idris-lang.org
idris-lang.org idris-lang.org idris-lang.org
Official Idris Language Website | Dependently Typed Programming
Discover Idris, a flexible dependently typed programming language designed for software correctness. Explore documentation, tutorials, and community resources at idris-lang.org.
Rank: 678,419

idris-lang.org site info
haskelltutorials.com
haskelltutorials.com haskelltutorials.com haskelltutorials.com
Haskell Tutorials
Haskell Tutorials
Rank: 7,348,835

haskelltutorials.com site info
zeekat.nl
zeekat.nl zeekat.nl zeekat.nl
Development Consulting
We improve product teams from managers to developers by sharing our technical and organizational expertise. We provide coaching services and hands-on development & devops work.
Rank: 10,133,569

zeekat.nl site info
mpickering.github.io
mpickering.github.io mpickering.github.io mpickering.github.io
mpickering.github.io | Personal Website of M. Pickering
Explore the professional portfolio and projects of M. Pickering on their personal website. Learn more about their skills, experiences, and contributions.
Rank: 5,002,202

mpickering.github.io site info
kowainik.github.io
kowainik.github.io kowainik.github.io kowainik.github.io
main :: Kowainik
Kowainik website
Rank: 8,100,730

kowainik.github.io site info
iqss.github.io
iqss.github.io iqss.github.io iqss.github.io
Page not found · GitHub Pages

Rank: 8,045,597

iqss.github.io site info
hfm.io
hfm.io hfm.io hfm.io
Haskell for Mac IDE — Learn Functional Programming with Haskell
Haskell for Mac is an easy-to-use innovative programming environment for the programming language Haskell. It is ideal to learn Haskell and functional programming. It is also great to prototype and experiment with Haskell code.
Rank: 2,900,623

hfm.io site info
parsonsmatt.org
parsonsmatt.org parsonsmatt.org parsonsmatt.org
parsonsmatt.org
A series of articles on practical functional programming in Haskell
Rank: 4,851,947

parsonsmatt.org site info
What is SitesDB?

SitesDB is one of the largest databases of websites and domain names on the internet, with over 40 million entries and growing. For more than 12 years, we've been manually verifying and updating website and domain details, combining human expertise with AI-powered systems to ensure the accuracy and relevance of our data.

At SitesDB, we provide in-depth technical and useful information about websites and domains, including:

  • Website meta tags
  • Domain & WHOIS data
  • General backlink and ranking statistics
  • Social media engagement stats
  • Root page speed insights
  • Website content and HTML resources
  • Website safety and security details, sourced from multiple trusted security providers
  • HTTP headers analysis
  • HTML validation reports
  • Lists of similar websites and competitors
  • Website keyword analysis, including top traffic-driving keywords
  • Heading structure (H tags) breakdown
  • Domain variations across different TLDs (Top-Level Domains)

In addition to this data, SitesDB offers a suite of website analysis tools — including Chrome CRUX, Google Lighthouse, and our own AI-enhanced algorithms — to help identify alternative websites, direct competitors, and similar sites, all continuously refined through both automated systems and human review.