Fig nodes makes it easy to build agentic trading and financial workflows.

Community-contributed instructions, prompts, and configurations to help you make the most of GitHub Copilot.

A curated list of awesome web3 formal verification resources -- including tools, tutorials, articles and more.

Telegram integration for Attio

A library for composable tooling for onchain entities

Autonomous coding agent right in your IDE, capable of creating/editing files, executing commands, using the browser, and more with your permission every step of the way.

Agent Driven Development

Discovery Protocol

A toolkit for polynomial IOPs (PIOPs)

Utility for rlp-encoding and signing new EIP-2718 typed transactions for testing

Fast high-level web crawling Ruby framework

The simplest Farcaster Frame possible

https://monitor.polkachu.com

Ansible Script for Cosmos-based blockchain validators

python repo to create blockchain CSVs

David AI is a free and open-source collection of customizable, production-ready UI components built with Tailwind CSS.

Run Anything

Run a VPN with global exit nodes with fly.io, tailscale and github!

A self-hosted, offline, ChatGPT-like chatbot. Powered by Llama 2. 100% private, with no data leaving your device. New: Code Llama support!

Basic string utilities for Solidity

Optimized Solidity snippets.

Visual Studio Code language support extension for Solidity smart contracts in Ethereum https://marketplace.visualstudio.com/items?itemName=JuanBlanco.solidity

Modern, opinionated, and gas optimized building blocks for smart contract development.

Wrap your ERC721 tokens for a redeemable token with cheaper transfers, call-batching, and meta transactions.

Gall application which enables 3rd party services outside of Urbit to authenticate users.