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

Ce projet est un générateur de tutoriels interactifs et un générateur de site statique qui transforme des documents source, tels que Markdown et Google Docs, en guides pédagogiques structurés. Il fonctionne comme un outil de conversion de documentation qui compile le contenu source en actifs HTML statiques et métadonnées pour une distribution à des audiences publiques ou privées. Le système utilise un framework d'interface utilisateur à éléments personnalisés pour intégrer des composants pédagogiques interactifs en utilisant des éléments personnalisés HTML standard, supprimant le besoin de frameworks JavaScript externes. Il prend en charge l'exportation de contenu multi-format, permettant à une source unique de vérité d'être traduite en plusieurs cibles, y compris HTML et notebooks Jupyter. La plateforme fournit des capacités pour la gestion de contenu pédagogique, permettant l'organisation de tutoriels en collections thématiques et pages d'accueil via des métadonnées et des étiquettes. Elle couvre l'intégralité du cycle de vie de publication, de l'hébergement de prévisualisation locale et la génération d'actifs statiques au déploiement sur le stockage cloud et le suivi de l'engagement des utilisateurs via des analyses intégrées.

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