PDFToQuiz是一个在线平台，能够将您的PDF文档转换为引人入胜的测验，特别适合教育工作者、学生以及任何希望提升知识的人。用户只需上传PDF，选择要学习的页面，系统便会自动生成多项选择题测验，简化了学习过程。

Goat是一个经过微调的LLaMA模型，专注于数学运算，特别是在算术任务上表现优于GPT-4。它在大数加法和减法上达到了近乎完美的准确性，并通过监督微调提升了算术任务的性能，适合在24GB VRAM GPU上使用LoRA进行训练。

阿波罗11号任务模拟，包括1969年历史性月球着陆所使用的阿波罗导航计算机（AGC）软件的完整源代码。

XiYan-SQL是一个针对自然语言转SQL任务的多生成器集成框架，旨在提高大型语言模型在生成SQL查询方面的性能。它通过整合多种生成器，优化文本到SQL的转换准确性，并兼容多种数据库，提供用户友好的接口，适用于各种场景。

一个用于MIT 6.S983安全硬件设计课程的实验室代码库，帮助学生理解现代硬件中的安全问题及解决方案。该项目包含多个实验室，涵盖不同的安全攻击和缓解措施，支持浏览器侧信道、缓存侧信道等多种攻击实验，并提供针对CPU的Fuzzing测试。设计旨在教育目的，便于学生实践和学习。

用纯C语言编写的GPT模型，旨在从零开始构建深度学习模型，教育开发者如何从底层构建复杂系统。该项目帮助开发者深入理解深度学习的基本原理，并提供了高效的内存管理和性能优化，从而让学习者能够在实践中掌握相关技术。

autopilot是一个基于Elixir语言实现的SpaceX ISS对接模拟器自动驾驶仪，旨在模拟和自动化空间对接过程，提供教育和研究支持。

octox是一个类Unix操作系统，灵感来自xv6-riscv，但完全采用纯Rust实现。从内核、用户空间、mkfs到构建系统，尽可能使用安全的Rust编写，没有依赖外部crate。

Codapi是一个支持任意编程语言、数据库或软件的沙盒工具，旨在为文档、教育和娱乐提供互动代码示例。它可以将静态代码示例转换为小型代码播放器，轻量且易于集成，满足不同用户的需求。

这是一个自然语言处理系统，旨在根据给定文本自动生成阅读理解问题，帮助用户提高阅读理解能力。它支持多种问题类型，并提供可定制的生成选项，适用于教育领域的各种场景。

Visla是一款综合性视频讲述平台，通过集成先进的AI功能，简化视频创作过程，提供多种工具以满足市场专业人士和HR部门等多种用户的需求。

ELI5是一个利用AI技术简化复杂概念的平台，旨在为教育者和学生提供易于理解的学习体验。它包含课程规划、思维导图和各种内容生成器等功能，帮助提升教育参与度和理解能力。

Coin Snap是一款强大的移动应用，利用AI驱动的图像识别技术，能够在几秒钟内准确识别任何硬币。用户只需打开应用，将硬币对准相机框架并拍摄清晰照片，应用将分析图像并提供硬币的详细信息，包括面值、来源国家及其他相关信息。