kadena-io / pact
The Pact Smart Contract Language
☆586Updated last month
Alternatives and similar repositories for pact:
Users that are interested in pact are comparing it to the libraries listed below
- Chainweb: A Proof-of-Work Parallel-Chain Architecture for Massive Throughput☆249Updated this week
- Web3 API for Haskell☆191Updated 2 months ago
- Bamboo see https://github.com/cornellblockchain/bamboo☆323Updated 2 years ago
- Scilla - A Smart Contract Intermediate Level Language☆247Updated 2 months ago
- Kadena Chainweaver desktop wallet and web-based playground for Pact☆61Updated last year
- ☆90Updated 6 years ago
- A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson☆158Updated 3 years ago
- Ewasm Design Overview and Specification☆1,017Updated 2 years ago
- rust client libraries to deal with the current cardano mainnet (byron / cardano-sl)☆264Updated 2 years ago
- A curated collection of resources on smart contract programming languages☆242Updated last year
- ☆229Updated 5 years ago
- Legacy code connected to the high-assurance implementation of the Ouroboros protocol family☆78Updated 2 years ago
- Icarus, a reference implementation for a lightweight wallet developed by the IOHK Engineering Team.☆43Updated 6 years ago
- ☆293Updated 2 years ago
- Haskoin Core is a Bitcoin and Bitcoin Cash library☆525Updated last month
- Kadena wallet for developers☆19Updated 2 years ago
- a purescript library for the web3 api☆128Updated 2 weeks ago
- Peer-to-peer encrypted message exchange☆384Updated 4 years ago
- Nimbus: an Ethereum Execution Client for Resource-Restricted Devices☆594Updated this week
- Core Ethereum Smart Contracts for Polymath - The Securities Token Platform☆330Updated 7 months ago
- Composable building blocks for Ethereum contracts☆579Updated 2 years ago
- Compiles Haskell to WebAssembly☆166Updated 5 years ago
- The start page about my efforts around smart contract verification☆299Updated 2 years ago
- Blockchain (smart contract) platform using CBC-Casper proof of stake + Rholang for concurrent execution.☆696Updated 7 months ago
- Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies☆172Updated 4 months ago
- (Formerly Solium) Code quality & Security Linter for Solidity☆926Updated 2 weeks ago
- Reactive Ethereum datastore for dapp UIs.☆502Updated 5 years ago
- Specifications of network protocols and implementations of components running these protocols which support a family of Ouroboros Consesu…☆280Updated this week
- 👹 Moloch whose mind is pure machinery! Moloch whose blood is running money!☆671Updated 2 years ago