Discover kadena-io/flycheck-pact Open Source project

Stars
2
Language
Emacs Lisp
Created over 5 years ago
Updated over 5 years ago

kadena-io

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Flycheck support for the Pact Smart Contract Language major mode

pact

The Pact Smart Contract Language

Haskell

572

juno

Smart Contracts Running on a BFT Hardened Raft

Haskell

453

chainweb-node

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

Haskell

238

chainweaver

Kadena Chainweaver desktop wallet and web-based playground for Pact

Haskell

masala

Standalone Ethereum Virtual Machine

Haskell

chainweb-mining-client

A mining client for Kadena

Haskell

kadenaswap

Kadenaswap, a multi-protocol, scalable DEX

JavaScript

chainweb-miner

Official mining software for the Kadena Public Blockchain.

Haskell

marmalade

Decentralized Infrastructure for Poly-Fungibles and NFTs

Pact

kadenamint

Haskell

pact-todomvc

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

JavaScript

pact-lang-api

JavaScript

create-pact-app

JavaScript

KIPs

Kadena Improvement Proposals

Pact

developer-scripts

JavaScript

kadena-docs

Documentation and announcements for miners on the Kadena Public Blockchain

HTML

chainweb-data

Data ingestion for Chainweb.

Haskell

technical-grants

Kadena Technical Grants

kda-tool

CLI interface to the the Kadena blockchain

Haskell

chainweb-cuda-miner

Chainweb mining code for CUDA

C++

pact-lsp

LSP server for the Pact language

Haskell

kuro

Kuro permissioned blockchain, powered by ScalableBFT and Pact

Haskell

block-explorer

Haskell

devnet

Ad-hoc local Kadena development network

pact-5

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

Nix

merkle-log

Haskell Merkle Tree Logs

Haskell

docker-compose-chainweb-node

Docker compose setups for chainweb-node

pact-mode

Emacs Major Mode for the Pact smart contract language.

Emacs Lisp

pact-model

Modeling the Pact core language

Coq

chainweb-api

Common types for communicating with a Chainweb Node.

Haskell

pact-atom

Support for the Pact Smart Contract language in 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

Nix

pact-web-repl

A web-based REPL for the Pact smart contract language

Haskell

chainweb-openapi

OpenAPI Specification of the Chainweb Node API

HTML

kda-exchange-integration

JavaScript

KDA-to-ETH-Attestation

For the KDA to ETH leg of the bridge

ledger-app-kadena

kpkgs

pacty-parrots

setup-nix-with-cache

raspberrypi-blockchain

Read temperature and humidity from sensor and save to blockchain

Python

rosetta

Haskell

ipfs-pact-tutorial

JavaScript

kadena-ethereum-bridge

Support building bridges between Kadena and Ethereum

Haskell

txg

Chainweb Transaction Generator

Haskell

pact-lang.org-code

Pact-lang.org code examples

chainweb.js

Javascript bindings for the Kadena Chainweb API

JavaScript

covid19-platform

Repo for both platform frontends and shared pact smart contracts

JavaScript

tx-template

Command line tool for pact transaction templating

Haskell

streaming-events

Client-side consumption of a ServerEvent.

Haskell

dao.init-frontend

A front end for dao.init

JavaScript

chainweb-storage

key value stores for chainweb

Haskell

pact-json

JSON encoding for pact

Haskell

homebrew-pact

Homebrew tap for the Pact smart contract language interpreter

Ruby

hs-nix-infra

Common Nix setup and dependencies for Kadena's Haskell projects

Nix

kadena-io/flycheck-pact

kadena-io

Reviews

Repository Details

More Repositories