College Math Vector
college_math(vector). Introduction to College Math, Option 2: interactive vector bench for a rooftop solar panel.
BitsExplorer finds what people are building with AI, every day. See today's picks →
Leanimum Agent
The 100 line AI agent for proving theorems and writing programs in Lean. Radically simple, no huge configs, no giant monorepo. Forked from mini-SWE-agent.
Description excerpted from the original listing, which is linked below.
USIL Research Map
Interactive paper explorer, classifications, analytics, and community pull requests
Companion
Documentation-only accessibility product case study for Companion
Business logic
MEI Bureau Cloud architecture plan
WorkPet.ai — Tame your to-dos. Raise a tiny legend.
A virtual pet that lives in your task list. Complete real tasks, earn coins, and raise an AI-powered buddy who cheers you on. Free.
Vampires Can't See by JoshFryart
You are a Vampire. You are blind. Echolocate your victims, and survive the night!
Bullhorn Api
PHP client for the Bullhorn REST API (staffing and recruitment CRM): OAuth login, a shared session that survives concurrent requests, entity, search and file helpers, and a Laravel integration with facade, encrypted session cache and Http::fake() support.
Seo Sample
Best SEO Services for Google, AI Search, and Revenue Growth We help your business rank higher on Google and get recommended by ChatGPT, Perplexity and Google AI Overviews — turning search into qualified leads and measurable revenue.
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