📈 GH Trending Explorer 🎲 Surprise me

Search: aad · Language: Python · clear

aaddrick / building-with-typesafe-jev

Unofficial skill that teaches coding agents to build with TypeSafe AI's Jev: typed decisions, calibrated confidence, and prior art from 150+ community projects.

▲ ~0/7d ★ 144 Python 19d ago
aadithyanr / yname

Generate a YC startup name before someone else does.

▲ ~0/7d ★ 51 Python 1mo ago
palavogikos-collab / myDATA

Issue Greek invoices via AADE timologio, get the MARK, keep one JSON per invoice, sync to your ERP (SAP B1 today; SoftOne, Pylon, Megasoft wanted). Claude skill, not a ΥΠΑΗΕΣ.

▲ ~0/7d ★ 37 Python 27d ago
aadarsh-create / onboard.ai

onboard.ai turns any GitHub repository URL into a developer onboarding report, summarizing architecture, setup, file structure, starter tasks, and optimization opportunities using parallel AI analysis.

▲ ~0/7d ★ 30 Python 12d ago
aadya940 / scikit-verify

Trace Python+NumPy programs into SymPy formulas and check them symbolically, across all branches