Higher-level Motoko helpers for consuming Internet Identity certified attributes (email, name, ...) in relying-party canisters.

Internet Identity, the most prominent authentication system for modern web apps

Privacy-preserving AI age estimation service

Initiate transactions and authenticate with signers on the Internet Computer.

Utils for creating canister signatures and handling canister signatures public keys.

The command-line interface for the ICP SDK.

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

Metrics encoder for Prometheus metrics

A non-custodial digital assets management platform on the Internet Computer.

First reference SNS:DEX integration implementation

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

Decentralised Liquid Staking protocol on the Internet Computer

Motoko vector data structure

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

Testing SNS in local testing environment

ISO-3166-1 Country Codes for Rust

ISO3166-1 countries for the Rust language

Motoko language support for VS Code.

This is the main repository for the OpenChat application which runs on the Internet Computer

Threshold voting and execution for the IC

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

This is the main repository for the Viper IDE extension for VS Code.

This repository provides the artifact for the paper: "Identifying Overly Restrictive Matching Patterns in SMT-Based Program Verifiers", A. Bugariu, A. Ter-Gabrielyan, and P. Müller, FM'21.

Simple high-level language for writing Internet Computer canisters

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

Lizard is the visual verification debugger for Viper IDE

about Graphviz