kadena-io / pact
The Pact Smart Contract Language
☆584Updated 3 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for pact
- Chainweb: A Proof-of-Work Parallel-Chain Architecture for Massive Throughput☆248Updated this week
- Web3 API for Haskell☆190Updated last month
- Scilla - A Smart Contract Intermediate Level Language☆241Updated 2 weeks ago
- Bamboo see https://github.com/cornellblockchain/bamboo☆324Updated 2 years ago
- DEPRECATED: Merged into https://github.com/tendermint/tendermint under `abci`☆253Updated 6 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☆239Updated last year
- Haskoin Core is a Bitcoin and Bitcoin Cash library☆523Updated 4 months ago
- Specifications of network protocols and implementations of components running these protocols which support a family of Ouroboros Consesu…☆276Updated this week
- The Daml smart contract language☆803Updated this week
- Ethereum Solidity REPL☆397Updated 3 years ago
- ☆91Updated 6 years ago
- A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson☆157Updated 3 years ago
- Kadena Chainweaver desktop wallet and web-based playground for Pact☆60Updated last year
- Ethereum on Tendermint using Cosmos-SDK!☆664Updated 4 years ago
- Decentralized Infrastructure for Poly-Fungibles and NFTs☆25Updated last month
- Reactive Ethereum datastore for dapp UIs.☆502Updated 5 years ago
- Internet of Blockchains ⚛☆1,271Updated 7 months ago
- Smart Contracts in Solidity to serve as a Standard for Bounties for EVM dApps☆246Updated last year
- Casper contract, and related software and tests☆688Updated 2 years ago
- A GraphQL interface to Ethereum☆624Updated 2 years ago
- Decentralised Ethereum Liquid Staking Protocol.☆914Updated 3 weeks ago
- Blockchain (smart contract) platform using CBC-Casper proof of stake + Rholang for concurrent execution.☆693Updated 5 months ago
- Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies☆172Updated 2 months ago
- Pyramid is a language to create Ethereum smart contracts☆250Updated 6 years ago
- ☆20Updated 7 months ago
- Language Design Community for the EVM: Intro and Resources☆137Updated 7 years ago
- 📚 A curated collection of links for cryptoeconomists☆340Updated 6 years ago