Primeiro repositório com explicações teóricas e soluções de exercícios do Software Foundations Volume 1 em português brasileiro. Foco em verificação formal, programação funcional e lógico usando Rocq (Coq).

Tradução para Português do Brasil (PT-BR) de GameDEC Definitive Edition, utilizando um fluxo de trabalho automatizado para arquivos .uasset e .locres da Unreal Engine.

[Estudantes - Hackathon] - Site da MiniHacka 2026-1 P3 Informática - minihacka-2026-p3-informatica-05-arko

Anomalias de temperatura, medias moveis e anotacoes de anos de referencia.

Sistema visual com tokens, botoes, cards, badges e documentacao de componentes.

Calcula disponibilidade e latencia a partir de verificacoes sinteticas.

[Estudantes - Hackathon] - Site da MiniHacka 2026-1 P3 Informática - minihacka-2026-p3-informatica-02-financas

Conta termos LGPD em texto sintetico e gera relatorio de conformidade basico.

[Estudantes - Hackathon] - Hacka 2026 P1 Informatica Subsequente - PapaChibe

[Estudantes - Hackathon] - Site correto da MiniHacka 2026-1 P3 Informática - minihacka-2026-p3-informatica-04-vocacao-profissoes

Benchmark no navegador para medir FPS, latencia e sinais de memoria em pipelines leves de visao computacional.

Pratica de loops, funcoes, tabuada e crivo simples de numeros primos.

Assistente de codigo bilingue (PT/EN): fine-tune LoRA/QLoRA do Qwen2.5-Coder, com dataset, treino, API FastAPI e notebook do Colab.

Valida manifestos sinteticos, hashes e relatorio diario de backup.

Modela triagem, diagnostico, solucao e encerramento como fluxo visual.

[Estudantes - Hackathon] - Site da MiniHacka 2026-1 P3 Redes - minihacka-2026-p3-redes-06-festa-junina

Gera diagrama tecnico a partir de dispositivos e conexoes sinteticas.

Simulador visual de CIDR, VLSM, VLANs e enderecamento IP para aulas de redes.

[Estudantes - Hackathon] - Site correto da MiniHacka 2026-1 P3 Informática - minihacka-2026-p3-informatica-03-avisos-mensais

Formulario client-side com validacao inline, feedback visual e ausencia de backend.