6 repositorios
Validation of conceptual knowledge through the requirement of a working code implementation.
Distinct from Interface-Driven Validation: Focuses on pedagogical knowledge validation via implementation rather than technical interface decoupling.
Explore 6 awesome GitHub repositories matching software engineering & architecture · Exercise-Driven Validations. Refine with filters or upvote what's useful.
Este es un plan de estudios educativo para construir y entrenar redes neuronales utilizando PyTorch. Sirve como guía de entrenamiento y recurso de deep learning, proporcionando una serie estructurada de lecciones sobre computación de tensores y desarrollo de arquitecturas. El curso utiliza un modelo de aprendizaje interactivo que sincroniza la teoría académica con la práctica. Combina diapositivas de lecciones teóricas con notebooks basados en ejercicios, requiriendo que los estudiantes implementen la lógica del modelo dentro de plantillas predefinidas para validar su comprensión conceptual. El plan de estudios cubre una amplia gama de capacidades de deep learning, incluyendo la optimización de modelos mediante descenso de gradiente y regularización, y la implementación de arquitecturas convolucionales, recurrentes y de tipo transformer. También incluye instrucciones para procesar datos multimodales y aplicar aprendizaje autosupervisado mediante métodos contrastivos y autoencoders. El contenido se entrega a través de una secuencia modular de Jupyter Notebooks.
Validates student understanding by requiring the implementation of theoretical concepts in code.
ML-foundations es un plan de estudios educativo de aprendizaje automático y una guía de estudio de ciencias de la computación. Proporciona una ruta de aprendizaje estructurada centrada en los fundamentos matemáticos y los requisitos previos computacionales necesarios para estudiar aprendizaje automático. El proyecto sirve como un curso de matemáticas en Python, entregando cuadernos interactivos y ejercicios de codificación para enseñar álgebra lineal, cálculo y estadística. Traduce fórmulas matemáticas abstractas en código algorítmico concreto para ayudar a los estudiantes a comprender los principios que sustentan los algoritmos de aprendizaje automático. El plan de estudios cubre los requisitos previos de ciencia de datos y conceptos fundamentales de programación a través del aprendizaje interactivo basado en cuadernos. Utiliza una descomposición temática modular para organizar las materias en directorios aislados para el estudio independiente.
Provides coding tasks that require learners to implement mathematical operations to prove their theoretical understanding.
Este proyecto es un archivo de plan de estudios estructurado y recurso de estudio para dominar arquitecturas de aprendizaje profundo e implementación de modelos. Sirve como un repositorio categorizado de materiales académicos, incluyendo material didáctico y guías de implementación para redes neuronales. La colección proporciona un framework multi-modelo para construir y entrenar varias arquitecturas, cubriendo específicamente redes neuronales básicas, redes convolucionales y modelos de secuencia. Se centra en la arquitectura de aprendizaje profundo, regularización y el proceso de estructurar proyectos de aprendizaje automático y ajustar hiperparámetros. La superficie de aprendizaje combina fundamentos teóricos con aplicaciones prácticas a través de notebooks interactivos y notas de clase curadas. La verificación de conocimientos se maneja a través de un conjunto de cuestionarios y tareas de programación diseñadas para validar la implementación de conceptos de aprendizaje automático.
Provides programming exercises and quizzes that validate the practical implementation of theoretical deep learning concepts.
This project is an exercise-based learning platform and functional programming course designed to teach Haskell through a structured curriculum of practical implementation tasks. It functions as an interactive tutorial and learning framework where students master functional programming concepts by completing a curated sequence of modules. The platform emphasizes a type-driven development workflow, utilizing type holes and compiler-integrated type querying to guide the discovery of program logic. It provides an interactive programming environment via a read-eval-print loop, allowing for real-t
Implements automated validation of coding exercises through integrated unit and property-based test suites.
This project is a functional programming course and automated coding curriculum designed to teach the core principles of the paradigm through a structured sequence of exercises and modules. It serves as an interactive programming tutorial where learners solve incremental problems and validate their understanding through a programming exercise suite. The curriculum is language-agnostic, focusing on core logic and paradigms rather than a specific language. It employs an automated toolchain that transforms source code into executable binaries to verify solutions. Correctness is validated using
Verifies implementation correctness by executing predefined test cases and property-based checks against user code.
Scala Exercises es una plataforma de aprendizaje interactiva diseñada para dominar el lenguaje de programación Scala a través de desafíos de codificación basados en navegador. Funciona como un framework educativo integral que estructura las lecciones de programación en módulos secuenciales, proporcionando retroalimentación inmediata sobre el código enviado por el usuario a través de validación automatizada. La plataforma destaca por tratar el contenido educativo como artefactos modulares versionados que pueden registrarse dinámicamente e integrarse como dependencias de proyectos. Esta arquitectura permite la creación de rutas de aprendizaje personalizadas donde los ejercicios se definen utilizando interfaces seguras por tipos y se verifican contra suites de pruebas predefinidas, asegurando que todas las soluciones de los estudiantes cumplan con los requisitos funcionales esperados. Más allá de la instrucción central, el sistema proporciona herramientas para autorar y organizar planes de estudio complejos, permitiendo a los colaboradores empaquetar documentación descriptiva junto con lógica ejecutable. La plataforma admite la extensión de su librería a través de la integración de módulos externos, permitiendo el mantenimiento y la distribución de contenido de programación especializado dentro de un entorno unificado basado en pruebas.
Validates student code solutions against predefined test suites to ensure functional correctness.