Loading...
Statistics
Advertisement

Idris | A Language with Dependent Types
www.idris-lang.org/

Idris-lang.org

Advertisement
Conversion Technology Metas Server
Idris-lang.org is hosted in United Kingdom . Idris-lang.org uses HTTPS protocol. Number of used technologies: 8. First technologies: CSS, Google Font API, Html, Number of used javascripts: 4. First javascripts: Jquery.js, Jquery-migrate.min.js, Small-menu.js, Number of used analytics tools: 0. Its server type is: Apache/2.4.10 (Debian). Its CMS is: Wordpress.

Technologies in use by Idris-lang.org

Technology

Number of occurences: 8
  • CSS
  • Google Font API
  • Html
  • Html5
  • Javascript
  • jQuery
  • Php
  • Pingback

Advertisement

Javascripts

Number of occurences: 4
  • jquery.js
  • jquery-migrate.min.js
  • small-menu.js
  • e-201625.js

Content Management System

Number of occurences: 1
  • Wordpress

Server Type

  • Apache/2.4.10 (Debian)

Conversion rate optimization
visitors Clickable call number Not founded!
visitors Conversion form (contact form, subcriber) Not founded!
visitors Clickable email Not founded!
visitors CTA (call to action) button Not founded!
visitors List Founded!
visitors Image Not founded!
visitors Enhancement Not founded!
visitors Responsive website Founded!
visitors Facebook sharing Not founded!
visitors Google+ sharing Not founded!
visitors Twitter sharing Not founded!
visitors Linkedin sharing Not founded!
visitors Blog on the webiste Not founded!

HTTPS (SSL) - Idris-lang.org

SSL certificate

    • name: /OU=GT09410377/OU=See www.rapidssl.com/resources/cps (c)15/OU=Domain Control Validated - RapidSSL(R)/CN=*.mythic-beasts.com
    • subject:
      • OU:
        • 0: GT09410377
        • 1: See www.rapidssl.com/resources/cps (c)15
        • 2: Domain Control Validated - RapidSSL(R)
      • CN: *.mythic-beasts.com
    • hash: c71e05c4
    • issuer:
      • C: US
      • O: GeoTrust Inc.
      • CN: RapidSSL SHA256 CA - G3
    • version: 2
    • serialNumber: 304219
    • validFrom: 150526175440Z
    • validTo: 160726231759Z
    • validFrom_time_t: 1432662880
    • validTo_time_t: 1469575079
    • extensions:
      • authorityKeyIdentifier: keyid:C3:9C:F3:FC:D3:46:08:34:BB:CE:46:7F:A0:7C:5B:F3:E2:08:CB:59
      • authorityInfoAccess: OCSP - URI:http://gv.symcd.com CA Issuers - URI:http://gv.symcb.com/gv.crt
      • keyUsage: Digital Signature, Key Encipherment
      • extendedKeyUsage: TLS Web Server Authentication, TLS Web Client Authentication
      • subjectAltName: DNS:*.mythic-beasts.com, DNS:mythic-beasts.com
      • crlDistributionPoints: Full Name: URI:http://gv.symcb.com/gv.crl
      • basicConstraints: CA:FALSE
      • certificatePolicies: Policy: 2.23.140.1.2.1 CPS: https://www.rapidssl.com/legal

Meta - Idris-lang.org

Number of occurences: 3
  • Name:
    Content:
  • Name: viewport
    Content: width=device-width
  • Name: generator
    Content: WordPress 4.2.8

Server / Hosting

  • IP: 93.93.131.30
  • Latitude: 51.50
  • Longitude: -0.12
  • Country: United Kingdom

Rname

  • ns2.mythic-beasts.com
  • ns1.mythic-beasts.com
  • mx.mythic-beasts.com

Target

  • hostmaster.mythic-beasts.com

HTTP Header Response

HTTP/1.1 302 Found Date: Mon, 20 Jun 2016 23:13:07 GMT Server: Apache/2.4.10 (Debian) Location: http://www.idris-lang.org/ Content-Type: text/html; charset=iso-8859-1 X-Cache: MISS from s_xt50 X-Cache-Lookup: MISS from s_xt50:80 Via: 1.1 s_xt50 (squid/3.5.14) Connection: keep-alive HTTP/1.1 200 OK Date: Mon, 20 Jun 2016 23:13:08 GMT Server: Apache/2.4.10 (Debian) X-Pingback: http://www.idris-lang.org/xmlrpc.php Link: ; rel=shortlink Content-Type: text/html; charset=UTF-8 X-Cache: MISS from s_xt50 X-Cache-Lookup: MISS from s_xt50:80 Via: 1.1 s_xt50 (squid/3.5.14) Connection: keep-alive

