@completium/archetype NPM

@completium/archetype

Archetype is a domain-specific language (DSL) to develop smart contracts on the Tezos blockchain, with a specific focus on contract security.

See https://archetype-lang.org for more details.

Usage

const archetype = require('@completium/archetype');
const fs = require('fs');

const output = archetype.compile('./resources/simple.arl', {
  target: 'michelson'
});
console.log(output);

archetype tezos smart-contract completium formal-verification

@infinitebrahmanuniverse/nolb-_compl @everything-registry/sub-chunk-193 @completium/completium-cli @zalastax/nolb-_compl

1 year ago

2 years ago

2 years ago

2 years ago

2 years ago

2 years ago

2 years ago

2 years ago

2 years ago

2 years ago

2 years ago

2 years ago

2 years ago

2 years ago

2 years ago

2 years ago

2 years ago

2 years ago

2 years ago

3 years ago

3 years ago

3 years ago

3 years ago

3 years ago

3 years ago

0.4.8-rc2-20221027-02

3 years ago

0.4.8-rc2-20221027-01

3 years ago

0.4.8-rc2-20221026-01

3 years ago

0.4.8-rc2-20221021-01

3 years ago

3 years ago

3 years ago

3 years ago

3 years ago

3 years ago

3 years ago

3 years ago

3 years ago

3 years ago

3 years ago

3 years ago

3 years ago

3 years ago

3 years ago

3 years ago

3 years ago

3 years ago

3 years ago

3 years ago

3 years ago

3 years ago

3 years ago

3 years ago

3 years ago

3 years ago

4 years ago

4 years ago

4 years ago

4 years ago

4 years ago

4 years ago

4 years ago

4 years ago

4 years ago

4 years ago

4 years ago

4 years ago

4 years ago

4 years ago

4 years ago

4 years ago

4 years ago

4 years ago

4 years ago

4 years ago

4 years ago

4 years ago

4 years ago