📚 Educational
Curated list of resources for Embedded and Low-level development in the Rust programming language
A bunch of links to blog posts, articles, videos, etc for learning Rust
A website displaying hundreds of charts made with Python
Jargon from the functional programming world in simple terms!
The Pie language, which accompanies The Little Typer by Friedman and Christiansen
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
A collection of design patterns/idioms in Python
An interactive git visualization and tutorial. Aspiring students of git can use this app to educate and challenge themselves towards mastery of git!
🏆 A ranked list of awesome Python open-source libraries and tools. Updated weekly.
A curated list of awesome things related to functional programming in Python.
A collection of resources for learning type theory and type theory adjacent fields.
⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
An analysis tool for Python that blurs the line between testing and type systems.
Community guide to using YubiKey for GnuPG and SSH - protect secrets with hardware crypto.
Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.
An introduction to programming language theory in Agda
Experimental implementation of Cubical Type Theory
📚 Collaborative cheatsheets for console commands
A tutorial about how to run desktop environment inside Windows Subsystem for Linux
Welcome to the page where you will find each trick/technique/whatever I have learnt in CTFs, real life apps, and reading researches and news.
I am a madlad. A prolog discord implementation
Visually simulate Git operations in your own repos with a single terminal command.