Let's tweak gnome 43's quick settings! You can add Media Controls, Notifications, Volume Mixer on quick settings and remove useless buttons!

Extension that adds a blur look to different parts of the GNOME Shell, including the top panel, dash and overview

Data validation using Python type hints

🌌 Fast, dependency-free, full-text and vector search engine with typo tolerance, filters, facets, stemming, and more. Works with any JavaScript runtime, browser, server, service!

🕵️‍♂️ All-in-one OSINT tool for analysing any website

The web framework for content-driven websites. ⭐️ Star to support our work!

Next generation frontend tooling. It's fast!

A black hole for Internet advertisements

Introduction to Functional Programming (Italian)

"rsync for cloud storage" - Google Drive, S3, Dropbox, Backblaze B2, One Drive, Swift, Hubic, Wasabi, Google Cloud Storage, Azure Blob, Azure Files, Yandex Files

A fluent API to generate JSON schemas

ElKowars wacky widgets

Fast and low overhead web framework, for Node.js

A terminal for a more modern age

📝 Algorithms and data structures implemented in JavaScript with explanations and links to further readings