(Unofficial) Japanese translation of Dfinity documentation : (非公式) Dfinity ドキュメントの日本語翻訳
☆13Oct 6, 2022Updated 4 years ago
Alternatives and similar repositories for docs
Users that are interested in docs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆15Jul 19, 2023Updated 3 years ago
- A motoko canister that can server certified HTTP assets☆18Sep 15, 2021Updated 5 years ago
- Template for cross-platform, creator supporting community hubs.☆16Apr 2, 2022Updated 4 years ago
- ☆11Oct 27, 2021Updated 5 years ago
- Neuron management canister☆24Sep 13, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- An example of using the ECDSA signature feature on IC☆21Jul 26, 2022Updated 4 years ago
- Bitcoin library for Motoko☆20Feb 14, 2023Updated 3 years ago
- Formal Verification for Ethereum☆10Oct 29, 2026Updated last week
- ☆32Aug 28, 2025Updated last year
- The Provable Consensus Client — a formally verified Ethereum consensus client built with Lean 4.☆17Oct 29, 2026Updated last week
- Latest iteration of the IC Avatar tutorial application☆30Nov 2, 2022Updated 4 years ago
- ☆11Aug 7, 2021Updated 5 years ago
- using a custom domain on the IC using Netlify and a customized serviceworker☆17Oct 14, 2022Updated 4 years ago
- The coinflip is a sample project that showcases how applications can integrate Plug to authenticate users and use the PlugAgent through t…☆12Aug 3, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Library for Converting Types and Creating Workable Motoko Collections☆18Oct 24, 2026Updated last week
- Web3 Blogging Platform built on the Internet Computer☆11Sep 6, 2022Updated 4 years ago
- DIP20: A fungible token standard for the DFINITY Internet Computer.☆85May 25, 2022Updated 4 years ago
- The SHA Package☆16Dec 30, 2021Updated 4 years ago
- ☆82Mar 23, 2023Updated 3 years ago
- JSON for Motoko☆18Feb 9, 2024Updated 2 years ago
- 『低レイヤを知りたい人のためのCコンパイラ作成入門』をM1 Mac上でRustで追ってみる☆12Mar 16, 2022Updated 4 years ago
- WebGPU MSM implementation☆15Oct 28, 2025Updated last year
- ECDSA gadgets for plonky2☆19Oct 20, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Plonky2 gadgets for EcGFp5 curve and base field arithmetic☆20Feb 19, 2023Updated 3 years ago
- Dfinihack project 13☆36Jun 23, 2022Updated 4 years ago
- ☆45Aug 27, 2025Updated last year
- Python Agent Library for the DFINITY Internet Computer☆136Aug 26, 2025Updated last year
- Supplement interface to the NNS ledger canister☆21Aug 2, 2021Updated 5 years ago
- Use your favourite frontend framework with the Internet Computer☆180Jul 13, 2022Updated 4 years ago
- Set up your GitHub Actions workflow with a specific version of the Internet Computer SDK☆20May 2, 2024Updated 2 years ago
- Formal Verification of Top Single Layer Encoding☆11Dec 6, 2025Updated 11 months ago
- A canister that holds ICP☆24Jan 11, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Providing an example and simplified experience for accepting payments in smart contracts☆43Apr 8, 2026Updated 6 months ago
- Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]☆12Aug 11, 2024Updated 2 years ago
- An example of how to build an end-to-end dApp with plonky2x☆22Aug 30, 2023Updated 3 years ago
- Task scheduler for the Internet Computer☆39Nov 11, 2022Updated 3 years ago
- A template for creating Motoko libraries☆31May 27, 2021Updated 5 years ago
- ☆10Apr 6, 2022Updated 4 years ago
- Lean4 formalization of "A Simplified Round-by-round Soundness Proof of FRI"☆11Apr 1, 2026Updated 7 months ago