BitsExplorer

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

Preview of Fep Formal

Fep Formal

Standalone catalog of formally verified theorems spanning the Free Energy Principle, Active Inference, Bayesian Mechanics, Information Geometry, and Thermodynamics.

Description excerpted from the original listing, which is linked below.

Download 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