Implementation of the Farcaster Hub specification and supporting libraries for building applications on Farcaster

Specification of the Farcaster Protocol

do more with dbt. dbt-fal helps you run Python alongside dbt, so you can send Slack alerts, detect anomalies and build machine learning models.

A Setup Ceremony for Universal SNARKs

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

A Decentralized Operating System for ZK Applications

📄 Documentation for Leo 🦁

A curated list of crypto project trackers and analytics dashboards.