algoml
Contract DSL
A domain-specific language for specifying Algorand smart contracts in a declarative style
A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.
24 stars
3 watching
5 forks
Language: OCaml
last commit: over 3 years ago
Linked from 1 awesome list
algorandblockchaincryptocurrencydomain-specific-languagedsl
awesome-algorand/awesome-algorandRelated projects:
| Repository | Description | Stars |
|---|---|---|
 use-ink/ink | An embedded domain-specific language for writing smart contracts in Rust for blockchains built on the Substrate framework. | 1,362 |
 algorand/pyteal | Provides a Python interface to Algorand Smart Contracts enabling developers to create and manage smart contracts using a high-level, functional programming style | 286 |
 pzbitskiy/tealang | A high-level language for creating Algorand smart contracts with an imperative syntax similar to Go or JavaScript. | 37 |
 zilliqa/scilla | A principled language designed to improve the security and verifiability of smart contracts | 243 |
| algorand/graviton | A toolkit for testing smart contracts written in TEAL programming language | 17 |
 aorumbayev/algokit-tealish-template | Provides a structured template for developing Algorand Smart Contracts using Algokit and Tealish | 0 |
 scale-it/algo-builder | Automates development of Algorand Assets and Smart Contracts with a framework offering REPL, testing, boilerplates, and integration with the Algorand ecosystem. | 132 |
 hipo/tealinspector | Analyze and decipher Algorand smart contract lines of code | 15 |
 neilisaac/lazycontract | A Python library to define declarative contracts for serialization and deserialization | 7 |
 lordsoban/cryptonomers | A digital will smart contract allowing users to create and manage inheritances through a blockchain-based system | 1 |
 aldur/vim-algorand-teal | A plugin that adds syntax highlighting for Algorand's TEAL smart contract language to vim. | 6 |
 algoworldnft/algoworld-contracts | Smart contracts and signatures for swapping on the Algorand blockchain, supporting multiple types of swaps. | 30 |
| algorand/pyteal-utils | A collection of utility methods and classes for working with Smart Contract programs in PyTEAL. | 28 |
 malthelange/clvm | An interpreter for a financial contract DSL translated to a stack-based language using ConCert and Coq | 1 |
 markeljan/web3gpt | An AI-powered platform for building and deploying smart contracts on multiple blockchain testnets. | 82 |