Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | Mokshasoft |
Description | About Mokshasoft Mokshasoft AB About seL4 Why FP? Contact About Mokshasoft AB Mokshasoft is a one-man company doing freelance work within open-source, with an interest in |
Keywords | N/A |
WebSite | mokshasoft.com |
Host IP | 194.63.248.47 |
Location | Norway |
Site | Rank |
US$1,365
Last updated: 2023-05-15 12:02:16
mokshasoft.com has Semrush global rank of 0. mokshasoft.com has an estimated worth of US$ 1,365, based on its estimated Ads revenue. mokshasoft.com receives approximately 157 unique visitors each day. Its web server is located in Norway, with IP address 194.63.248.47. According to SiteAdvisor, mokshasoft.com is safe to visit. |
Purchase/Sale Value | US$1,365 |
Daily Ads Revenue | US$1 |
Monthly Ads Revenue | US$37 |
Yearly Ads Revenue | US$453 |
Daily Unique Visitors | 10 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
mokshasoft.com. | A | 3599 | IP: 194.63.248.47 |
mokshasoft.com. | AAAA | 3599 | IPV6: 2a01:5b40:0:4700::1 |
mokshasoft.com. | NS | 86400 | NS Record: ns1.hyp.net. |
mokshasoft.com. | NS | 86400 | NS Record: ns2.hyp.net. |
mokshasoft.com. | NS | 86400 | NS Record: ns3.hyp.net. |
Mokshasoft AB About seL4 Why FP? Contact About Mokshasoft AB Mokshasoft is a one-man company doing freelance work within open-source, with an interest in the following areas: Computer security Functional programming (using Haskell , Idris and elm ) seL4 - a formally verified microkernel Formal verification seL4 - a formally verified microkernel These are the open-source projects I’ve done so far with seL4: An seL4 Quick Start Guide , on how to run seL4 on BeagleBone Black. An Idris bringup on seL4 Why Functional Programming (FP)? This is a short list of some interesting links that explains some of the powers of FP. Beautiful Concurrency How to write correct parallel programs using FP. Refinement through Restraint: Bringing Down the Cost of Verification How using FP simplifies verification of software. Contact +46 707 31 06 27 jonas.cl@protonmail.com GitHub GitLab Copyright 2018 Mokshasoft AB Published |
HTTP/1.1 200 OK Date: Thu, 30 Dec 2021 10:45:03 GMT Server: Apache/2.4.25 (Debian) Last-Modified: Sat, 31 Oct 2020 11:05:37 GMT ETag: "168d-5b2f57e366d40" Accept-Ranges: bytes Content-Length: 5773 Vary: Accept-Encoding Content-Type: text/html |
Domain Name: MOKSHASOFT.COM Registry Domain ID: 1849025725_DOMAIN_COM-VRSN Registrar WHOIS Server: whois.domainnameshop.com Registrar URL: http://www.domainnameshop.com Updated Date: 2021-12-24T07:54:08Z Creation Date: 2014-03-04T06:00:16Z Registry Expiry Date: 2022-03-04T06:00:16Z Registrar: Domeneshop AS dba domainnameshop.com Registrar IANA ID: 1001 Registrar Abuse Contact Email: abuse@domainnameshop.com Registrar Abuse Contact Phone: +47.22943333 Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Name Server: NS1.HYP.NET Name Server: NS2.HYP.NET Name Server: NS3.HYP.NET DNSSEC: signedDelegation DNSSEC DS Data: 30895 13 4 44BB3B1774658BBD0675C6403438817D165F2049929192993113E10ED0D0D307B9632730B0292013B0E0ADBF9896C9FC DNSSEC DS Data: 30895 13 2 82062D899A4D26006AE6DF613A8C3DEFD2A7E3F5879242A8C4F62EA01DD8076E >>> Last update of whois database: 2021-12-30T07:02:39Z <<< |