kadena-io / pact
The Pact Smart Contract Language
☆595Updated 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☆250Updated this week
- Scilla - A Smart Contract Intermediate Level Language☆248Updated 5 months ago
- Bamboo see https://github.com/cornellblockchain/bamboo☆323Updated 3 years ago
- Web3 API for Haskell☆193Updated 6 months ago
- BandChain - Decentralized Data Delivery Network☆223Updated 2 years ago
- Kadena Chainweaver desktop wallet and web-based playground for Pact☆62Updated last year
- A curated collection of resources on smart contract programming languages☆245Updated last year
- A new blockchain architecture under active development, with a strong focus on scalability, privacy and safety☆416Updated 4 years ago
- Specifications of network protocols and implementations of components running these protocols which support a family of Ouroboros Consesu…☆281Updated this week
- OCaml DSL for verifiable computation☆499Updated last week
- Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies☆176Updated 7 months ago
- rust client libraries to deal with the current cardano mainnet (byron / cardano-sl)☆264Updated 2 years ago
- (Aragon 1) Reference implementation for aragonOS: a Solidity framework for building complex dApps and protocols☆685Updated 2 years ago
- Zilliqa is the world's first high-throughput public blockchain platform - designed to scale to thousands of transactions per second.☆1,135Updated 5 months ago
- Public repository for the AZTEC V1 protocol. For the latest zkRollup release see here https://github.com/AztecProtocol/aztec-2-bug-bounty☆629Updated 2 years ago
- Nimbus: an Ethereum Execution Client for Resource-Restricted Devices☆602Updated this week
- Web3 Foundation General Grants Program☆607Updated 3 years ago
- ☆90Updated 7 years ago
- A collection of tools, documents, articles, blog posts, interviews, and videos related to MakerDAO and the Dai stablecoin.☆711Updated 9 months ago
- A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson☆157Updated 4 years ago
- a purescript library for the web3 api☆128Updated 3 months ago
- The Baseline Protocol is an open source initiative that combines advances in cryptography, messaging, and distributed ledger technology t…☆578Updated 2 months ago
- Haskoin Core is a Bitcoin and Bitcoin Cash library☆527Updated 4 months ago
- Specification files for the Mesh Blockchain Standard☆328Updated 9 months ago
- The essential Ethereum information hub.☆865Updated 8 months ago
- Ethereum Solidity REPL☆399Updated 3 years ago
- dApps in Elm☆148Updated 2 years ago
- Tutorials for building modules for the Cosmos SDK☆501Updated 7 months ago
- Reactive Ethereum datastore for dapp UIs.☆503Updated 5 years ago
- Semantics of Virtual Machine for IELE prototype blockchain☆132Updated last year