plutus
Blockchain scripting language
An implementation of a scripting language for the Cardano blockchain
The Plutus language implementation and tools
2k stars
114 watching
483 forks
Language: Haskell
last commit: 2 months ago blockchainprogramming-languagesmart-contracts
Related projects:
Repository | Description | Stars |
---|---|---|
| A Haskell-based tool for building and managing smart contracts on the Cardano blockchain | 67 |
| Develops a new type-safe programming language for writing robust smart contracts on Ethereum. | 245 |
| A high-level language for creating Algorand smart contracts with an imperative syntax similar to Go or JavaScript. | 37 |
| Provides a set of reusable, modular smart contract components for secure and efficient Ethereum development | 517 |
| Provides a Python interface to Algorand Smart Contracts enabling developers to create and manage smart contracts using a high-level, functional programming style | 286 |
| A principled language designed to improve the security and verifiability of smart contracts | 243 |
| A comprehensive collection of reusable, optimized, and well-tested smart contract libraries written in Solidity. | 442 |
| A toolset for developing, testing, and deploying smart contracts on blockchain platforms like Stacks and Bitcoin. | 311 |
| A comprehensive library for secure smart contract development in Cairo for Starknet, enabling fast iteration and secure deployment. | 833 |
| A set of tools and APIs for creating, managing, and interacting with blockchain-based tokens and smart contracts on the Cardano platform. | 75 |
| Encodes and decodes function calls and their output in smart contracts | 518 |
| Provides security-related resources and tools for developers building smart contracts on the Ethereum blockchain | 200 |
| A sandbox environment for developing, testing and debugging smart contracts on the Substrate blockchain | 77 |
| A Java library for working with smart contracts and integrating with clients on the CITA blockchain | 34 |
| A digital will smart contract allowing users to create and manage inheritances through a blockchain-based system | 1 |