POC of a decentralized application (dApp) to enhance trust in agency-client relationships using blockchain. It enables trustless payments via smart contracts, securing funds in escrow until milesto…

Visualize the time packets spend in the kernel, watch & analyze in command line.

Round Manager & Grant Explorer & Project Builder of the Grants Protocol

Lightning-fast and Powerful Code Editor written in Rust

Smart account toolkit for role-based access control

Presenting a decentralized platform for secure and trusted P2P cryptocurrency transactions.

An index repository with submodules for different examples of Certora projects

An example payments application demonstrating integrations of various features and SEPs in a user-facing product.

Set of scripts written in Cairo/Starknet to learn and teach newcomers the ecosystem.

Specification of the Farcaster Protocol

Space and Time | Proof of SQL

Must be joined

Build rich content websites with Markdown and React

This repo for ETHOnline2024

Application SDK for using Smart Account Modules

🤖 Headless UI for Virtualizing Large Element Lists in JS/TS, React, Solid, Vue and Svelte

A user of on-chain apps can authenticate that the user is a correct holder of the specific email address and authorize anything described in the email.

Collection of example contracts to be deployed on Hylé

Golang utility for proving and finalizing withdrawals from op-stack chains.

An API compatible port of the Stone prover.

A library for secure smart contract development written in Rust

Data validation using Python type hints

Framework for building highly scalable RollApps

The Intuitive Vue Framework.