BitsExplorer

BitsExplorer finds what people are building with AI, every day. See today's picks →

Preview of Blueprint

Blueprint

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.

Open it Source code

The week in AI-built software

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