plutus
Smart contract compiler
A Haskell implementation of a smart contract language and compiler for the Cardano blockchain.
The Plutus language implementation and tools
2k stars
116 watching
478 forks
Language: Haskell
last commit: 9 days ago blockchainprogramming-languagesmart-contracts
Related projects:
| Repository | Description | Stars |
|---|---|---|
 geniusyield/atlas | A Haskell-based tool for building and managing smart contracts on the Cardano blockchain | 67 |
 flintlang/flint | Develops a new type-safe programming language for writing robust smart contracts on Ethereum. | 245 |
 pzbitskiy/tealang | A high-level language for creating Algorand smart contracts with an imperative syntax similar to Go or JavaScript. | 37 |
 pcaversaccio/snekmate | Provides a set of reusable, modular smart contract components for secure and efficient Ethereum development | 508 |
 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 |
 zilliqa/scilla | A principled language designed to improve the security and verifiability of smart contracts | 241 |
 huff-language/huffmate | A comprehensive collection of reusable, optimized, and well-tested smart contract libraries written in Solidity. | 440 |
 hirosystems/clarinet | A toolset for developing, testing, and deploying smart contracts on blockchain platforms like Stacks and Bitcoin. | 305 |
 openzeppelin/cairo-contracts | A library for secure smart contract development written in Cairo for Starknet | 827 |
 smart-chain-fr/tokenomia | A set of tools and APIs for creating, managing, and interacting with blockchain-based tokens and smart contracts on the Cardano platform. | 76 |
 rust-ethereum/ethabi | Encodes and decodes function calls and their output in smart contracts | 516 |
 originprotocol/security | Provides security-related resources and tools for developers building smart contracts on the Ethereum blockchain | 200 |
 patractlabs/europa | A sandbox environment for developing, testing and debugging smart contracts on the Substrate blockchain | 77 |
 citahub/cita-sdk-java | A Java library for working with smart contracts and integrating with clients on the CITA blockchain | 34 |
 lordsoban/cryptonomers | A digital will smart contract allowing users to create and manage inheritances through a blockchain-based system | 1 |