Jutge.org is an open educational online programming judge designed for students and instructors, featuring a repository of problems that is well organized by courses, topics, and difficulty. Internally, Jutge.org uses a secure and efficient architecture and integrates modern verification techniques, formal methods, static code analysis, and data…

Educational robotics are commonly present in kindergarten and primary school classrooms, particularly Bee-bot. Its ease of use allows the introduction of computer programming to young children in educational contexts from a science, technology, engineering, arts, and mathematics (STEAM) perspective. Despite this rise, there are still few…

Contribution: A learning-by-teaching methodology through games can be used to promote informatics (computer science) in primary and secondary education. Applying the proposed activities can change students' perception of informatics from seeing it as merely using computers to seeing its relationship with mathematics. The experience can also help…