#学习教程
200
2026-09-01
mizorewww/course2md
A
Turn YouTube, Bilibili, or local course/meeting recordings into slide-illustrated Markdown and HTML lecture notes.
2026-09-10
aycibatuhan/nervous-system-atlas
A
A browser-based 3D atlas of clinical neuroanatomy in MNI152 space: 592 meshes with synchronised MRI slices, arterial territories, traced pathways, a syndrome and lesion mode, clinical topics, a glossary and a quiz. Every entry cites open-access sources. English and Turkish.
2026-08-30
Show HN: SubSmith – Turn your own videos into language-learning material
A
I've been learning Japanese for a few years and kept running into a similar problem. I'd find a video I wanted to learn from, hear a useful sentence, and then realise that turning that sentence into something I could study later was both time consuming and draining at times. I would end up jumping between a video player, subtitles/transcription, a dictionary, screenshots, audio clips and Anki. So I built SubSmith to bring that workflow together. You can drop a video or audio file into it, generate a transcript locally and then use the transcript alongside the media to: * look up words and sentences * replay individual lines * edit the transcript * save useful sentences with their original context/audio * export them as Anki cards The important part for me is that it works with your own media. It isn't tied to a particular streaming service or library, so I can use the random anime episode, podcast, lecture, etc. that I'm actually interested in studying. It's an offline-first desktop app, and transcription happens locally rather than sending the media to a transcription API. I'm sharing it here because I'm now more interested in finding out where this workflow breaks down for other people rather than adding features randomly now that I have solid core/base. For example: * Would you actually save sentences from your own media? * Which part of this process feels like too much work? * Does having the audio/context attached make creating an Anki card more useful? * Would you prefer this to work inside your existing video player/browser? * Is installing a desktop app a significant barrier? * And does requiring an account before starting the free trial make you give up? The current version does require an account to start the trial, and I'm trying to work out whether that's meaningful friction for the people who would actually use this. It's free to try, and I'd particularly appreciate feedback from people who already learn languages through their own videos, anime, films, podcasts or other media. I'm the developer, so I'll be around in the comments to answer questions and discuss how it works. https://subsmith.app
2026-11-09
ArneshBanerjee/gpt2.s
A
GPT-2 small (124M) in hand-written AArch64 assembly. No libc calls. About 100 tokens/s on an M1.
2026-10-24
ivarvong/lantern
A
Animated, steppable code explainers. Zero-dependency TypeScript, SVG output, browser and Cloudflare Workers.
2026-10-17
liangdabiao/whiteboard-teacher-video
A
图文讲解视频 skill** —— 把讲解稿变成「手绘会动的画面」讲解视频。 图形由代码逐笔绘出、文字逐字写出、讲到哪画到哪。五套风格可选，本地 Chrome 渲染，**零生图 API 成本**，任何改动秒级重渲。
2026-09-24
drJhonatan00/PianoStudio
A
Piano Studio is a responsive browser-based piano workspace that turns a sheet-music image into a playable sequence. It combines a polished virtual piano interface, real acoustic piano samples, local file handling and an optional Optical Music Recognition (OMR) pipeline.
2026-10-07
daveyburke/picofold
A
A *minimal* protein structure predictor written in ~200 lines of *readable* PyTorch.
2026-10-13
recepyagmur/EnglishPractice
A
Yerel, çevrimdışı ve taşınabilir İngilizce pratik uygulaması (Türkçe konuşanlar için): yapay zekâyla sesli/yazılı sohbet ve anında düzeltme, A1–C1 dersler ve sınavlar, Türkçe sesli öğretmen, kelime ve kalıp çalışma, YDS tarzı süreli testler. Windows ve Linux. Ollama + Gemma 4, Whisper, Kokoro, EMA Lightning.
2026-10-16
yanxuceo/knoedel-watch
A
Animated vocabulary cards for learning languages, on an ESP32-S3 (M5Stack StopWatch). First course: German.
2026-10-04
sebastianhaba/book-to-course-skill
A
Claude skill that turns a book (EPUB, PDF, HTML, DOCX, Markdown) into an interactive beginner-friendly course: step-by-step lessons, animations, quizzes, chapter tests, flashcards and coding exercises checked by unit tests, with progress saved to files.
2026-10-01
Show HN: Lathoa, a math app for kids where the AI is wrong on purpose
B
I made this for kids around 10 to 14. A robot called Errol solves a math problem step by step and one of the steps is wrong. The kid has to find it and say what's wrong with it. Sometimes nothing is wrong, so just saying "there's a mistake" every time doesn't work. The user needs to enter an explanation if she finds an error to gain more XP; speed matters also for more points. There is no direct interaction or chatting with an LLM. Lathoa's harness is stable and has many evaluation steps to catch inconsistencies and prompt injections. You can play one on the homepage without signing up. The part that surprised me: it's hard to get an LLM to be wrong on purpose. Half the time it gives you the right answer and calls it wrong, or a "mistake" that's actually correct. So every case gets checked before a kid sees it. Where it can, a plain arithmetic check redoes the math exactly. A second model also solves the problem without seeing Errol's work. If anything disagrees, the case is thrown away. The weak spot is that the second model can make the same mistake as the first. The arithmetic check is there for that, but it only works on English cases so far. German and Greek write decimals with a comma and I haven't got the parsing right yet. What I'd really like to know: does finding someone else's mistake teach anything that solving the problem yourself doesn't? I'm not sure, and I'd like to hear from people who teach.
2026-09-28
bddicken/formula1
A
Interactive, explodable 3D F1 car explaining the 2026 FIA technical regulations (three.js)
2026-10-09
Odyphus/MathModel-Copilot
A
面向国赛 CUMCM、美赛 MCM/ICM 的数学建模 AI 助手与 Agent Skill：审题、模型比较、Python 运行、结果核验、论文辅助和团队协作。Mathematical modeling AI copilot for CUMCM and MCM/ICM, with reproducible workflows and a local workbench.
2026-09-24
amitshekhariitbhu/ai-engineering-course
B
AI Engineering Course - A free and complete AI Engineering Course to learn AI Engineering step by step - from Machine Learning, Neural Networks, and Transformers to LLMs, Fine-Tuning, RAG, AI Agents, LLM Inference, Evaluation, AI Safety, and AI System Design.
2026-09-19
lunaperegrina/study-reader
A
Open .study course format + KOReader plugin: turn any material into interactive courses on your e-reader
2026-08-27
sahroush/profdash
A
Self-hosted professor outreach tracker for prospective CS grad students: CSRankings import, AI-assisted scoring, Gmail reply scanning, local-first dashboard.
2026-08-23
Yeq6X/mazelingo
A
Sentence-level bilingual mix translator — Chrome extension (MV3). Read the web with your two languages mixed sentence by sentence.
2026-10-27
boyuchengz/canvas-mcp
B
Read-only MCP server that connects Claude, ChatGPT and other AI assistants to Canvas LMS.
2026-10-14
Show HN: Guitoro, a virtual guitar you strum with your keyboard
B
Guitoro is a free browser guitar using recordings of real instruments. You can strum with your keyboard, mouse, or touchscreen, choose acoustic, classical, electric guitar or bass, and see chord fingering and each stroke. Song practice can be slowed to 20%, and there are free chord tools and tuners. No signup or download. 1 minute video demo: https://youtu.be/DtcluMLdSgs I would love feedback on how the strumming feels and sounds.
2026-09-29
santtiago49/system-design-trainer
B
Whiteboard for practicing system design interviews with a live capacity model
2026-09-26
amitshekhariitbhu/ai-system-design
B
AI System Design - Learn how to design AI systems built on LLMs, RAG, and AI Agents step by step.
2026-09-19
TianyuCodings/NanoJev
B
A nano replica of Jev: parallel decisions, dynamic candidates, and an end-to-end training pipeline.
2026-10-01
Jinssi/AuthFlowMap
B
Interactive map of OAuth, Conditional Access, Entra Agent ID and MCP authentication flows, step by step
2026-08-25
JokerQianwei/squirrel-english
B
基于 鼠须管（Squirrel） 的 macOS 输入法，在中文候选词后显示英文翻译，帮助用户在日常输入时学习英语。
2026-10-28
dongtaowei54-sys/root-word-animation
B
英语词根记忆短视频生成器：一条线 + 一颗球，把词根演成 9:16 记忆短片（design table → SVG 动画 → edge-tts → 逐帧渲染 → 五道校验）
2026-10-17
remnient/liveness
B
Verified dead store elimination in Lean 4 with a proved terminating liveness fixed point
2026-10-15
assafkip/claudemy
B
Claudemy: an open-source alternative to Udemy and Coursera. Give Claude a topic, it researches the web and builds a course of 2-minute audio lessons with cited sources. A free Claude Code skill.
2026-09-27
brumar/chess-postmortem-skills
B
Claude Code skills for chess post-mortems: Stockfish-backed annotated PGN, HTML viewer, narrated video
2026-09-24
1612535983/deepreseach-learing
B
Recoverable and auditable deep-research agent built with LangGraph. It plans research, searches the web, manages evidence and context, resumes interrupted runs, and generates cited reports—also designed as a learning reference for AI Agent enthusiasts.
2026-09-12
rodrigoscharp/Devspeak
B
A Claude Code plugin that coaches Brazilian developers on technical English for international remote jobs through role-play with a fictional international team, practicing on your own real code.
2026-09-07
choxos/OMFAtlas
B
Interactive 3D atlas of oral and maxillofacial anatomy for dental education. 643 BodyParts3D meshes plus 77 schematic nerve, vessel, gland, sinus and joint structures the source dataset omits, fitted to this skull's own landmarks.
2026-10-26
hieu-lee/arxiv-cli
B
arx: token-efficient, concurrent arXiv CLI built for LLM agents (Rust)
2026-10-10
haiderfarooq3/khan-explainer
B
Claude Code skill: Khan Academy style explainer videos. A pen draws while a voice explains. Free, local, no API keys.
2026-09-30
12-Twelve-12/robolings
B
Small exercises for robot learning, rustlings style: kinematics, dexterous hands, control, diffusion policy, flow matching. NumPy only.
2026-09-28
baraklevy20/memory-forest
B
Memory Forest: an Anki add-on that grows a forest from your study history, one tree per day.
2026-09-19
nclamvn/human-atlas
B
Cơ thể người — Atlas giải phẫu 3D tiếng Việt, WebGPU/Three.js, mô hình nam và nữ, bài học tương tác.
2026-09-11
Show HN: What if the speed of light was 5 km/h?
B
I've always wanted to make a visualization where the speed of light was scaled down to human speeds, so that we could intuit relativistic effects with everyday objects. Here is the first version of it!
2026-09-10
liangdabiao/whiteboard-explainer
B
白板讲解动画 skill。把讲解稿变成「真手绘过程」视频——图形一笔笔描出、文字逐笔写出、讲到哪画到哪（帧级音画对齐）。 > 本 skill 是**像素级笔画绘制**——帧帧确定、本地零成本、可秒级重渲，且支持"一图逐元素生长"的单画布模式（数学推导/流程图 友好）。
2026-09-06
mini-harness/mini-harness
B
A small, complete Python agent harness: tools, compaction, retries, and a single-file TUI. Built to learn and use as a baseline.
2026-10-12
Show HN: BraiNOTES, handwritten notes on your lecture PDFs in a browser tab
B
In August, I posted here about TeXbrain, a LaTeX editor that runs completely in the browser, with no need for an account or server. (I didn't excpect it to get that much feedback, bug reports and help from here!) This is the same idea for the other half of my studies, the handwritten notes. I take them on a convertible laptop, and I've had a hard time with apps for that, taking notes from a device to another, exporting as PDF, needing an account for many of them, etc. So I've been working on the version of it that I always wanted. Open a tab, the slides of the lecture or multiple PDFs open next to the page or even become the page, write on them with my pen, and nothing ever leaves my browser. braiNOTES is a static website and has no backend. Strokes are perfect-freehand outlines which support pen pressure, the PDF files are rendered by pdf.js in a worker, and for storage it uses IndexedDB a moment after every change. No account, no analytics, and completely offline and local-first. You can export notebooks as .brainotes files, which in the background is a zip with one json per page + the PDFs and pictures you import. It keeps the original pages and puts the vectorized ink on top, this way the text stays selectable in the slides. You can try it here: https://notes.swimmingbrain.dev GitHub Repo: https://github.com/swimmingbrain/brainotes (MIT) In Study mode, the PDF opens on the side of the tab, you can read it simultaneously to the notes, snip a formula or diagrams directly into the notes with the snip tool, and then write around it. In Board mode, you have just a Whiteboard for tutoring or simply for more place for exercises, and can also highlight or draw things with the laser pointer tool while presenting. The line of the ink appears the moment the pen moves, and a one euro filter calms shaky hands while you write + a light a refit when you lift the pen. I also have a video editor and an animation tool which are still a work in progress, on the same GitHub profile. I'm also working on a MCP server for each tool, so you can use your MCP client to do further things with your notes, automatically edit videos on the video editor, etc. That feature will of course be off unless you turn it on and will only be able to talk to localhost. I've used this tool for every lecture in the last few months and a few friends use it too. Bug reports, fixes, recommendations, feedback are all welcome!
2026-10-10
frypan05/philosopher-OKF
B
Agent skill that turns any topic into one self-contained HTML study page: minimal, light focused, research-paper styled.
2026-09-10
dmoshehun-prog/learn-from-materials
B
Turn PDFs, books and papers into interactive learning webpages｜将复杂材料转化为可追溯、可测验、可做笔记的学习网页
2026-09-07
haojing8312/cn-k12-math-knowledge-graph
B
Open prerequisite graph and interactive 3D explorer for China K12 mathematics
2026-08-29
TunaaaAaaaa/miniEvoAgent
B
A simple, feasible repository to reproduce and learn self-evolving/recursive self-improvement agent.
2026-10-14
AirsupHQ/machine-skill
C
Describe any machine in one line. Claude builds a photoreal, physics based, interactive simulation of it in one HTML file, plus the film to post it. An open source Claude Code skill.
2026-10-08
pjwang2022/trace-by-hand-whiteboard
B
A digital whiteboard for tracing algorithm problems by hand (LeetCode), 7 languages. Live: https://draw.prod-stack.com
2026-09-19
lucidrains/stack-attention
B
For following a line of research that augments attention with a differentiable stack, beginning with DuSell et al. at ETH Zurich
2026-08-31
Show HN: Academa – Long-form STEM lecture videos generated by LLMs
C
Hi HN, we are Sina Atalay and Abdullah Geduk, co-founders of Academa. We are both PhD students. We thought: what if lecture videos were written as code and compiled into video using computer graphics and TTS? Then LLMs could write them, and lectures could be fixed with code edits instead of video production. On correctness: LLMs may make mistakes. But these videos are code sitting in our repository, and we can maintain them. Every report and review becomes a fix in the source, and everyone who watches after that gets the corrected lecture. Every recorded lecture on the internet is stuck with its mistakes. Ours will continuously improve. Each video also comes with an AI chat that understands everything said and shown in the lecture. There is a longer write-up at the bottom of the page. Happy to answer any questions.
2026-08-23
itshen/source-reading-methodology
C
带 AI 精读大型开源仓库的方法论：四阶段流程、可复用模板、28 条踩坑清单，核心是让每个技术论断都可回溯到源码具体行
2026-10-29
undefined-ui/explain-skill
B
Karpathy's output ladder as a Claude Code skill: ASD-STE100 text, technical-sheet diagrams, interactive HTML, and 3b1b-style narrated explainer videos.
2026-10-14
kobebeefg/ikea-clock-lab
B
Bilingual IKEA KORTLINJE LED panel hack and Wi-Fi clock tutorial
2026-09-13
m0m0x01d/strata
B
See why a web vulnerability works, not just how to trigger it — a single-file, zero-dependency security lab that renders a vulnerable app as a 7-layer cross-section. 17 labs, attacker & defender modes, AI-authorable.
2026-09-02
gokayfem/h3-max-education
C
Realtime interruptible science tutoring with continuously generated H3 Max video.
2026-08-27
picodoki/linux-privesc-lab
B
Linux 权限提升漏洞靶场（linux-privesc-lab) : 17 个独立 Docker 漏洞环境（sudo、SUID、capabilities、cron、/etc/passwd、/etc/shadow、LD_PRELOAD、BASH_FUNC、MySQL UDF）每个环境包含一键利用脚本、手动分步教学与原理详解，开箱即用，镜像加速，类似vulhub靶场
2026-08-23
preporato/claude-certification-guide
C
Study guides for all Anthropic Claude certifications: CCA-F, CCDV-F, CCAO-F, and CCAR-P. Exam domains, comparison, study paths, free practice resources.
2026-10-23
Liter4553/korkana-ime
B
한글 발음대로 치면 일본어가 나오는 Windows 전역 IME. 하지메마시떼 → はじめまして, Space 로 한자 변환.
2026-10-23
Show HN: OnKey – I'm a bad singer, so I built an app to show where I'm off-key
C
Hi all I was pretty terrible at singing, now I’d say I’m bad but not terrible. This is because I’ve been using a singing app (won’t name it here) that scores me on my pitch and timing throughout the song so that I can improve. Lately however, the app I’ve been using has flooded their song list with songs that aren’t originals. I didn’t like this at all as for me, it’s easier to try to improve when you’re singing along to the original. So, I asked an agent (Claude Code) if it could write some code to listen to Spotify and also listen to me and see if it could detect both pitches and score me. It impressed me by writing some Python and showing me my pitch in the terminal! It couldn’t go all the way though and detect the singer’s pitch in real time. So I found the next best setup and built OnKey, a Mac app that needs to listen to the song once (it doesn’t save it) and then when it’s learnt the song (takes a couple of minutes), you can sing along to the pitch track that it’s learnt. OnKey is free to use and open source under the MIT license. It can listen to Spotify, Apple Music, and YouTube playing in your browser with the right permissions. During the build I found that someone had done something similar in Nightingale, but this requires a library of songs exported to disk and who has this in 2026 (maybe some of you ;) - but we need to help the normies too). You can check out a demo video on the site of me singing (warning given) here: https://singonkey.app The app sends out to find the song info (short Shazam fingerprint, and looks up song details), lyrics (from LRCLIB), and checks for updates. The app never sends the music (it doesn’t save this to disk) and your voice. Everything you’d expect to stay private does. It’s still weak in a few places: - when the song’s backing is noisy it’s hard to pick the pitch track out - sometimes it gets a note an octave off - it’s limited to Apple Silicon Macs, M1 or later, and only macOS 14.2 up because extra drivers aren’t required past this point - the scoring is built for beginners like me so it’s fairly easy on you Would love for people to try it out and let me know what works and what doesn’t for them!
2026-10-16
spf13/cli-style
B
CLI Style — The 56 principles of command-line design for humans and AI agents (Agent Skill)
2026-10-13
knowledgefxg/Transyt
B
Turn a YouTube video or a local file into a subtitled video on your own computer, and keep the Chinese and English subtitles, transcripts, and vocabulary so you can study with the picture.
2026-09-19
jaredpalmer/kev
C
tiny Jev-like model built on top of Qwen2.5-0.5B you can train and run on your MacBook
2026-09-04
vamp1nn/vanguard
B
Compiler and offline partial evaluator aimed at the 3 futamura projections
2026-10-25
richiewillmott/Wirely
B
Free, open-source circuit design and simulation app. Draw a circuit, press play, watch it work: glowing LEDs, spinning motors, 555 timers, logic chips, op-amps and a live graph. For the workplace, the classroom and the workbench.
2026-10-22
duliangkuan/deepinfer-studio
C
Browser-based educational inference simulator and learning workbench. No GPU required. Real server integration and desktop app planned.
2026-10-11
percentwasphose/itmo-schedule-calendar
B
Расписание ИТМО в календаре: ICS-подписка и read-only CalDAV для Apple Календаря, Google Календаря, Thunderbird, DAVx⁵, Outlook, Nextcloud и Android.
2026-09-29
AirsupHQ/airsup-lab
B
Machines you can take apart in your browser: fusion reactor, Raptor 3, Cybertruck, humanoid, black hole, fighter jet engine, F1 car, drone. Three.js, procedural, real physics.
2026-09-27
itsAalaa7/adhd-study-coach
C
ADHD-friendly study companion agent for Claude Code: spaced repetition, small-chunk teaching, Feynman reflection
2026-09-23
secwind7/polytech-tree
B
Interactive 3D map of the human tech tree, from the first stone tools to 2024: technologies stacked as a tower of eras in three.js, with prerequisite and relation edges, hover cards and a guided camera tour. All data lives in plain JSON, so adding a technology, era or domain is one pull request away.
2026-09-07
joaocarvalhoopen/RISCV_computer_emulator_running_Linux_in_1750_lines_of_Odin
B
A surprisingly fast and simple, yet really cool 64 bits project to learn from.
2026-09-02
jonathanhawkins/microduck-lab
C
Train RL policies for the Pollen Microduck 🦆 on an ordinary Mac, no CUDA GPU, and watch them learn live in the browser.
2026-08-25
KurosawaGeeker/femboy-skill
C
面向 MTF、crossdresser 与性别多元成年人的中文 Agent Skill，基于生如夏花知识库并加入医学安全护栏。
2026-08-25
vukrosic/tiny-reasoning-rl-lab
B
Train a tiny transformer with verifiable arithmetic rewards and group-relative reinforcement learning on CPU.
2026-11-09
MithrilMan/voice-workshop
B
Interactive, physically based simulator of human voice production in the browser: a buzz, a hiss and a filter
2026-10-05
Show HN: Build with Python – a beginner course where your code draws
C
Hi HN, I built this because I watched my daughter struggle at learning Python. I made something that runs only in the browser with visuals rather than relying on CLI/terminal output. No need to worry about python installation, package versions, venv etc. The lab runs with Pyodide in a web worker, and the program output is a picture by the side of the code block. A user would experiment with the code, and see the immediate changes in the visual output. The course has 13 modules, with the first 6 foundation modules free, module 7-13 with free readings but guide labs for a one-time price of $49. Please give it a try at https://scimigo.com/en/learn/build-with-python Send me feedback on the UX and on the exercise design, especially if you teach kids to program. I am also working on a C++ version for beginners (also with browser, no gcc or command lines). stay tuned.
2026-09-25
Kenton-GMI/muster-ww2
B
Muster: a hands-on 3D archive of WWII military models. Browse, configure and arrange soldiers, tanks, artillery and aircraft on a diorama display. All models procedurally built in three.js + TypeScript.
2026-09-16
matchaDataHub/wortkiste
B
Free German A1–B1 vocab trainer: Goethe word list built in, Leitner spaced repetition, zero setup.
2026-10-24
openmathmodel/open-math-harness
C
The harness of Open Math OS, infrastructure for Math 2.0. Built for everyday math research.
2026-10-20
JieChiang/VRS-Zhiyuan-Recommendation
B
VRS志愿推荐系统：FastAPI + Neo4j + DeepSeek，浙江高考历史资料示例，含Excel数据模板。
2026-10-16
BeckyGlobal/PaidToStudyAbroad
C
高性价比人生指南·海外版：拿钱留学。出国留学奖学金、免学费、政府全奖、带薪读博，德国日本学手艺有人发钱，美加澳奖学金单独成节。不是你花钱去留学，是你拿钱去留学。70 条，只引官方来源。关注作者：微信视频号 Becky在地球村
2026-10-15
HyosungSink/CANN-AscendC-optimization-Cases
B
CANN 9.0+、Ascend A2/A3 的 Ascend C 算子级优化实战源码合集
2026-09-08
maverickgao8848/kouyu
B
A guided English speaking practice Skill with gentle correction and a local review workbench
2026-08-27
Ayueh0102/Ronnier-skill
C
色彩科學／色度學完整中文學習筆記，包裝成 Claude Code skill，也支援 Codex。涵蓋 CIE 色度學、CIEDE2000、CIECAM02、色適應與演色性。
2026-10-29
zklmiao/CodeWar
B
网页端 Python 编程对抗游戏：解题速度即战斗力 · A turn-based competitive Python programming game
2026-10-24
samyeei/mosaico-learning-assistant
B
ESP-Mosaico 学习助手：拍题选题、语音追问与朗读。v1.1.0 支持 Vibe Mode 0.2 / ABI 2。源码公开，禁止商用（PolyForm Noncommercial 1.0.0）。
2026-10-21
pnnnx/local-code-tutor
B
Fine-tune Qwen2.5-Coder-7B for free (QLoRA on Kaggle T4) and run a local coding agent that runs your code instead of guessing — 8 GB Mac, llama.cpp, LoRA weight analysis with charts
2026-10-16
ardiri/dev-palmos
B
Historical Palm OS development resources, SDKs, documentation and utilities
2026-09-30
Jeng-linLi/vocab-flashcards
B
單檔案英文單字閃卡工具：本地解析 PDF/PPTX/DOCX 取詞，內建離線詞庫，線上查詞走境內直連的百度翻譯與有道詞典
2026-09-20
Giulio2002/bend-sha256
B
SHA-256 in Bend with a machine-checked functional correctness proof against a separate FIPS 180-4 specification.
2026-09-19
jot-koehler/webuntis-family-cards
B
Family-focused Home Assistant Lovelace cards for timetables, homework, exams and school-day overviews from calendar entities.
2026-09-10
BillyJr0127/pc98-ai-localization-handbook
B
AI-readable PC-98 localization research handbook in Traditional Chinese, with FM/SSG, MIDI and PCM validation workflows and synthetic examples.
2026-09-07
int64ago/vistep
B
Visualize Every Step with AI — bilingual visual explanations, interactive models and synchronized narration.
2026-11-02
ilikechocopies/sideload-jiostb
B
Clean, step-by-step Windows 11 guide to enable ADB on Jio STB (JMSC200Av2 & JMSB200A) via local DNS spoofing & Docker containers. Tested on firmwares 22.1.09, 24.1.39, 25.1.9, and older builds (excludes JHS models). Includes foolproof network isolation steps, fallback troubleshooting, and Wi-Fi reset fixes for smooth sideloading.
2026-10-29
smithjohn78390/tongjiang-lab
B
Free interactive 3D science lessons for high school · 铜匠实验室 · https://lab.tongjiang.app
2026-10-26
designfuchen/word-atlas
B
词光 · Word Atlas — Illustrated IELTS vocabulary with 7,298 words, UK/US audio and FSRS review. Open-source app + CC BY 4.0 dataset.
2026-10-22
Show HN: Uberblok – an interactive museum of ZFS internals
C
I've worked for a long time in the storage field during my career and ZFS is the piece of engineering I admire most in that space. I wanted a way to pay homage to it and to explore and better understand its internals. So I built Uberblok: a museum of ZFS. A deep dive into copy-on-write, txgs, vdevs, RAID-Z, snapshots, the ARC, metaslabs, the ZIL, send/receive with explanations and animated diagrams. I'm sure people here know these internals better than I do, so corrections are very welcome. I built it with my agent swarm organization, Algotitan. I hope you'll enjoy the deep dive into Uberblok as much as I do. Museum: https://uberblok.storagebits.workers.dev Repo: https://github.com/algotitanhq/uberblok
2026-10-21
Shimingyi/awesome-animation-datasets
B
Every motion dataset in one place: 3D previews, measured hours, quality red flags. Human bodies, hands, interaction, animals, objects and robots.
2026-10-16
f3an/kodeida
B
Kodeida — a game where your code moves the hero: LeetCode techniques in the worlds of Ukrainian literature. TypeScript, JavaScript and Python, offline.
2026-10-14
Ivan666jjj/yigezi
B
一个字的一生 —— 简体 · 繁体 · 小篆 · 甲骨文：形音义族四维对照（10249 小篆 / 1425 甲骨文 / 9815 条《说文》 / 中古音 / 上古音 / 谐声系列）
2026-10-02
justxor/claude-code-pro-course
C
Claude Code PRO — полный курс и гайд на русском: CLAUDE.md, settings, skills, subagents, hooks, MCP, плагины, CI. 8 лабораторных, библиотека промптов и готовый starter-kit. Здесь бесплатные курсы по chatgpt -
2026-09-17
bytemonk-academy/owasp-agentic-lab
B
Weekend lab for the OWASP Top 10 for Agentic Applications. Build an agent, break it five ways, then harden it.
2026-09-07
ram0verflow/ram0verflow
B
A small Bitcoin-like chain whose canonical ledger is my README. Proof of work is subset-sum, not hashing.
2026-08-28
LuxUmbra697/luxumbra-ai-learn
C
AI-powered WeChat mini app for knowledge-base learning, quiz generation, and intelligent study reports. / 基于知识库学习、智能出题与学习复盘的 AI 微信小程序。
2026-08-23
dengzehan666-png/Review-RAG
B
面向 Java 面试和 LeetCode Hot100 学习场景，搭建集多格式文档入库、语义检索、知识问答、随机刷题及错题复习于一体的 RAG 系统。系统优先依据个人知识库生成答案，证据不足时调用通用大模型补充，并通过人工确认机制将优质回答沉淀回知识库。
2026-11-09
Saekisui/claude-p-pipeline
B
用自己的 Claude 订阅，把 claude -p 接成一条完整的聊天管线：流式、思考链、发图、MCP、skill、断线续接、进程管家。从零教程 + 可跑骨架
2026-10-26
cyyeh/agent-loop-visualizer
B
This project is for learning: it shows how an agent loop works underneath, in a way more intuitive and visual than reading about it. Behind an agent's chat box runs a loop: step after step, the model proposes an action and the harness carries it out, until it stops.
2026-10-16
bisimulationn/lambda-sub
B
Rocq formalisation of the lambda calculus with partial substitutions
2026-10-16
jackieoliver/french-weave
B
Learn languages from the English you already read: Claude Code, Codex, claude.ai, ChatGPT and Chrome
2026-10-10
engineerdiaa/portable-heart-led
B
An over-engineered LED heart keychain: 16 LEDs, Arduino Nano and a rechargeable LiPo. Schematic, code and full build guide.
2026-09-28
Adversarial-Detection-Engineering/adeskills
C
Adversarial Detection Engineering knowledge base — ADE taxonomy, worked technique files, platform bug patterns, mitigations, and purple-team scoping tooling.
2026-09-21
amitshekhariitbhu/ai-engineer-roadmap
C
AI Engineer Roadmap - A step-by-step AI Engineering roadmap to become an AI Engineer, with a blog for every topic.
2026-09-19
Meykiio/design-systems
B
Ten design systems. Ten files. No build step, no framework, nothing to install. Open one in your browser, copy the tokens, ship something that looks like yours.
2026-09-13
Chuloo/mural
C
The language app you eventually delete. A native iPhone companion for learning through conversation.
2026-09-10
marikagura/claude-agent-sdk-bridge
B
用 Claude Agent SDK 将订阅额度与完整 harness 接入自建聊天前端：与 claude -p 的差别、query() 参数、权限回调、固定前缀、提示缓存、登录态、Mac 与 VPS 部署
2026-09-08
adityatandon15/Forward-Deployed-Engineer-Full-Course
C
All Notes & Code for Forward Deployed Engineer series on CoderArmy
2026-09-04
worlyung/korean-layout-compositions
B
한국형 레이아웃 구성 도감 277종 — 구도·시각원칙·출판·한글조판·한국전통구도. 카드 한 장에 원리 하나.
2026-11-06
ninetyhe-90/training-explore
C
Interactive explorer for learning how large language models are trained
2026-10-22
Alexander-Qiu/nano-deepinfer
C
A small, readable inference engine inspired by DeepInfer. CPU first, built for learning.
2026-09-15
yijieyuan/kaggle-pokemon-tcg
C
1st-place solution for the Kaggle Pokémon TCG AI Battle Challenge
2026-09-10
IvanFitro/Learn-Rust-Attack-Vectors
C
A hands-on catalog of Rust web3 vulnerability patterns, built for a Solidity auditor learning the Rust attack surface.
2026-10-30
Sam1983Aing/flat-to-3d
C
Seven ways to turn a flat architectural drawing into 3D as you scroll. Live demos, full code and a starter prompt for each, all in three.js.
2026-10-21
shaom/keyboard-island
C
A playful typing adventure for kids: 96 chapters, collectible room decorations, and optional on-device face tracking.
2026-10-14
codingforentrepreneurs/crypto-dashboard
C
Demo of a Crypto Dashboard using TimescaleDB, Grafana, and TwelveData.com
2026-10-02
Minh141120/awesome-homelab
C
Your homelab, as a Git repository: free tools, real configs, and guides for self-hosting with GitOps.
2026-09-23
kydlikebtc/awesome-jev
C
805 verified examples of Jev — TypeSafe AI's System One decision model — indexed by the decision each one makes, not the blog that mentioned it. Every cited call site is re-read by CI each week. Bilingual EN/中文, JSON schema, and a cross-platform compatibility table.
2026-09-17
azizu06/ai-coding-interview-practice
C
Practice the AI-assisted coding interview format with your own coding agent: ten problems with planted bugs, stubs, timed tests, and an interviewer prompt
2026-09-01
caibucaiAI/obsidian-speaking-practice
C
把真实英语口语对话沉淀成 Obsidian 每日记录、单词本、反馈标签与周复盘的 Codex Skill
2026-10-26
cneuralnetwork/gopath
C
A local Go learning app with lessons, quizzes, and runnable practice.
2026-10-21
kad-xyz/spbstu-mcp
C
MCP server for SPbPU (Polytech) students: dl.spbstu.ru Moodle, university mail and openedu.ru for Claude
2026-09-30
tantelyorion/OLY-Lang
C
OLY — A 100% Malagasy programming language designed to make programming easier to learn. Compiled, educational, and open source.
2026-09-09
wzj52501/awesome-competitive-olympiad-algorithms
C
Original algorithmic contest problems and lecture notes — NOIP to NOI & ACM-ICPC level
2026-09-07
somerandomviolinkid/bob16
C
extremely simple custom 16 bit cpu emulator and assembler as seen on youtube
2026-09-04
dreamers-laboratory/timeseries-atlas
C
A map of modern time-series forecasting architectures, each with a short README and runnable code.
2026-09-03
GZWSAMA/guokeda-course-selection-simulator
C
一个面向中国科学院大学选课场景的离线模拟选课网页，支持课程检索、课表冲突分析与按时间推荐；个人选课数据仅保存在浏览器 Web 缓存（localStorage）中，不上传云端
2026-08-29
danromero/farcaster-client-agent-guide
C
Agent-first runbook and scripts for running the public Farcaster client in an iOS Simulator.
2026-10-29
xyzlll506/paperwalk
C
An AI skill that reads papers in full before guiding you through meaningful sections with original text, translation, explanations, and optional interactive teaching.
2026-10-22
einstine336/research-introduction-writing
C
Analyze, draft, or revise Introductions for computer science papers — especially ML, computer vision, NLP, multimodal learning, information retrieval, and data mining. Its guidance is distilled from a corpus of CCF A conference and SCI Q1 journal papers.
2026-10-21
BlaiseLabs/procedural-almanac
C
Procedural drawing and motion techniques, each with its sources and short tests
2026-10-15
yibie/awesome-rea
C
A curated list of AI-assisted reverse engineering: decompilation, recompilation and native ports, with how each project verifies correctness
2026-10-03
emmanuelygr/web-security-lab
C
Local, intentionally vulnerable Flask web app designed to teach HTTP basics and OWASP concepts.
2026-09-29
Auroranchen/-PCB
C
这是一个面向蓝桥杯单片机竞赛的 STM32G431RBT6 开发板，用嘉立创EDA专业版绘制，双层板、约 115×90mm，含 117 个元件、110 个网络、370 个过孔，已通过 DRC 检查。板上集成主控 STM32G431RBT6、板载 DAP-Link 调试器（STM32F103C8T6）、EEPROM、数字电位器、NE555 信号发生器、LCD 并口、按键与 LED 等丰富外设，原理图 10 页、外设接口齐全，适合竞赛学习与二次开发。欢迎大家前来学习，指点一二，或者在此基础上进行项目的推动
2026-09-29
upgundecha/awesome-cloud-emulators
C
A curated list of cloud emulators and local cloud development tools for AWS, Azure, and Google Cloud. Explore LocalStack, Moto, Azurite, Firebase, and more for integration testing and CI/CD.
2026-09-28
stormj-UH/spivak-lean
C
Michael Spivak's Calculus formalized in Lean 4: every theorem and every problem of all 30 chapters and 9 appendices, in both the 3rd and 4th editions
2026-09-23
spicylemonade/c-hd-proof
C
C-HD: Lean 4 proof package for a directed single-source shortest-path bound (snapshot 2026-09-20)
2026-09-16
Interactive-Active-AI/Aha-Looped-Transformer
C
An open, visual atlas of looped transformers, recurrent computation, adaptive depth, and latent reasoning.
2026-09-08
lucidrains/learn-attention
C
Sharing how attention appears in my mind's eye, for students and those interested in understanding transformers
2026-09-06
byRudra/AILeetHub
C
Push accepted LeetCode solutions to GitHub automatically, organized by topic, with AI-generated README explanations.
2026-09-05
emollick/alexandria-mouseion
C
Explore ancient Alexandria and the Library: a source-led 3D reconstruction, readable texts, bilingual ambience and optional Afterlives scenes.
2026-09-03
AaronChou313/UCAS-lessons
C
中国科学院大学 2026–2027 学年选课浏览与模拟工具。单个 HTML 文件，无需安装、无需联网，浏览器直接打开即可使用。
2026-08-31
joeynyc/awesome-microduck
C
A curated list of software, simulators, policies, agent tools and coverage for the Pollen Robotics / Hugging Face Microduck robot
2026-08-24
joeseesun/vocab-passport
C
FoloToy AI Passport 上的离线词根闪卡 | Offline word-root flashcards for FoloToy AI Passport.
2026-11-07
prabeakarve/microgpt
C
A from-scratch, dependency-free GPT implementation in pure NumPy: byte-level tokenizer, multi-head self-attention, Adam trainer, and top-k sampler.
2026-10-20
VictorTran1023/tcl-tv-adb-proxy
C
TCL 电视调试与优化手册：ADB 授权 · 侧载 · 代理 · 去广告 · 低负载 · HUD · 回归测试
2026-10-15
Show HN: A guided 3D Leonardo da Vinci museum, built in code
C
Hello HN, I am the founder of a small nonprofit which built Museum of Ages. We opened its first wing last week, a digital Leonardo da Vinci museum. It is a virtual tour with 17 stops, his works and then his last house in Amboise. The entrance is free. At the different stops you can see for example his paintings close to their real size, or 15 of his machines rebuilt in code, and you can have a look at 29 of his anatomy sheets. We also selected 207 of his manuscript pages which you can read in a virtual reading table, mirror the view to read his writing and 131 of the 207 are translated. We also rebuilt his last house in Amboise on the later stops of the walk. The museum is available in seven languages. Each stop has one of four grades as a label, documented, reconstructed, conjectural and not known. In a detailed view the user can have a closer look at the sources. The materials of the rooms and machines are created in Three.js. The museum runs with WebGPU. If the browser doesn’t support it, the fallback is WebGL2. To create the textures we used Creative Commons Zero photo scans (CC0) and for a few small objects we use free 3D models (CC0). Our mission is to create digital museums you can walk as not everyone can get to a museum, because illness or disability keeps them away. Some cannot afford the trip or just reside far away. So our goal is also to make our digital museums as accessible as possible. Therefore we also pre-rendered the walk so that it also works on older phones and is easy to use for older people. We released the code under AGPL-3.0. The texts and pictures are CC BY-SA 4.0. Reproductions have their own licenses. https://github.com/chipmates/museumofages We put a lot of time and passion into the museum and hope you like it. We are happy about any feedback. Which digital museum would you like to see next?
2026-10-01
Akun-python/autumn-recruitment
C
Autumn recruitment preparation for algorithm position. Contains categorized LeetCode solutions, enterprise written exam codes, interview experience and CS fundamentals notes including CN, OS and DB.
2026-09-30
hunkim/ai-is-fast-your-tests-are-slow
C
AI is fast. Your tests are slow. Research, a tutorial, and an agent skill for making test suites fast — in the AI coding era the bottleneck is testing.
2026-09-20
pallavi-shekhar/ai-engineering-interview-questions-company-wise
C
Your Cheat Sheet For AI Engineering Interviews at Top AI Companies - Questions and Answers.
2026-09-13
Shass27/stem-notes
C
A Claude skill that transforms STEM lecture slides, textbooks, problem sheets, and documents into LaTeX formula sheets, fully worked solutions, and summary notes. Automates the creation of professional study materials from any PDF, image, or office file.
2026-09-11
tue09/awesome-reasoning-generalization
C
Awesome paper list for reasoning generalization in LLMs.
2026-09-04
yibie/ai-native-sdlc-playbook
C
The AI-Native SDLC Playbook — Anthropic Claude Academy course as EPUB ebook
2026-09-02
wahidulalamriyad/full-stack-library-management-system
C
A teaching project for a 4-role library system: admin, librarian, student, visitor. Written in plain PHP with procedural mysqli and prepared statements. No frameworks, no Composer, no build step. Copy it into XAMPP and it runs.
2026-10-28
pierpont-morgan/gcp-free-vps-skill
C
实测跑通的 GCP Always Free VPS 全流程部署技能：先领 300 美元试用金和每月 10 美元额度，再建 e2-micro 免费机、预算告警、CDN 出站屏蔽、流量只限流、Debian 换源、dae 出站
2026-10-25
coder-irwin/voice-agent-workshop
C
🎙️ Local, open-source voice agent that talks back AND acts (opens YouTube, searches, scrolls). Workshop starter: whisper + ollama + kokoro + playwright