Awesome GitHub RepositoriesInteractive Tutorials

seL4 is a formally verified microkernel whose C implementation is backed by machine-checked mathematical proofs of correctness, confidentiality, integrity, and availability. It enforces strict isolation between processes through hardware-enforced address space separation and a capability-based access control system, where each process holds explicit rights only to the resources it has been granted. The kernel exposes hardware resources through a minimal API of system calls that manage threads, address spaces, and inter-process communication, with synchronous IPC supporting sender-identifying b

该项目是一个交互式教程生成器和静态网站生成器，可将 Markdown 和 Google Docs 等源文档转换为结构化的教学指南。它作为一种文档转换工具，将源内容编译为静态 HTML 资产和元数据，以便分发给公共或私有受众。 该系统利用自定义元素 UI 框架，使用标准 HTML 自定义元素嵌入交互式教学组件，无需依赖外部 JavaScript 框架。它支持多格式内容导出，允许将单一事实来源转换为包括 HTML 和 Jupyter Notebook 在内的多种目标格式。 该平台提供教学内容管理功能，通过元数据和标签将教程组织成主题集合和落地页。它涵盖了完整的发布生命周期，从本地预览托管和静态资产生成，到部署至云存储，以及通过集成分析工具跟踪用户参与度。

这是一个交互式命令行编程课程集合，专为 swirl R 包设计。它提供了一个结构化的课程体系，通过命令行界面中一系列引导式的自学练习来学习 R 编程和数据科学。 内容涵盖了广泛的数据科学教育，包括语言基础、数据清洗与处理、统计分析和数据可视化。它还包括专注于软件开发实践的教学模块。 这些课程被开发为课程和提示的模块化层次结构，并打包成 R 包进行分发。课程材料托管在远程仓库中，允许用户直接将教育模块下载并安装到自己的环境中。

EAIntroView is an onboarding UI library used to build sequential introduction and welcome screens. It functions as a customizable walkthrough and interactive tutorial framework for creating guided tours and step-by-step instructional guides. The library features a coordinate-based layout engine that defines UI element placement using coordinates and offsets mapped to individual pages. It includes an event-driven UI component that triggers specific logic and animations based on page transition and visibility events. The framework manages view navigation through a navigation-controlled introdu