Stars
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.
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.