Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | Archetype |
Description | Smart contracts Under Archetype is a general purpose language to develop smart contracts on the Tezos blockchain, with a specific focus on contract |
Keywords | language smart-contract tezos verification |
WebSite | archetype-lang.org |
Host IP | 185.199.110.153 |
Location | - |
Site | Rank |
US$2,288,515
Last updated: 2022-06-16 09:26:53
archetype-lang.org has Semrush global rank of 4,624,966. archetype-lang.org has an estimated worth of US$ 2,288,515, based on its estimated Ads revenue. archetype-lang.org receives approximately 264,060 unique visitors each day. Its web server is located in -, with IP address 185.199.110.153. According to SiteAdvisor, archetype-lang.org is safe to visit. |
Purchase/Sale Value | US$2,288,515 |
Daily Ads Revenue | US$2,113 |
Monthly Ads Revenue | US$63,375 |
Yearly Ads Revenue | US$760,492 |
Daily Unique Visitors | 17,604 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
archetype-lang.org. | A | 3600 | IP: 185.199.110.153 |
archetype-lang.org. | A | 3600 | IP: 185.199.108.153 |
archetype-lang.org. | A | 3600 | IP: 185.199.111.153 |
archetype-lang.org. | A | 3600 | IP: 185.199.109.153 |
archetype-lang.org. | NS | 3600 | NS Record: ns20.ovh.net. |
archetype-lang.org. | NS | 3600 | NS Record: dns20.ovh.net. |
archetype-lang.org. | MX | 3600 | MX Record: 5 mx2.mail.ovh.net. |
archetype-lang.org. | MX | 3600 | MX Record: 100 mx3.mail.ovh.net. |
archetype-lang.org. | MX | 3600 | MX Record: 1 mx1.mail.ovh.net. |
archetype-lang.org. | TXT | 600 | TXT Record: v=spf1 include:mx.ovh.com ~all |
archetype-lang.org. | TXT | 600 | TXT Record: 1|www.archetype-lang.org |
Services Papers Extension VS Code Community Contact Papers Documentation Github Twitter Smart contracts Under Control Archetype is a general purpose language to develop Smart Contracts on the Tezos blockchain, with exclusive features (new types, state machine design, ...) to ease development, tests and formal verification. Try Archetype with Gitpod account Easy Business logic archetype blogic_demo(holder : address, value : tez, deadline : date) entry pay () { transfer ((1 + 7% * (now - deadline) / 1d) * value) to holder } The pay entrypoint applies a penalty fee of 7% per day beyond deadline . Archetype language provides exlcusive types to easily implement readable business rules: rationals, dates, durations ... Explicit Execution Conditions archetype exec_cond_demo(admin : address, value : nat) entry setvalue (v : nat) { called by admin require { r1: transferred > value; r2: now < 2022-01-01; } effect { value := v; } } The setvalue entrypoint executes if the sender is the admin |
HTTP/1.1 200 OK Server: GitHub.com Content-Type: text/html; charset=utf-8 Last-Modified: Wed, 07 Jul 2021 08:18:07 GMT Access-Control-Allow-Origin: * ETag: "60e5633f-9f15" expires: Thu, 21 Oct 2021 17:28:44 GMT Cache-Control: max-age=600 x-proxy-cache: MISS X-GitHub-Request-Id: 9172:0689:107D75E:19C09E4:6171A0F4 Content-Length: 40725 Accept-Ranges: bytes Date: Thu, 21 Oct 2021 17:18:44 GMT Via: 1.1 varnish Age: 0 Connection: keep-alive X-Served-By: cache-stl4834-STL X-Cache: MISS X-Cache-Hits: 0 X-Timer: S1634836724.136748,VS0,VE68 Vary: Accept-Encoding X-Fastly-Request-ID: ec6eae63a4e5eaf127d2bf83f8aa95ff01635fcd |
Domain Name: ARCHETYPE-LANG.ORG Registry Domain ID: D402200000009861911-LROR Registrar WHOIS Server: whois.ovh.com Registrar URL: http://www.ovh.com Updated Date: 2021-03-01T15:51:11Z Creation Date: 2019-03-28T14:12:59Z Registry Expiry Date: 2022-03-28T14:12:59Z Registrar: OVH Registrar IANA ID: 433 Registrar Abuse Contact Email: abuse@ovh.net Registrar Abuse Contact Phone: +33.972101007 Domain Status: clientDeleteProhibited https://icann.org/epp#clientDeleteProhibited Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Registrant Organization: Edukera Registrant Country: FR Name Server: NS20.OVH.NET Name Server: DNS20.OVH.NET DNSSEC: unsigned URL of the ICANN Whois Inaccuracy Complaint Form https://www.icann.org/wicf/) >>> Last update of WHOIS database: 2021-09-10T12:54:17Z <<< |