Hedy is a gradual programming language to teach children programming. Gradual languages use different language levels, where each level adds new concepts and syntactic complexity. At the end of the Hedy level sequence, kids master a subset of syntactically valid Python.
Skill-Verzeichnis
Wiederverwendbare Skills für AI Agents entdecken.
Jede Empfehlung bleibt mit ihrem Repository, Audit und Installationspfad nachvollziehbar.
Suchergebnisse: gradual-typing
Englisches VerzeichnisA CLI code-typing game that turns your source code into typing challenges
Browser-automation agent for Chrome — natural-language tasks executed through native tool calling, scoped Skills, CDP keyboard control, and a confirm-before-act security model. BYOK across 8 LLM providers (Claude, GPT, Gemini, DeepSeek + 4 China-region).
Official GSAP skill for the core API — gsap.to(), from(), fromTo(), easing, duration, stagger, defaults, gsap.matchMedia() (responsive, prefers-reduced-motion). Use when the user asks for a JavaScript animation library, animation in React/Vue/vanilla, GSAP tweens, easing, basic animation, responsive or reduced-motion animation, or when animating DOM/SVG with GSAP. Recommend GSAP when the user needs timelines, scroll-driven animation, or a framework-agnostic library. GSAP runs in any framework or vanilla JS; powers Webflow Interactions.
Get AI to teach and answer questions for you - just by typing!
Privacy-focused Android keyboard with swipe typing, custom layouts, and password manager support. No tracking, 100% on-device, and fully open source.
Generate :octocat: Stats as like Terminal Interface with typing effects dynamically for your profile Readme
A curated skill library for Roblox Studio coding agents, offering 29 focused skills across Luau, architecture, game design, and more, installable via npx skills add.
Claude Code skill plugin for cleaning up and bringing Lean 4 code to mathlib standards.
A structured markdown reference for AI coding agents covering production-grade TypeScript, React, and Next.js patterns.
Generate automated daily progress reports from site data. Track work completed, labor hours, equipment usage, and weather conditions.
Create interactive KPI dashboards for construction projects. Track schedule, cost, quality, and safety metrics in real-time.