DNS

host: idris-lang.org
  1. class: IN
  2. ttl: 3600
  3. type: A
  4. ip: 93.93.131.30
host: idris-lang.org
  1. class: IN
  2. ttl: 86400
  3. type: NS
  4. target: ns2.mythic-beasts.com
host: idris-lang.org
  1. class: IN
  2. ttl: 86400
  3. type: NS
  4. target: ns1.mythic-beasts.com
host: idris-lang.org
  1. class: IN
  2. ttl: 86400
  3. type: SOA
  4. mname: ns2.mythic-beasts.com
  5. rname: hostmaster.mythic-beasts.com
  6. serial: 2010000225
  7. refresh: 21600
  8. retry: 7200
  9. expire: 604800
  10. minimum-ttl: 3600
host: idris-lang.org
  1. class: IN
  2. ttl: 3600
  3. type: MX
  4. pri: 10
  5. target: mx.mythic-beasts.com
host: idris-lang.org
  1. class: IN
  2. ttl: 3600
  3. type: AAAA
  4. ipv6: 2a00:1098::86:1000:0:0:11

Common Typos/Mistakes

This list shows You some spelling mistakes at internet search for this domain.

www.dris-lang.org, www.irdris-lang.org, www.rdris-lang.org, www.ifdris-lang.org, www.fdris-lang.org, www.ivdris-lang.org, www.vdris-lang.org, www.ikdris-lang.org, www.kdris-lang.org, www.i,dris-lang.org, www.,dris-lang.org, www.ibdris-lang.org, www.bdris-lang.org, www.igdris-lang.org, www.gdris-lang.org, www.itdris-lang.org, www.tdris-lang.org, www.iydris-lang.org, www.ydris-lang.org, www.iudris-lang.org, www.udris-lang.org, www.ijdris-lang.org, www.jdris-lang.org, www.imdris-lang.org, www.mdris-lang.org, www.indris-lang.org, www.ndris-lang.org, www.iris-lang.org, www.idtris-lang.org, www.itris-lang.org, www.idgris-lang.org, www.igris-lang.org, www.idbris-lang.org, www.ibris-lang.org, www.idxris-lang.org, www.ixris-lang.org, www.idsris-lang.org, www.isris-lang.org, www.idfris-lang.org, www.ifris-lang.org, www.idvris-lang.org, www.ivris-lang.org, www.idyris-lang.org, www.iyris-lang.org, www.idzris-lang.org, www.izris-lang.org, www.idaris-lang.org, www.iaris-lang.org, www.ideris-lang.org, www.ieris-lang.org, www.idrris-lang.org, www.irris-lang.org, www.idis-lang.org, www.idriis-lang.org, www.idiis-lang.org, www.idrois-lang.org, www.idois-lang.org, www.idrlis-lang.org, www.idlis-lang.org, www.idrlis-lang.org, www.idlis-lang.org, www.idr.is-lang.org, www.id.is-lang.org, www.idrs-lang.org, www.idrirs-lang.org, www.idrrs-lang.org, www.idrifs-lang.org, www.idrfs-lang.org, www.idrivs-lang.org, www.idrvs-lang.org, www.idriks-lang.org, www.idrks-lang.org, www.idri,s-lang.org, www.idr,s-lang.org, www.idribs-lang.org, www.idrbs-lang.org, www.idrigs-lang.org, www.idrgs-lang.org, www.idrits-lang.org, www.idrts-lang.org, www.idriys-lang.org, www.idrys-lang.org, www.idrius-lang.org, www.idrus-lang.org, www.idrijs-lang.org, www.idrjs-lang.org, www.idrims-lang.org, www.idrms-lang.org, www.idrins-lang.org, www.idrns-lang.org, www.idri-lang.org, www.idrise-lang.org, www.idrie-lang.org, www.idrisw-lang.org, www.idriw-lang.org, www.idrisd-lang.org, www.idrid-lang.org, www.idrisx-lang.org, www.idrix-lang.org, www.idrisf-lang.org, www.idrif-lang.org, www.idrisg-lang.org, www.idrig-lang.org, www.idrist-lang.org, www.idrit-lang.org, www.idrislang.org, www.idris-tlang.org, www.idristlang.org, www.idris-glang.org, www.idrisglang.org, www.idris-hlang.org, www.idrishlang.org, www.idris-ulang.org, www.idrisulang.org, www.idris-jlang.org, www.idrisjlang.org, www.idris-xlang.org, www.idrisxlang.org, www.idris-slang.org, www.idrisslang.org, www.idris-alang.org, www.idrisalang.org, www.idris-lang.org, www.idrislang.org, www.idris- lang.org, www.idris lang.org, www.idris-ang.org, www.idris-luang.org, www.idris-uang.org, www.idris-l8ang.org, www.idris-8ang.org, www.idris-l9ang.org, www.idris-9ang.org, www.idris-ljang.org, www.idris-jang.org, www.idris-l0ang.org, www.idris-0ang.org, www.idris-lmang.org, www.idris-mang.org, www.idris-lpang.org, www.idris-pang.org, www.idris-loang.org, www.idris-oang.org, www.idris-lng.org, www.idris-laong.org, www.idris-long.org, www.idris-lapng.org, www.idris-lpng.org, www.idris-la9ng.org, www.idris-l9ng.org, www.idris-lang.org, www.idris-lng.org, www.idris-laing.org, www.idris-ling.org, www.idris-laung.org, www.idris-lung.org, www.idris-lag.org, www.idris-lanng.org, www.idris-lang.org, www.idris-lanhg.org, www.idris-lahg.org, www.idris-lanjg.org, www.idris-lajg.org, www.idris-lankg.org, www.idris-lakg.org, www.idris-lanlg.org, www.idris-lalg.org, www.idris-lan g.org, www.idris-la g.org,

