Havuz

Kodeida — a game where your code moves the hero: LeetCode techniques in the worlds of Ukrainian literature. TypeScript, JavaScript and Pytho

Local-first handwriting studio for study-ready notebook pages, stylus annotations, and replay exports.

Smart Learn - Claude Code interactive learning skill. Feynman Technique five-step pipeline: concept map + Feynman explanation + self-test +

AI-powered dyslexia intervention platform — adaptive reading exercises that adjust to each learner's specific decoding errors.

学练agent-应试学习,学习ai,题库搜索,练习反馈。StudentBuddy：面向编程入门与自学的开源 AI 学习 Agent，串联资料共读、出题作答、逐题解析与知识复习；支持 Windows 本地版和自托管。

A text-based, deterministic music programming language and engine.

Learn DevOps, Cloud and AI by doing: a real terminal, tasks graded on real machine state. Runs on Windows, macOS and Linux.

🐳 AI 驱动的开源交互式学习引擎

AI-generated, print-ready exam sheets for Indonesian elementary teachers — Built with Claude Opus 4.7. React 19 + Hono + Effect-TS.

A free, open GenAI curriculum built from scratch. Start from zero, build real projects, and work your way up to production AI systems.

Daedalus CRM — 跑在你自己电脑上的 AI CRM。Mac / Windows 桌面端：个人版免费，团队版按席位收费、客户数据加密同步。AI-native CRM desktop app for macOS & Windows — free for individua

Watch a real AI model think - live 3D visualization of a transformer's actual forward pass: tokens, embeddings, attention, neurons, sampling

私教.skill — 输入任何想学的技能，蒸馏出一个带你从 0 学会它的有状态私教 skill

四六级/考研英语 AI 陪练：阅读证据、听力复盘、长难句、作文批改与复习计划。刘晓艳风格，非官方。Chinese CET-4/6 & postgraduate English tutoring Agent Skill.

个人部署的课程学习工作台：左侧读教材，右侧与 Coding Agent 对话，生成讲解、习题、思维导图、知识图谱与 LaTeX 课件

A local evidence workbench for researchers and students: search PDFs and notes, build cited AI context packs, and audit quotations. CLI, bro

面向义务教育教材的 AI 知识抽取与交互式知识图谱平台，支持 PDF 解析、知识点提取、向量检索、前置关系构建及 MCP 查询服务。

A desktop SQL learning workspace that brings local SQLite, an AI tutor, visual schemas and hands-on practice together through a coordinated

Learn No-Limit Hold'em by playing it: live coach, hand grading, lessons, and leak detection. NLHE trainer vs 5 AI personalities.

AGENTIC · LEARNING — Hand this repo to your agent. It interviews you, hunts down the best sources in the world on your subject, and builds y

The free and open source conversational language tutor for iOS.

数学建模项目与资料库：竞赛论文、可运行代码、历年赛题、优秀论文与常用模型案例

PeriodicPortal - A modern, highly interactive, and responsive educational web application to explore the 118 chemical elements of the period

Self-hosted AI presentation generator: topic or sources in, researched themed editable PPTX and report out. Docker, BYOK or Ollama; 74 slide

An Agent Skill that makes any AI explain like Richard Feynman: mechanism before name, one honest analogy with its limits, and a ladder from

Live, interactive, byte-accurate visualizations of how computers actually work — 300+ tested topics across networking, cryptography, distrib

A live 3D map of space in your browser: satellite tracker, planetarium and narrated trips. Free, open source (MIT), no account, no build ste

本地运行的高中数学题库与组卷备课工具：PDF/Word 智能拆题、LaTeX 公式渲染、AI 辅助分类。解压即用，数据不出本机。派生于 MathBank。

面向中国大陆一年级小学生的人教版语文 2024 版同步互动学习网站，注重本地数据保存、隐私保护与家庭陪伴学习。

Free, open-source, self-hosted candlestick replay practice tool (K線操練場). Local-only, no account, no subscription. Educational only.

Syntax: Guia interativo focado no aprendizado de comandos do terminal Git. Uma ferramenta da Linhagem SPARK para desenvolvedores que buscam

🎓 Platform Inovasi Teknologi AI dengan Asesmen Diagnostik Adaptif Pemulih Literasi Membaca (Web Control Center)

Interactive Git exercises for Quarto: a real Git repository in the reader's browser, with a task checklist, live diagrams, and a mock remote

Thinking-native compiler for LEET Language Understanding item sets — killer-item design grammar, verification separation, deterministic gate

Diagnosis-first Agent Skills that turn AI from answer machine into learning tutor.

デバッグ能力を「鍛える」と「測る」を1つにしたBtoB向けの仕組み。AIは答えではなく段階的な問いを返し、業務を止めずに技術力が育つ。到達度・正答率・成長率を5軸で可視化し、人事評価の客観的な根拠として使える。

15-minute beginner coach for Guan Dan, a Chinese four-player partnership card game — deterministic rules, fair AI, memory drills and replays

Interactive physics & CAE simulators. 1600+ educational tools with live demos at https://novasolver.jp

Aster describes what a lecture video shows but never says, so blind and low-vision students can follow it

IELTS Writing marker: band scores for all four criteria, every mistake marked in your text, and a plan for your next band using OpenAI API

Official documentation repository for CeloHT. Comprehensive documentation covering architecture, governance, APIs, education, developer guid

Official research repository for CeloHT, containing research papers, RFCs, technical specifications, architecture, security studies, and evi

Illustrated comic-style cheat sheets for ML, LLMs, AI safety, LeetCode and Git, plus a SwiftUI study app (Panels) to read them and quiz your

Brightspace D2L MCP server for Claude, ChatGPT, Cursor and Copilot. Knows what you already handed in, so it only tells you what is actually

面向杭电「上课啦」的 Windows 课堂辅助工具，支持本地语音识别、关键词提醒与可选签到辅助。

打开这个文件夹，就有一位一对一导师。A Markdown teaching protocol that turns any AI tool into a one-on-one tutor.

Image2-first Codex skill for generating PPT page images, QA contact sheets, PPTX wrappers, and timed scripts.