kadena-io / pact
The Pact Smart Contract Language
☆600Updated 2 months ago
Alternatives and similar repositories for pact
Users that are interested in pact are comparing it to the libraries listed below
Sorting:
- Chainweb: A Proof-of-Work Parallel-Chain Architecture for Massive Throughput☆252Updated last week
- Kadena Chainweaver desktop wallet and web-based playground for Pact☆62Updated last year
- Web3 API for Haskell☆194Updated 6 months ago
- Scilla - A Smart Contract Intermediate Level Language☆248Updated this week
- Bamboo see https://github.com/cornellblockchain/bamboo☆323Updated 3 years ago
- Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies☆176Updated 8 months ago
- Specifications of network protocols and implementations of components running these protocols which support a family of Ouroboros Consesu…☆281Updated this week
- HTTP server & command-line for managing UTxOs and HD wallets in Cardano.☆799Updated this week
- The open source cryptocurrency wallet for ada, built to grow with the community☆1,248Updated 2 months ago
- ☆90Updated 7 years ago
- ☆20Updated last year
- OCaml DSL for verifiable computation☆499Updated this week
- a purescript library for the web3 api☆128Updated 4 months ago
- BandChain - Decentralized Data Delivery Network☆223Updated 2 years ago
- rust client libraries to deal with the current cardano mainnet (byron / cardano-sl)☆264Updated 2 years ago
- Decentralised Ethereum Liquid Staking Protocol.☆935Updated last week
- Legacy code connected to the high-assurance implementation of the Ouroboros protocol family☆78Updated 3 years ago
- Proof-of-concept Blockchain in Haskell☆90Updated 7 years ago
- Experimental Smart Contracts In Plutus.☆34Updated 6 years ago
- Reactive Ethereum datastore for dapp UIs.☆503Updated 5 years ago
- The Plutus language implementation and tools☆1,593Updated this week
- Kadena wallet for developers☆19Updated 2 years ago
- A curated collection of resources on smart contract programming languages☆246Updated last year
- Haskoin Core is a Bitcoin and Bitcoin Cash library☆528Updated last week
- 0x protocol monorepo - includes our smart contracts and many developer tools☆1,415Updated 4 years ago
- dApps in Elm☆148Updated 2 years ago
- A new blockchain architecture under active development, with a strong focus on scalability, privacy and safety☆418Updated 4 years ago
- Semantics of Virtual Machine for IELE prototype blockchain☆133Updated last year
- privacy voting blockchain node☆365Updated last week
- Emerging smart contract language for the Ethereum blockchain.☆1,655Updated last week