Pharaohstocks
Robinhood Stock Token swaps on Robinhood Chain, checked against Chainlink in every fill. Too far from the oracle, and the swap reverts.
BitsExplorer finds what people are building with AI, every day. See today's picks →
Blueprints for Lean formalisation projects: one uniform object model, quotient views at any level of detail, status derived from the Lean environment, semantic diffs, and an interactive site
Description excerpted from the original listing, which is linked below.
Every Monday: how many projects were built with AI that week, which tools built them, where they came from, and the week's picks.
Read the latest week