Site-Overview.com
 

Analysis of websites containing idris-lang.org backlinks

These websites are/were linking to idris-lang.org.

 
Websites found: 12
Number of websited displayed: 12
 

List of results:

PartialFlow | A blog about Scala and its ecosystem
http://site-overview.com/stats/partialflow.wordpress.com
A blog about Scala and its ecosystem
  • Google Analytics ID: 52447-2
Steven Shaw - Home
http://site-overview.com/stats/steshaw.org
Steven Shaw loves programming languages
  • Google Analytics ID: 62781857-1
  • Website Address renewal date: 14/3/19
  • Domain Address Reg. date: 10/3/28
  • Website address in use until: 19/3/28
Idris | A Language with Dependent Types
http://site-overview.com/stats/idris-lang.org
  • Website Address renewal date: 17/3/10
  • Domain Address Reg. date: 10/4/2
  • Website address in use until: 19/4/2
Edwin Brady
http://site-overview.com/stats/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…
    My Weblog
    http://site-overview.com/stats/mukeshiiitm.wordpress.com
    Blog about programming and math
    • Google Analytics ID: 52447-2
    Whiley: an Open Source Programming Language with Extended Static Checking
    http://site-overview.com/stats/whiley.org
    Whiley is an open source programming language which runs on the JVM and uses extended static checking to eliminate errors at compile time.
    • Google Analytics ID: 5582165-5
    Neil Mitchell's Haskell Blog
    http://site-overview.com/stats/neilmitchell.blogspot.de
    • Google Adsense Publisher: pub-1556223355139109
    • Google Analytics ID: 286191-3
    sitr.us
    http://site-overview.com/stats/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, …
    • Google Analytics ID: 327628-1
    • Website Address renewal date: 11/11/5
    • Domain Address Reg. date: 06/2/23
    • Website address in use until: 18/2/23
    Adventurous Computing | Adventurous Computing
    http://site-overview.com/stats/cyplo.net
    Boldly go where no programmer has gone before.
    • Website Address renewal date: 18/2/11
    • Domain Address Reg. date: 05/6/2
    • Website address in use until: 18/6/2
    Senko Rasic
    http://site-overview.com/stats/senko.net
    The blog of Senko Rasic
    • Google Analytics ID: 43290725-3
    • Website Address renewal date: 15/12/18
    • Domain Address Reg. date: 02/7/10
    • Website address in use until: 18/7/10
    @codemonkeyism -
    http://site-overview.com/stats/codemonkeyism.com
    • Google Analytics ID: 601592-1
    • Website Address renewal date: 15/12/16
    • Domain Address Reg. date: 08/11/18
    • Website address in use until: 19/11/18
    Serokell
    http://site-overview.com/stats/serokell.io
    • Website Address renewal date: 17/11/14
    • Domain Address Reg. date: 15/9/8
    • Website address in use until: 19/9/8
    2024-05-07 01:28:24 ... 0.0180