Discover kadena-io/pact-mode Open Source project

Smart Contracts Running on a BFT Hardened Raft

572

juno

Chainweb: A Proof-of-Work Parallel-Chain Architecture for Massive Throughput

453

chainweb-node

Kadena Chainweaver desktop wallet and web-based playground for Pact

238

chainweaver

Standalone Ethereum Virtual Machine

masala

A mining client for Kadena

chainweb-mining-client

Kadenaswap, a multi-protocol, scalable DEX

kadenaswap

Official mining software for the Kadena Public Blockchain.

chainweb-miner

Decentralized Infrastructure for Poly-Fungibles and NFTs

marmalade

Pact

kadenamint

Demo of integrating a JS webapp with the Pact smart contract langauge

pact-todomvc

pact-lang-api

create-pact-app

Kadena Improvement Proposals

KIPs

Pact

developer-scripts

Documentation and announcements for miners on the Kadena Public Blockchain

kadena-docs

HTML

chainweb-data

Data ingestion for Chainweb.

CLI interface to the the Kadena blockchain

technical-grants

Kadena Technical Grants

kda-tool

Chainweb mining code for CUDA

chainweb-cuda-miner

C++

devnet

Ad-hoc local Kadena development network

pact-5

The New Pact

LSP server for the Pact language

pact-lsp

Kuro permissioned blockchain, powered by ScalableBFT and Pact

kuro

block-explorer

digraph

pact-examples

Examples of smart contracts in Pact

chainweb-stream

Streaming server for chainweb events

TypeScript

signing-api

Kadena wallet signing API definition and reference docs

merkle-log

Haskell Merkle Tree Logs

Docker compose setups for chainweb-node

docker-compose-chainweb-node

pact-model

Modeling the Pact core language

Coq

chainweb-api

Common types for communicating with a Chainweb Node.

Support for the Pact Smart Contract language in Atom

pact-atom

CoffeeScript

wallet-connect-example

Example repository on how to implement Kadena with Wallet Connect

TypeScript

pypact

Python package for interacting with Pact server

chainweb-node-docker

merkle-log-rs

peso-stablecoin

pact-manual

A user's guide and reference manual for the Pact smart contract language

A web-based REPL for the Pact smart contract language

pact-web-repl

OpenAPI Specification of the Chainweb Node API

chainweb-openapi

HTML

kda-exchange-integration

For the KDA to ETH leg of the bridge

KDA-to-ETH-Attestation

kpkgs

pacty-parrots

ledger-app-kadena

setup-nix-with-cache

raspberrypi-blockchain

Read temperature and humidity from sensor and save to blockchain

Python

rosetta

ipfs-pact-tutorial

Support building bridges between Kadena and Ethereum

kadena-ethereum-bridge

Flycheck support for the Pact Smart Contract Language major mode

flycheck-pact

Emacs Lisp

txg

Chainweb Transaction Generator

Javascript bindings for the Kadena Chainweb API

chainweb.js

Pact-lang.org code examples

pact-lang.org-code

covid19-platform

Repo for both platform frontends and shared pact smart contracts

Command line tool for pact transaction templating

tx-template

Client-side consumption of a ServerEvent.

streaming-events

dao.init-frontend

A front end for dao.init

key value stores for chainweb

chainweb-storage

pact-json

JSON encoding for pact

Homebrew tap for the Pact smart contract language interpreter

homebrew-pact

Ruby

hs-nix-infra

Common Nix setup and dependencies for Kadena's Haskell projects