kadena-io / pact
The Pact Smart Contract Language
☆579Updated 2 weeks ago
Related projects: ⓘ
- Chainweb: A Proof-of-Work Parallel-Chain Architecture for Massive Throughput☆249Updated this week
- Web3 API for Haskell☆189Updated 3 months ago
- Scilla - A Smart Contract Intermediate Level Language☆240Updated 2 months ago
- rust client libraries to deal with the current cardano mainnet (byron / cardano-sl)☆264Updated 2 years ago
- OCaml DSL for verifiable computation☆494Updated 4 months ago
- Bamboo see https://github.com/cornellblockchain/bamboo☆324Updated 2 years ago
- Specifications of network protocols and implementations of components running these protocols which support a family of Ouroboros Consesu…☆275Updated this week
- A Scala based client for Ethereum-like Blockchains.☆231Updated 2 years ago
- Ewasm Design Overview and Specification☆1,015Updated 2 years ago
- A new blockchain architecture under active development, with a strong focus on scalability, privacy and safety☆411Updated 3 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
- Haskoin Core is a Bitcoin and Bitcoin Cash library☆522Updated last month
- Decentralised Ethereum Liquid Staking Protocol.☆893Updated this week
- Kadena Chainweaver desktop wallet and web-based playground for Pact☆60Updated last year
- Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies☆173Updated 2 weeks ago
- Specification files for the Mesh Blockchain Standard☆321Updated 2 months ago
- A collection of tools, documents, articles, blog posts, interviews, and videos related to MakerDAO and the Dai stablecoin.☆716Updated last month
- A curated collection of resources on smart contract programming languages☆239Updated last year
- The essential Ethereum information hub.☆869Updated last month
- ☆142Updated this week
- Emerging smart contract language for the Ethereum blockchain.☆1,598Updated this week
- The start page about my efforts around smart contract verification☆297Updated 2 years ago
- HTTP server & command-line for managing UTxOs and HD wallets in Cardano.☆763Updated this week
- The Daml smart contract language☆796Updated this week
- ☆91Updated 6 years ago
- Composable building blocks for Ethereum contracts☆580Updated 2 years ago
- Dapp, Seth, Hevm, and more☆2,087Updated last year
- Dai Stablecoin System☆735Updated 11 months ago
- Core Ethereum Smart Contracts for Polymath - The Securities Token Platform☆330Updated 3 months ago
- Reactive Ethereum datastore for dapp UIs.☆503Updated 4 years ago