8 dépôts
Platforms combining code execution and logic verification for language learning.
Distinct from Algorithm and Coding Practice: Combines execution, verification, and pedagogical guidance, which is more specific than generic algorithm practice.
Explore 8 awesome GitHub repositories matching education & learning resources · Interactive Language Practice. Refine with filters or upvote what's useful.
Rustlings is an interactive language tutorial and exercise suite designed to teach the syntax and idioms of the Rust programming language. It functions as a guided learning path where users build proficiency by solving a collection of small, interactive coding challenges. The project utilizes compiler-driven learning, employing the Rust compiler to provide immediate feedback and validation as users fix broken code snippets. This approach focuses on language onboarding and education through practical, hands-on coding practice. The learning experience is structured around a file-based exercise
Offers a platform for interactive language practice through the execution and verification of small coding puzzles.
Learngo is an interactive coding course and programming tutorial designed to teach the Go language. It functions as an educational guide that combines instructional materials with a learning-by-doing approach to help users master language syntax and practical application. The project focuses on idiomatic Go programming, providing a practical reference for writing code that follows industry standards and conventions. It emphasizes the development of testable code and the implementation of maintainable programming patterns. The curriculum is delivered through a series of hand-crafted examples,
Combines code execution and logic verification to improve Go programming skills through practice.
rust-by-practice is an interactive coding platform and language learning curriculum designed to teach the Rust programming language. It functions as a code practice sandbox and tutorial, providing a structured path of examples and challenges to bridge the gap between basic knowledge and professional development. The platform features a web-based environment for editing, compiling, and executing code directly in the browser. It employs a graded curriculum of increasing difficulty, allowing users to solve exercises and verify their logic against reference solutions to ensure accuracy and adhere
Provides a comprehensive environment for writing, executing, and verifying Rust code to master the language.
Earthworm is an AI-powered language learning platform centered on sentence construction, translation exercises, and grammar tutoring. It integrates a spaced repetition system to schedule reviews based on individual performance and a multimedia practice tool that converts audio, video, and text into interactive sentence-level exercises. The platform features a real-time competitive quiz system where users can challenge each other in live matches based on speed and accuracy. It also includes an AI tutor that provides contextual grammar and usage explanations for specific sentences, and a set of
Provides interactive language practice using audio and video content with line-by-line playback.
This project is a structured Rust programming course and learning path consisting of a sequence of interactive coding exercises. It provides a curriculum designed to guide learners from basic language fundamentals, such as syntax and type systems, to the development of complex applications. The learning experience is supported by a command-line solution validator that verifies the correctness of code solutions. The curriculum follows a progressive problem sequencing model, allowing users to master memory management and application logic through a series of practical coding challenges. The sc
Offers an interactive environment to practice programming syntax and memory management with automated verification tools.
Exercism est une plateforme d'exercices de programmation qui fournit un cursus d'apprentissage multi-langages conçu pour enseigner la syntaxe des langages et les modèles idiomatiques. Elle combine un environnement web pour gérer les défis de codage avec un système de revue de code entre pairs. La plateforme se distingue en intégrant des workflows de développement locaux, permettant aux utilisateurs de résoudre des exercices dans leurs propres éditeurs et de les soumettre via un outil en ligne de commande. Elle facilite un modèle de mentorat où les apprenants reçoivent des retours qualitatifs et des critiques de développeurs expérimentés pour améliorer la lisibilité et la performance du code. Le système inclut des parcours d'apprentissage structurés et des exécuteurs de tests automatisés pour divers langages. Il propose également un mécanisme d'analyse de solutions par les pairs qui permet aux utilisateurs de parcourir et de comparer différentes implémentations d'un défi après avoir terminé leur propre solution. Le support technique est intégré via des demandes d'assistance et un chat pour aider les utilisateurs à résoudre les blocages.
Provides an interactive platform combining code execution and logic verification for practicing multiple programming languages.
Hanzi Writer est un tuteur interactif d'écriture de caractères chinois et une bibliothèque d'animation SVG conçue pour visualiser et valider la construction séquentielle des caractères. Il fonctionne comme un outil pédagogique pour pratiquer la calligraphie en rendant des animations trait par trait et en validant les tracés dessinés par l'utilisateur. La bibliothèque fournit un système pour comparer l'entrée de l'utilisateur avec des séquences de traits prédéfinies afin de vérifier la précision de l'écriture en temps réel. Elle guide les utilisateurs à travers des exercices interactifs, dirigeant le processus d'écriture et fournissant un retour immédiat sur l'ordre des traits. L'outil gère la récupération des données de coordonnées des caractères à partir de sources distantes pour rendre des animations de chemin SVG. Il mappe les événements de souris et tactiles à ces segments de chemin pour détecter et valider l'achèvement de chaque trait.
Provides an interactive way for students to practice drawing characters with real-time sequence validation.
This project is an interactive programming curriculum and educational system designed to teach computer science and software engineering. It provides a structured set of courses and professional roadmaps focused on backend engineering, DevOps, and systems fundamentals. The platform is distinguished by an AI-powered coding tutor that provides Socratic guidance and contextual hints to help students find solutions independently. It features a browser-based code sandbox using WebAssembly to eliminate local environment setup, alongside automated test-based grading and spaced-repetition logic to re
Offers a platform combining browser-based code execution, AI guidance, and automated grading for language learning.