Discover dfinity/formal-models Open Source project

A curated list of awesome projects and resources relating to the Internet Computer Protocol

1,555

awesome-internet-computer

742

examples

Example applications, microservices, and code samples for the Internet Computer

Simple high-level language for writing Internet Computer canisters

521

motoko

OCaml

496

motoko-base

The Motoko base library

Internet Identity, a blockchain authentication system for the Internet Computer

480

internet-identity

A scalable video sharing service.

403

cancan

Candid Library for the Internet Computer

335

candid

Rust canister development kit for the Internet Computer.

276

cdk-rs

IC SDK: a Software Development Kit for creating and managing canister smart contracts on the ICP blockchain.

198

sdk

An open professional network.

167

linkedup

A collection of libraries and tools for building software around the Internet Computer, in JavaScript.

155

agent-js

Documentation for writing code for the Internet Computer

147

docs

A collection of libraries and tools for building software around the Internet Computer, in Rust.

144

agent-rs

The original package manager for Motoko

120

vessel

The Dapp of the Internet Computer's Network Nervous System.

113

nns-dapp

A browser-based, multi-chain wallet hosted on the Internet Computer

113

oisy-wallet

A collection of data structures for fearless canister upgrades.

stable-structures

Internet Computer Developer Portal

portal

A fungible token standard developed by the Ledger & Tokenization working group for the IC.

ICRC-1

Governance & ledger toolkit for cold wallets

quill

Libraries for interfacing with the Internet Computer.

ic-js

ic-repl

motoko-playground

grant-rfps

Grant RFPs and Bounties

cycles-wallet

DFINITY Cycles Wallet

Hierarchical Deterministic Key Derivation for the Internet Computer

keysmith

Shell

rosetta-client

Providing an example and simplified experience for accepting payments in smart contracts

invoice-canister

Motoko language support for VS Code.

vscode-motoko

An advanced starter project for interacting with Ethereum on the Internet Computer (Beta)

icp-eth-starter

A certified assets canister written in Rust.

certified-assets

bitcoin-developer-preview

A preview of the integration between Bitcoin and the Internet Computer.

IC Interface Specification

interface-spec

The exchange rate canister (XRC) makes use of the HTTP requests feature to provide exchange rates as a service to the IC.

exchange-rate-canister

bitcoin-canister

A haskell toolbox for the Internet Computer

ic-hs

Haskell

gix-components

A UI kit developed by the GIX team

Svelte

ic-wasm

A collection of libraries and tools for transforming Wasm canisters running on the Internet Computer

Repository of the Identity and Wallet Standards Working Group

wg-identity-authentication

ic-websocket-poc

Repository to ICRC proposals

ICRC

icx-proxy

A rust-based command line tool to serve as a gateway for a Internet Computer replica.

A code formatter for the Motoko smart contract language.

prettier-plugin-motoko

icfront

Proof of concept of an infinitely scalable data storage for the Internet Computer application, written in Rust

bigmap-poc

Proof of concept implementation of the IC HTTP Gateway Protocol that enables end-to-end secure connections with dApps being served from the internet computer.

http-proxy

A live reload development server for Motoko smart contracts.

motoko-dev-server

A canister smart contract testing solution for the Internet Computer.

pocketic

ic-docutrack

DocuTrack is a proof-of-concept dapp built on the Internet Computer for sharing and managing documents.

Svelte

canister-profiling

Collection of canister performance benchmarks

An easy-to-use JavaScript API for the Internet Computer.

node-ic0

Client side response verification for the Internet Computer

response-verification

The official community package-set for vessel

vessel-package-set

Dhall

orbit

A trustless multi-custody digital assets management platform on the Internet Computer.

Developer focused SNS deployment demo

snsdemo

Shell

node-motoko

Compile and run Motoko smart contracts in Node.js or the browser.

A benchmarking framework for canisters on the Internet Computer.

canbench

Contracts and canisters enabling ERC20 ICP on Ethereum

erc20-icp

A CLI to interact with the Internet Computer App on Ledger Nano S/X devices.

hardware-wallet-cli

PocketIC Python: A Canister Testing Library for the Internet Computer

pocketic-py

Python

dre

Decentralized Reliability Engineering

Repository of the governance working group

wg-governance

embed-motoko

Embed a custom Motoko code snippet in a Medium article, blog post, or webapp.

CLI tool for minting NFT's

experimental-minting-tool

Testing SNS in local testing environment

sns-testing

Shell

threshold

Threshold voting and execution for the IC

SNS governance & ledger toolkit for cold wallets

sns-quill

Motoko concrete syntax parser in Rust.

motoko.rs

Repo for website collaboration - antora project file and ui project files

antora-sdk

CSS

getting-started

A repository for getting started on the Internet Computer

canpack

Package multiple libraries into one ICP canister.

Rust code of https://github.com/miracl/core (miracl_core) for curve BLS 12-381.

miracl_core_bls12381

icx-nns

A passive node of the IC that can be interacted with using the Rosetta protocol

rosetta-node

The cycles ledger is a global ledger canister that enables principal IDs to hold cycles.

cycles-ledger

Source repo for DFX extensions binaries and metadata

dfx-extensions

Rust library to interact with the ic-test-state-machine

test-state-machine-client

papi

dfxvm

icp-dev-env

A Docker image for a canister smart contract developer environment for ICP.

Dockerfile

setup-dfx

GitHub Action to set up dfx

ic-gamekit

chain-fusion-signer

A canister that does nothing but sign transactions for use on other blockchains.

idl2json

Chain Name System, a trustless and decentralized discoverability layer hosted directly on the Internet Computer.

cns

An ICP community feedback dapp powered by Motoko.

feedback

A quick and easy way to develop for the Internet Computer in Motoko on macOS, Windows or Linux.

ic-burp-extension

Java

ic-staking-documentation

HTML

icp-hello-world-motoko

The reference implementation of ICP ledger canister.

ledger-ref

Haskell bindings to the wasmtime WASM engine

wasmtime-hs

Haskell

internet-identity-playwright

A Playwright library to simplify the integration of Internet Identity authentication in E2E tests.

nginx-modules

dfn-components

Repository containing a set of libraries to manage the verifiable credentials in Internet Computer

verifiable-credentials-sdk

DEPRECATED (A rust library containing typings and utility functions dealing with the Public specification of the Internet Computer.)

ic-types

Demo of embedding QuickJS in IC

ic-quickjs-demo

HTTP to IC gateway service

ic-gateway

A calculator of fees and costs for smart contracts on the Internet Computer Protocol (ICP)

100

icp-calculator