A hands-on introduction to video technology: image, video, codec (av1, vp9, h265) and more (ffmpeg encoding). Translations: 🇺🇸 🇨🇳 🇯🇵 🇮🇹 🇰🇷 🇷🇺 🇧🇷 🇪🇸

Repository to learn Ansible from Zero. This repository covers the complete Ansible fundamentals along with examples required for a DevOps Engineer.

XLibre Xserver

From Zero to QED: An informal introduction to formality with Lean 4

Lista de eventos tech que acontecem no Brasil

Source code for the https://computerenhance.com programming series

The “Quite OK Audio Format” for fast, lossy audio compression

Minimal implementations for dependent type checking and elaboration

A collection of resources for learning type theory and type theory adjacent fields.