4 مستودعات
Step-by-step guides that users can follow interactively to learn a tool or language.
Distinguishing note: None of the candidates cover interactive, goal-oriented tutorials for learning a tool; they focus on crawling or ML instruction following.
Explore 4 awesome GitHub repositories matching development tools & productivity · Interactive Tutorials. Refine with filters or upvote what's useful.
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
Walks through core kernel concepts like capabilities, IPC, threads, and interrupts using hands-on exercises.
هذا المشروع عبارة عن مولد دروس تفاعلي ومولد مواقع ثابتة يحول المستندات المصدر، مثل Markdown وGoogle Docs، إلى أدلة تعليمية منظمة. يعمل كأداة تحويل توثيق تقوم بتجميع المحتوى المصدر إلى أصول HTML ثابتة وبيانات وصفية للتوزيع على جماهير عامة أو خاصة. يستخدم النظام إطار عمل واجهة مستخدم عنصر مخصص لتضمين مكونات تعليمية تفاعلية باستخدام عناصر HTML مخصصة قياسية، مما يزيل الحاجة إلى أطر عمل JavaScript خارجية. يدعم تصدير المحتوى متعدد التنسيقات، مما يسمح بترجمة مصدر واحد للحقيقة إلى أهداف متعددة بما في ذلك HTML ودفاتر ملاحظات Jupyter. توفر المنصة إمكانيات لإدارة المحتوى التعليمي، مما يتيح تنظيم الدروس في مجموعات ذات طابع خاص وصفحات مقصودة عبر البيانات الوصفية والوسم. تغطي دورة حياة النشر الكاملة، من استضافة المعاينة المحلية وإنشاء الأصول الثابتة إلى النشر على التخزين السحابي وتتبع تفاعل المستخدم من خلال التحليلات المتكاملة.
Transforms documents into interactive web-based guides that lead users through a step-by-step learning process.
هذا المشروع عبارة عن مجموعة من دروس البرمجة التفاعلية عبر سطر الأوامر مصممة لحزمة swirl في لغة R. يوفر منهجاً منظماً لتعلم برمجة R وعلوم البيانات من خلال سلسلة من التمارين الموجهة ذاتية السرعة التي يتم تقديمها عبر واجهة سطر الأوامر. يغطي المحتوى نطاقاً واسعاً من تعليم علوم البيانات، بما في ذلك أساسيات اللغة، وتنظيف البيانات ومعالجتها، والتحليل الإحصائي، وتصور البيانات. كما يتضمن وحدات تعليمية تركز على ممارسات تطوير البرمجيات. تم تطوير هذه الدروس كهيكل معياري من الدورات والمطالبات، والتي يتم تجميعها في حزم R للتوزيع. تُستضاف مواد الدورة في مستودعات بعيدة للسماح للمستخدمين بتنزيل وتثبيت الوحدات التعليمية مباشرة في بيئتهم الخاصة.
Provides step-by-step guides that users follow interactively via the command line.
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
Provides a framework for building step-by-step interactive guides to explain application workflows.