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

This project is an interactive tutorial generator and static site generator that transforms source documents, such as Markdown and Google Docs, into structured instructional guides. It functions as a documentation conversion tool that compiles source content into static HTML assets and metadata for distribution to public or private audiences. The system utilizes a custom element UI framework to embed interactive instructional components using standard HTML custom elements, removing the need for external JavaScript frameworks. It supports multi-format content export, allowing a single source o

This project is a collection of interactive, command-line programming lessons designed for the swirl R package. It provides a structured curriculum for learning R programming and data science through a series of guided, self-paced exercises delivered via a command-line interface. The content covers a broad range of data science education, including language fundamentals, data cleaning and manipulation, statistical analysis, and data visualization. It also includes instructional modules focused on software development practices. These lessons are developed as a modular hierarchy of courses an

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