💫 Toolkit to help you get started with Spec-Driven Development

Open-Source Form Builder

ShellCheck, a static analysis tool for shell scripts

Starter project for Vite + SvelteKit + TypeScript + Motoko + Internet Identity + PocketIC

Framework for developing canisters on the Internet Computer.

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

Subnet Explorer

TFHE-rs: A Pure Rust implementation of the TFHE Scheme for Boolean and Integer Arithmetics Over Encrypted Data.

Example project to explore signing with MetaMask on the Internet Computer

MetaMask Proxy PoC on the Internet Computer

Repository to ICRC proposals

Threshold voting and execution for the IC

Toy example of Sign-in with Ethereum and an identity proxy canister on the Internet Computer

The Z3 Theorem Prover

Ethereum RPC client for canisters on the IC

Creusot helps you prove your Rust code is correct.

A static verifier for Rust, based on the Viper verification infrastructure.

🌱 a fast, batteries-included static-site generator that transforms Markdown content into fully functional websites

🐇 Fuzzing Rust code with American Fuzzy Lop

World's fastest and most advanced password recovery utility

Governance & ledger toolkit for cold wallets

Pilot program for CVE submission through GitHub. CVE Record Submission via Pilot PRs ending 6/30/2023

Linux Memory Cryptographic Keys Extractor

⭐⭐⭐⭐⭐ Chrome extension for decoding responses from the Internet Computer blockchain

Reproduce DeFi hacked incidents using Foundry.

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

GraphQL database for the Internet Computer

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

A latent text-to-image diffusion model