Domain profile · Jun–Aug 2026Status · Live

janmidtgaard.dk↗

Jan Midtgaard

#597,469Link-graph rank

Top 0.50%of 119.7M domains

PageRank #1,567,405By links pointing at it

1 hostSubdomains in the link graph

About

Jan Midtgaard is a researcher and software developer with an expertise in functional programming languages, static analysis based on abstract interpretation, and property-based testing. The site offers both course material and author-copies of research papers.

Technologies

Frontend · 1Backend & data · 1Infrastructure & security · 1

HTTP/3LiteSpeedHSTS

Site details

Website	janmidtgaard.dk ↗
GitHub	jmid ↗
Site language	English
Last read	27 Sep 2026

Similar sites

Sites ranked next to it

Rank	Site	Description	Technologies	Language
597466	idsn.gov.coidsn.gov.co	El Instituto Departamental de Salud es el organismo único de Dirección del Sistema de Salud, para efectuar la coordinación, integración, asesoría, vigilancia y control de los aspectos técnicos, científicos, administrativos y financieros de la salud en el Departamento.	Google AnalyticsGoogle Tag Manager+5+6	Spanish
597467	bettingplanet.combettingplanet.com	BettingPlanet.com \| Online Betting Made Easy In 2026	WordPressMySQL+1+2	American English
597468	edicionesobelisco.comedicionesobelisco.com	Tienda creada con PrestaShop	bxSliderPrestaShop+9+10	European Spanish
Ad	Serpex Search APIserpex.dev	The fast, affordable search API for AI & data projects.	Google AnalyticsNext.js	English
597470	platki.ruplatki.ru	Павловопосадская платочная мануфактура	Yandex.MetrikajQuery+1+2
597471	va7st.cava7st.ca	VA7ST.ca – A radio operator's notebook	WordPressBootstrap+6+7	American English
597472	erg.kzerg.kz	Eurasian Resources Group (ERG) – табиғи ресурстарды өндіру мен өңдеу, энергетика, логистика және маркетинг салаларында толық біріктірілген, әлемдегі ең ірі әртараптандырылған компаниялардың бірі. Төрт құрлықта орналасқан 15 елде ERG-дің кәсіпорындары өз саласы бойынша ең ірі жұмыс берушілердің бірі саналады.	Facebook PixelGoogle Analytics+2+3	English
597474	inglesonline.com.bringlesonline.com.br	BuscaOuça o podcastNível: Intermediário e acimaPodcast Inglês Online Como falo em inglês: Levar na brincadeira Podcast: DownloadAssine: Spotify \| RSSHi, all! Hoje eu falo sobre idioms com as palavras joke e laugh.	MoxieThrive Architect+6+7	American English

Is this your site? Request removal of the janmidtgaard.dk page.