flint
Smart contract language
Develops a new type-safe programming language for writing robust smart contracts on Ethereum.
The Flint Programming Language for Smart Contracts
245 stars
20 watching
18 forks
Language: Swift
last commit: almost 4 years agoLinked from 1 awesome list
caller-protectionscompilerecosystemethereumflintflint-compilerflint-programming-languagelanguagesmart-contractsswiftverification
pirapira/awesome-ethereum-virtual-machineRelated projects:
| Repository | Description | Stars |
|---|---|---|
 intersectmbo/plutus | An implementation of a scripting language for the Cardano blockchain | 1,581 |
 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 |
 eth-sri/zkay | Tools and language for compiling and deploying private smart contracts on the Ethereum blockchain | 83 |
 huff-language/huffmate | A comprehensive collection of reusable, optimized, and well-tested smart contract libraries written in Solidity. | 442 |
 shimmi/smart-contracts-skeleton | A set of tools to help develop and test smart contracts on the Ethereum blockchain | 23 |
 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 |
 willitscale/learning-solidity | A comprehensive resource for learning Solidity programming language and building smart contracts on the Ethereum blockchain | 2,076 |
 safe-global/safe-smart-account | Provides a set of smart contracts and tools for managing blockchain assets securely | 1,897 |
 geniusyield/atlas | A Haskell-based tool for building and managing smart contracts on the Cardano blockchain | 67 |
| huff-language/foundry-huff | A Solidity library for working with Huffman contracts in the Foundry framework. | 262 |
 rust-ethereum/ethabi | Encodes and decodes function calls and their output in smart contracts | 518 |
 tintinweb/smart-contract-sanctuary | A repository of verified smart contracts and support scripts for various blockchain networks. | 1,522 |
 originprotocol/security | Provides security-related resources and tools for developers building smart contracts on the Ethereum blockchain | 200 |
 use-ink/ink | An embedded domain-specific language for writing smart contracts in Rust for blockchains built on the Substrate framework. | 1,362 |