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 2 years ago
Linked from 1 awesome list
caller-protectionscompilerecosystemethereumflintflint-compilerflint-programming-languagelanguagesmart-contractsswiftverification
pirapira/awesome-ethereum-virtual-machineRelated projects:
| Repository | Description | Stars |
|---|---|---|
 intersectmbo/plutus | A Haskell implementation of a smart contract language and compiler for the Cardano blockchain. | 1,572 |
 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 | 241 |
 eth-sri/zkay | Tools and language for compiling and deploying private smart contracts on the Ethereum blockchain | 81 |
 huff-language/huffmate | A comprehensive collection of reusable, optimized, and well-tested smart contract libraries written in Solidity. | 440 |
 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 | 285 |
 willitscale/learning-solidity | A comprehensive resource for learning Solidity programming language and building smart contracts on the Ethereum blockchain | 2,072 |
 safe-global/safe-smart-account | A suite of Ethereum-based smart contract libraries and tools for secure management of blockchain assets | 1,876 |
 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. | 260 |
 rust-ethereum/ethabi | Encodes and decodes function calls and their output in smart contracts | 516 |
 tintinweb/smart-contract-sanctuary | A repository of verified smart contracts and support scripts for various blockchain networks. | 1,516 |
 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,355 |