pedagogical

Smolts是一款面向SMoL语言的教学IDE，支持用户编写代码并以可视化方式单步调试，展示续延、环境和存储等概念。

kparser是一个小巧可读的K编程语言解析器，旨在作为教学参考，通过REPL以Lisp风格的嵌套列表形式打印AST，使K的语法易于理解。

本文介绍了 slidesqaqa，这是一个基于 Flask 的软件系统，能从 PDF 幻灯片中生成富有教学价值的问题。该系统采用四阶段大语言模型流水线，依次进行文本和图像提取、全幻灯片范围内的问题规划、幻灯片标注以及输出整合，在技术讲座幻灯片上展示了高保真的问题生成能力。