Other websites we recently analyzed

  1. 3Diva * illustrationer * visualisering * animering
    Copenhagen (Denmark) - 212.97.133.232
    Server software: Microsoft-IIS/7.0
    Technology: CSS, Html, Javascript
    Number of Javascript: 4
    Number of meta tags: 1
  2. Fazil and Sons – Company Website
    Saint Louis (United States) - 174.136.57.185
    Server software: Apache
    Technology: BootstrapCDN, Maxcdn, Carousel, CSS, Fancybox, Font Awesome, Html, Html5, Javascript, jQuery, Php, Pingback, Shortcodes, SVG, Wordpress
    Number of Javascript: 12
    Number of meta tags: 3
  3. Kristen Flanagan
    Scottsdale (United States) - 50.63.34.1
    Server software: Apache
    Technology: CSS, Flexslider, Google Font API, Html, Javascript, jQuery, jQuery Fancybox, Php, Pingback, SuperFish, Wordpress
    Number of Javascript: 11
    Number of meta tags: 3
  4. Home Page
    United Kingdom - 188.65.117.99
    Server software: Apache/2.2.14 (Ubuntu)
    Technology: CSS, Google Font API, Html, Javascript, SVG
    Number of Javascript: 4
    Number of meta tags: 5
  5. Xlaudio - Main
    Netherlands - 109.106.165.160
    Server software: Apache/2.2.15 (CentOS)
    Technology: Html
  6. sightcastventures.com
    Scottsdale (United States) - 50.63.202.40
    Server software: Microsoft-IIS/7.5
    Technology: Html, Html5, Iframe
  7. My Executive Compass
    MyExecutiveCompass is a career portal dedicated to helping candidates differentiate themselves in today's crowded market.
    Provo (United States) - 50.87.150.162
    Server software: nginx/1.10.0
    Technology: AWeber, CSS, Feedburner, Html, Iframe, Javascript, jQuery, Php, Pingback, Shortcodes, SuperFish, Google Analytics, Wordpress
    Number of Javascript: 5
    Number of meta tags: 5
  8. naskret.pl
    Poland - 188.116.40.208
    Server software: nginx
    Technology: CSS, Html, Html5, Php
    Number of meta tags: 2
  9. MTM Foundation College Tours
    Ivy League and HBCU College Tours for high school students.
    Houston (United States) - 108.167.135.122
    Server software: Microsoft-IIS/7.5
    Technology: CSS, Google Font API, Html, Html5, Javascript
    Number of Javascript: 4
    Number of meta tags: 3
  10. So Boutique – der Sofitel Online-Shop
    Von Klassik bis Design und von Tradition bis Moderne – das edle Produktsortiment von SoBoutique passt perfekt zu Ihrem französischen Lifestyle.
    Cedar Knolls (United States) - 207.99.103.20
    G Analytics ID: UA-17319317-3
    Server software: NetNames
    Technology: DoubleClick.Net, CSS, Html, Html5, Javascript, SVG, Google Analytics, Google AdWords Conversion Tracking, Google Remarketing, New Relic, Magento
    Number of Javascript: 4
    Number of meta tags: 5

Check Other Websites