Websites, domains, hosts that links to idris-lang.org
Our database shows, that the website idris-lang.org is linked by a total of 12 websites.
Number of websites/domains displayed: 12
Results found: 12
Websites discovered:
@codemonkeyism -http://pageoverview.com/website-report/codemonkeyism.com
- Expected expiration: November 18th in 2019
- Creation date: November 18th in 2008
- Renew date: December 16th in 2015
- Google Analytics: 601592-1
Edwin Bradyhttp://pageoverview.com/website-report/edwinb.wordpress.com
I am a Lecturer in Computer Science at the University of St Andrews, interested in type theory, dependently typed functional programming, compilers and domain specific languages (DSLs). I am currently working on the implementation of DSLs for stateful, resource-aware programming, especially for correct network protocol design and implementation, using Idris, a dependently typed functional programming…
Serokellhttp://pageoverview.com/website-report/serokell.io
- Expected expiration: September 8th in 2019
- Creation date: September 8th in 2015
- Renew date: November 14th in 2017
sitr.ushttp://pageoverview.com/website-report/sitr.us
Last updated 2017-03-20 I have been programming primarily in Go for about six months. I find it frustrating. There are two reasons for this: First, …
- Expected expiration: February 23rd in 2018
- Creation date: February 23rd in 2006
- Renew date: November 5th in 2011
- Google Analytics: 327628-1
Adventurous Computing | Adventurous Computinghttp://pageoverview.com/website-report/cyplo.net
Boldly go where no programmer has gone before.
- Expected expiration: June 2nd in 2018
- Creation date: June 2nd in 2005
- Renew date: February 11th in 2018
Steven Shaw - Homehttp://pageoverview.com/website-report/steshaw.org
Steven Shaw loves programming languages
- Expected expiration: March 28th in 2019
- Creation date: March 28th in 2010
- Renew date: March 19th in 2014
- Google Analytics: 62781857-1
Senko Rasichttp://pageoverview.com/website-report/senko.net
The blog of Senko Rasic
- Expected expiration: July 10th in 2018
- Creation date: July 10th in 2002
- Renew date: December 18th in 2015
- Google Analytics: 43290725-3
My Webloghttp://pageoverview.com/website-report/mukeshiiitm.wordpress.com
Blog about programming and math
- Google Analytics: 52447-2
Neil Mitchell's Haskell Bloghttp://pageoverview.com/website-report/neilmitchell.blogspot.de
- Google Analytics: 286191-3
- Adsense ID: pub-1556223355139109