algoml
by petitnau
A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.
AI summary
Contract DSL
A domain-specific language for specifying Algorand smart contracts in a declarative style
- stars
- 24
- forks
- 5
- watching
- 3
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
use-ink/ink1.4K
Contract DSL
An embedded domain-specific language for writing smart contracts in Rust for blockchains built on the Substrate framework.
Smart contract library
Provides a Python interface to Algorand Smart Contracts enabling developers to create and manage smart contracts using a high-level, functional programming style
Smart contract language
A high-level language for creating Algorand smart contracts with an imperative syntax similar to Go or JavaScript.
Smart contract language
A principled language designed to improve the security and verifiability of smart contracts
Contract tester
A toolkit for testing smart contracts written in TEAL programming language
Smart contract template
Provides a structured template for developing Algorand Smart Contracts using Algokit and Tealish
Contract builder
Automates development of Algorand Assets and Smart Contracts with a framework offering REPL, testing, boilerplates, and integration with the Algorand ecosystem.
Code debugger
Analyze and decipher Algorand smart contract lines of code
Contract library
A Python library to define declarative contracts for serialization and deserialization
Digital Will
A digital will smart contract allowing users to create and manage inheritances through a blockchain-based system
Contract highlighter
A plugin that adds syntax highlighting for Algorand's TEAL smart contract language to vim.
Swap platform
Smart contracts and signatures for swapping on the Algorand blockchain, supporting multiple types of swaps.
Contract helper
A collection of utility methods and classes for working with Smart Contract programs in PyTEAL.
Contract interpreter
An interpreter for a financial contract DSL translated to a stack-based language using ConCert and Coq
Smart contract builder
An AI-powered platform for building and deploying smart contracts on multiple blockchain testnets.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions algoml.
