dfinity/motoko

Stars
496
Rank 88,807 (Top 2 %)
Language
OCaml
License
Apache License 2.0
Created over 6 years ago
Updated 5 months ago

dfinity/motoko

dfinity

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

Simple high-level language for writing Internet Computer canisters

Motoko ·

A safe, simple, actor-based programming language for authoring Internet Computer (IC) canister smart contracts.

User Documentation & Samples

Introduction

Motivation and Goals

High-level language for programming IC applications
Simple ("K.I.S.S.") design and familiar syntax for average programmers
Good and convenient support for actor model
Good fit for underlying Wasm and IC execution model
Anticipate future extensions to Wasm where possible

Key Design Points

Simple class-based OO language, objects as closures
Classes can be actors
Async construct for direct-style programming of asynchronous messaging
Structurally typed with simple generics and subtyping
Overflow-checked number types, explicit conversions
JavaScript/TypeScript-style syntax but without the JavaScript madness
Inspirations from Java, C#, JavaScript, Swift, Pony, ML, Haskell

Related repositories

Base library
Vessel package manager
Example projects
Motoko Playground · (online IDE)
Embed Motoko code snippets · (online interpreter)
VS Code extension · (install)
Browser and Node.js bindings · (npm package)

Community resources

Contribution

See our CONTRIBUTING and CODE OF CONDUCT to get started.

ic

Internet Computer blockchain source: the client/replica software run by nodes

awesome-internet-computer

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

examples

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

motoko-base

The Motoko base library

internet-identity

Internet Identity, a blockchain authentication system for the Internet Computer

cancan

A scalable video sharing service.

candid

Candid Library for the Internet Computer

cdk-rs

Rust canister development kit for the Internet Computer.

sdk

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

linkedup

An open professional network.

agent-js

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

docs

Documentation for writing code for the Internet Computer

agent-rs

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

vessel

The original package manager for Motoko

nns-dapp

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

oisy-wallet

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

stable-structures

A collection of data structures for fearless canister upgrades.

portal

Internet Computer Developer Portal

ICRC-1

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

quill

Governance & ledger toolkit for cold wallets

ic-js

Libraries for interfacing with the Internet Computer.

ic-repl

motoko-playground

Motoko playground

grant-rfps

Grant RFPs and Bounties

cycles-wallet

DFINITY Cycles Wallet

keysmith

Hierarchical Deterministic Key Derivation for the Internet Computer

rosetta-client

invoice-canister

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

vscode-motoko

Motoko language support for VS Code.

icp-eth-starter

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

certified-assets

A certified assets canister written in Rust.

bitcoin-developer-preview

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

interface-spec

IC Interface Specification

exchange-rate-canister

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

bitcoin-canister

ic-hs

A haskell toolbox for the Internet Computer

gix-components

A UI kit developed by the GIX team

ic-wasm

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

wg-identity-authentication

Repository of the Identity and Wallet Standards Working Group

ic-websocket-poc

ICRC

Repository to ICRC proposals

icx-proxy

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

prettier-plugin-motoko

A code formatter for the Motoko smart contract language.

icfront

bigmap-poc

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

http-proxy

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.

motoko-dev-server

A live reload development server for Motoko smart contracts.

pocketic

A canister smart contract testing solution for the Internet Computer.

ic-docutrack

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

canister-profiling

Collection of canister performance benchmarks

node-ic0

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

response-verification

Client side response verification for the Internet Computer

vessel-package-set

The official community package-set for vessel

orbit

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

snsdemo

Developer focused SNS deployment demo

node-motoko

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

canbench

A benchmarking framework for canisters on the Internet Computer.

erc20-icp

Contracts and canisters enabling ERC20 ICP on Ethereum

hardware-wallet-cli

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

pocketic-py

PocketIC Python: A Canister Testing Library for the Internet Computer

dre

Decentralized Reliability Engineering

wg-governance

Repository of the governance working group

embed-motoko

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

experimental-minting-tool

CLI tool for minting NFT's

sns-testing

Testing SNS in local testing environment

threshold

Threshold voting and execution for the IC

sns-quill

SNS governance & ledger toolkit for cold wallets

motoko.rs

Motoko concrete syntax parser in Rust.

antora-sdk

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

getting-started

A repository for getting started on the Internet Computer

canpack

Package multiple libraries into one ICP canister.

miracl_core_bls12381

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

icx-nns

rosetta-node

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

cycles-ledger

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

dfx-extensions

Source repo for DFX extensions binaries and metadata

test-state-machine-client

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

papi

dfxvm

dfx version manager

icp-dev-env

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

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

cns

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

feedback

An ICP community feedback dapp powered by Motoko.

ic-burp-extension

ic-staking-documentation

icp-hello-world-motoko

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

ledger-ref

The reference implementation of ICP ledger canister.

formal-models

TLA+ models of various IC components and canisters

wasmtime-hs

Haskell bindings to the wasmtime WASM engine

internet-identity-playwright

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

nginx-modules

dfn-components

verifiable-credentials-sdk

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

ic-types

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

ic-quickjs-demo

Demo of embedding QuickJS in IC

ic-gateway

HTTP to IC gateway service

icp-calculator

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