Neste post da comunidade, quero colocar links para alguns jogos altamente envolventes e ambientes interativos (disponíveis gratuitamente) que ajudam as pessoas a explorar conceitos sofisticados tanto em programação quanto em matemática. Se você conhece algum outro lugar divertido para visitar, basta postar abaixo. Divertir-se! Lean: Uma coleção de quebra-cabeças de programação altamente envolventes que ajudam você a aprender como a matemática é comprovada e formalizada. Você nunca mais verá da mesma forma a dureza de 5*7=7*5. NandGame: Você cria seu próprio processador do zero (até a NAND é feita de circuitos mais simples). Altamente viciante e super divertido! Armadilha Quântica: É aqui que você finalmente vai entender melhor as computações quânticas. Colorido, ilimitado, envolvente e matematicamente muito profundo. Scratch: Aprenda programação do jeito divertido. Euclidea: Aprenda a realizar construções com régua e bússola. Antes fazia parte da educação escolar, mas agora é um aplicativo. Divertido e muito informativo. Planaridade: Tente encontrar um embedding de grafo que mostre que ele é realmente planar. Caramba: O explorador definitivo de autômatos celulares. Se quiser aprofundar: SageMath: É um sistema poderoso de álgebra computacional com sintaxe em Python. É ideal para cursos e a sintaxe do SageMath é muito mais próxima do discurso matemático regular. Gosto de dar aulas com SageMath. GeoGebra: Você pode fazer provas, cálculos e applets interativos. É uma forma divertida de aprender várias facetas da matemática universitária. Projetos de Demonstração Wolfram: Uma coleção de applets matemáticos que pode ajudar você a entender tópicos muito sofisticados. Você não precisa do Mathematica para rodar, mas precisa dele para projetar seus próprios applets. A Mecânica da Prova (por Heather Macbeth): É um livro com um repositório interativo no GitHub onde você pode aprender de forma mais abrangente a estrutura e a sintaxe do Lean. Uma Teoria Ilustrada dos Números (por Martin H. Weissman): Este é um livro didático sobre teoria elementar dos números com aplicações. E esses aplicativos estão disponíveis no site como uma coleção de Jupyter Notebooks gratuitos que ensinam os conceitos-chave. Álgebra Linear Gráfica: De forma ilustrada e, em certa medida, interativa de aprender conceitos profundos em álgebra. HomotopyContinuation.jl: Esta é uma forma incrivelmente bonita e interativa (com Julia) de aprender ideias altamente complexas da geometria algébrica (componentes conexos, método de continuação por homotopia) e com aplicações para sistemas algébricos muito especiais que vêm de aplicações. Você pode aprender a Julia no caminho. Mathamaze: É uma experiência de Helena Verrill. Geometria linda, azulejos, padrões. Simplesmente maravilhoso. Difícil de explicar: N: O Caminho do Ninja: Se você acha matemática difícil. Aprenda a paciência do jeito difícil. Aviso: altamente viciante HyperRogue: Você pode aprender geometria hiperbólica em um ambiente rogue-like.