Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | Home - |
Description | Blog metasepi.org |
Keywords | N/A |
WebSite | metasepi.org |
Host IP | 185.199.111.153 |
Location | - |
Site | Rank |
US$415,875
Last updated: 2023-05-14 11:00:35
metasepi.org has Semrush global rank of 25,450,702. metasepi.org has an estimated worth of US$ 415,875, based on its estimated Ads revenue. metasepi.org receives approximately 47,986 unique visitors each day. Its web server is located in -, with IP address 185.199.111.153. According to SiteAdvisor, metasepi.org is safe to visit. |
Purchase/Sale Value | US$415,875 |
Daily Ads Revenue | US$384 |
Monthly Ads Revenue | US$11,517 |
Yearly Ads Revenue | US$138,199 |
Daily Unique Visitors | 3,200 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
metasepi.org. | A | 1025 | IP: 185.199.111.153 |
metasepi.org. | A | 1025 | IP: 185.199.110.153 |
metasepi.org. | A | 1025 | IP: 185.199.109.153 |
metasepi.org. | A | 1025 | IP: 185.199.108.153 |
metasepi.org. | AAAA | 3599 | IPV6: 2606:50c0:8001::153 |
metasepi.org. | AAAA | 3599 | IPV6: 2606:50c0:8000::153 |
metasepi.org. | AAAA | 3599 | IPV6: 2606:50c0:8002::153 |
metasepi.org. | AAAA | 3599 | IPV6: 2606:50c0:8003::153 |
metasepi.org. | NS | 300 | NS Record: dns4.name-services.com. |
metasepi.org. | NS | 300 | NS Record: dns2.name-services.com. |
metasepi.org. | NS | 300 | NS Record: dns1.name-services.com. |
metasepi.org. | NS | 300 | NS Record: dns3.name-services.com. |
metasepi.org. | NS | 300 | NS Record: dns5.name-services.com. |
Metasepi Home Blog Papers Map Memories About Metasepi maps Unix-like kernel design into the functional sea. Blog ATS2 can avoid some of FreeBSD Problem Reports ‒ April 19, 2021 Mechanically avoid 12% of latest FreeBSD Problem Reports without code review. ATS2 and VeriFast avoid some of FreeBSD vulnerabilities ‒ October 14, 2020 Mechanically avoid 16% of latest FreeBSD vulnerabilities without code review. A toy translator C to ATS ‒ July 19, 2019 Try to translate IDIOMATIC C code into human readable ATS code. So long VeriFast, and see again ATS ‒ November 13, 2018 Shutdown Chiers iteration, and Come back to Bohai. You must buy SyncStitch with only 64,800 JPY! ‒ October 15, 2018 Dive into CSP (Communicating Sequential Processes) modeling. Links Source code Videos Mailing list Meetup in Japan Sub Projects Japanese translations about ATS , VeriFast , and F* Functional IoT is a wrestling mat that strong typed languages fight on Ajhc is a Haskell compiler for Arafura iteration (shutdowned) |
HTTP/1.1 301 Moved Permanently Server: GitHub.com Content-Type: text/html Location: https://metasepi.org/ X-GitHub-Request-Id: 47DC:5071:13F1CF:509A08:61C427DB Content-Length: 162 Accept-Ranges: bytes Date: Thu, 23 Dec 2021 07:40:11 GMT Via: 1.1 varnish Age: 0 Connection: keep-alive X-Served-By: cache-ewr18162-EWR X-Cache: MISS X-Cache-Hits: 0 X-Timer: S1640245211.348060,VS0,VE12 Vary: Accept-Encoding X-Fastly-Request-ID: 53615f9f6569460dde052fcdeb82088b40d7aec3 HTTP/2 200 server: GitHub.com content-type: text/html; charset=utf-8 last-modified: Sat, 09 Oct 2021 03:08:23 GMT access-control-allow-origin: * etag: "616107a7-1ce8" expires: Thu, 23 Dec 2021 07:50:11 GMT cache-control: max-age=600 x-proxy-cache: MISS x-github-request-id: 3DE2:6B38:793B90:BB6D95:61C427DB accept-ranges: bytes date: Thu, 23 Dec 2021 07:40:11 GMT via: 1.1 varnish age: 0 x-served-by: cache-lga21969-LGA x-cache: MISS x-cache-hits: 0 x-timer: S1640245211.383096,VS0,VE19 vary: Accept-Encoding x-fastly-request-id: dc7a7c7b5154ebdf3f98c95be12525b8e224da65 content-length: 7400 |
Domain Name: METASEPI.ORG Registry Domain ID: D168437362-LROR Registrar WHOIS Server: whois.enom.com Registrar URL: http://www.enom.com Updated Date: 2020-03-02T05:17:05Z Creation Date: 2013-04-14T19:20:39Z Registry Expiry Date: 2029-04-14T19:20:39Z Registrar: eNom, Inc. Registrar IANA ID: 48 Registrar Abuse Contact Email: abuse@enom.com Registrar Abuse Contact Phone: +1.4252982646 Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Registrant Organization: METASEPI DESIGN Registrant State/Province: Kanagawa Registrant Country: JP Name Server: DNS1.NAME-SERVICES.COM Name Server: DNS2.NAME-SERVICES.COM Name Server: DNS3.NAME-SERVICES.COM Name Server: DNS4.NAME-SERVICES.COM Name Server: DNS5.NAME-SERVICES.COM DNSSEC: unsigned URL of the ICANN Whois Inaccuracy Complaint Form https://www.icann.org/wicf/) >>> Last update of WHOIS database: 2021-12-26T16:10:47Z <<< |