Explore @kadena-io Open Source projects

Kadena (@kadena-io)

kadena-io

Stars
1,802
Global Org. Rank 10,257 (Top 4 %)
Registered over 8 years ago
Most used languages

Haskell
41.7 %

JavaScript
20.0 %

Nix
10.0 %

TypeScript
5.0 %

Python
3.3 %

Pact 3.3 %

HTML
3.3 %

Emacs Lisp
3.3 %

C++
1.7 %

Coq 1.7 %

Ruby
1.7 %

CoffeeScript
1.7 %

Shell
1.7 %

Rust
1.7 %
Location 🇺🇸 United States
Country Total Rank 5,401
Country Ranking

Pact 2

Haskell
16

Coq 110

Nix
158

Emacs Lisp
820

CoffeeScript
1,903

Rust
6,251

HTML
6,930

JavaScript
7,417

TypeScript
8,861

pact

The Pact Smart Contract Language

juno

Smart Contracts Running on a BFT Hardened Raft

chainweb-node

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

chainweaver

Kadena Chainweaver desktop wallet and web-based playground for Pact

masala

Standalone Ethereum Virtual Machine

chainweb-mining-client

A mining client for Kadena

kadenaswap

Kadenaswap, a multi-protocol, scalable DEX

chainweb-miner

Official mining software for the Kadena Public Blockchain.

marmalade

Decentralized Infrastructure for Poly-Fungibles and NFTs

kadenamint

pact-todomvc

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

pact-lang-api

create-pact-app

KIPs

Kadena Improvement Proposals

developer-scripts

kadena-docs

Documentation and announcements for miners on the Kadena Public Blockchain

chainweb-data

Data ingestion for Chainweb.

technical-grants

Kadena Technical Grants

kda-tool

CLI interface to the the Kadena blockchain

chainweb-cuda-miner

Chainweb mining code for CUDA

devnet

Ad-hoc local Kadena development network

pact-5

pact-lsp

LSP server for the Pact language

kuro

Kuro permissioned blockchain, powered by ScalableBFT and Pact

block-explorer

digraph

Directed Graphs

pact-examples

Examples of smart contracts in Pact

chainweb-stream

Streaming server for chainweb events

signing-api

Kadena wallet signing API definition and reference docs

merkle-log

Haskell Merkle Tree Logs

docker-compose-chainweb-node

Docker compose setups for chainweb-node

pact-mode

Emacs Major Mode for the Pact smart contract language.

pact-model

Modeling the Pact core language

chainweb-api

Common types for communicating with a Chainweb Node.

pact-atom

Support for the Pact Smart Contract language in Atom

wallet-connect-example

Example repository on how to implement Kadena with Wallet Connect

pypact

Python package for interacting with Pact server

chainweb-node-docker

merkle-log-rs

Binary Merkle Trees

peso-stablecoin

pact-manual

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

pact-web-repl

A web-based REPL for the Pact smart contract language

chainweb-openapi

OpenAPI Specification of the Chainweb Node API

kda-exchange-integration

KDA-to-ETH-Attestation

For the KDA to ETH leg of the bridge

kpkgs

pacty-parrots

ledger-app-kadena

setup-nix-with-cache

raspberrypi-blockchain

Read temperature and humidity from sensor and save to blockchain

rosetta

ipfs-pact-tutorial

kadena-ethereum-bridge

Support building bridges between Kadena and Ethereum

flycheck-pact

Flycheck support for the Pact Smart Contract Language major mode

txg

Chainweb Transaction Generator

chainweb.js

Javascript bindings for the Kadena Chainweb API

pact-lang.org-code

Pact-lang.org code examples

covid19-platform

Repo for both platform frontends and shared pact smart contracts

tx-template

Command line tool for pact transaction templating

streaming-events

Client-side consumption of a ServerEvent.

dao.init-frontend

A front end for dao.init

chainweb-storage

key value stores for chainweb

pact-json

JSON encoding for pact

homebrew-pact

Homebrew tap for the Pact smart contract language interpreter

hs-nix-infra

Common Nix setup and dependencies for Kadena's Haskell projects