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

Este proyecto es un generador de tutoriales interactivos y generador de sitios estáticos que transforma documentos fuente, como Markdown y Google Docs, en guías de instrucción estructuradas. Funciona como una herramienta de conversión de documentación que compila contenido fuente en activos HTML estáticos y metadatos para su distribución a audiencias públicas o privadas. El sistema utiliza un framework de UI de elementos personalizados para incrustar componentes de instrucción interactivos utilizando elementos personalizados HTML estándar, eliminando la necesidad de frameworks JavaScript externos. Admite la exportación de contenido en múltiples formatos, permitiendo que una única fuente de verdad se traduzca a múltiples objetivos, incluyendo HTML y notebooks de Jupyter. La plataforma proporciona capacidades para la gestión de contenido instructivo, permitiendo la organización de tutoriales en colecciones temáticas y páginas de destino mediante metadatos y etiquetado. Cubre el ciclo de vida completo de publicación, desde el alojamiento de vista previa local y la generación de activos estáticos hasta el despliegue en almacenamiento en la nube y el seguimiento de la participación del usuario a través de análisis integrados.

Este proyecto es una colección de lecciones de programación interactivas por línea de comandos, diseñadas para el paquete swirl de R. Proporciona un plan de estudios estructurado para aprender programación en R y ciencia de datos a través de una serie de ejercicios guiados y a ritmo propio, entregados mediante una interfaz de línea de comandos. El contenido abarca una amplia gama de educación en ciencia de datos, incluyendo fundamentos del lenguaje, limpieza y manipulación de datos, análisis estadístico y visualización de datos. También incluye módulos instructivos centrados en prácticas de desarrollo de software. Estas lecciones se desarrollan como una jerarquía modular de cursos y prompts, que se empaquetan en paquetes de R para su distribución. Los materiales del curso se alojan en repositorios remotos para permitir a los usuarios descargar e instalar los módulos educativos directamente en su propio entorno.

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