Esercizi per esercitazioni di Informatica A
☆15Dec 1, 2025Updated 10 months ago
Alternatives and similar repositories for InformaticaA
Users that are interested in InformaticaA are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Another drop down terminal extension for GNOME Shell. With tabs. Works on Wayland natively. Fork of @amezin☆11Apr 4, 2022Updated 4 years ago
- Modern password-store client made for GNOME☆17Jul 15, 2026Updated 3 months ago
- The most basic dynamic function row daemon possible☆11Jul 29, 2024Updated 2 years ago
- TikZ to SVG Converter☆13Jan 27, 2022Updated 4 years ago
- Web Content Filtering☆16Aug 1, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A pass extension that allows to add files to password-store. https://www.passwordstore.org/☆18Mar 28, 2024Updated 2 years ago
- Python application to download a batch of lessons recordings from Polimi.☆10Mar 8, 2023Updated 3 years ago
- Gedit colour scheme using Solarized dark colour palette tweaked for Adwaita Dark☆10Dec 29, 2021Updated 4 years ago
- ☆16Jan 30, 2026Updated 9 months ago
- Mobile app for shrinking videos directly on your device☆22Oct 15, 2026Updated 2 weeks ago
- An extension for Nautilus, adds a menu item to the right-click menu for creating a new file with a dialog instead of the default template…☆16Jul 4, 2026Updated 3 months ago
- Simple GNOME extension to control displays' brightness and audio volume via DDC.☆12May 26, 2023Updated 3 years ago
- ☆20Jun 14, 2025Updated last year
- A pass extension for adding arbitary files to the password store. https://www.passwordstore.org/☆20Sep 6, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A Graphical Live Medium for Arch Linux☆20Jun 7, 2024Updated 2 years ago
- ☆18Feb 4, 2025Updated last year
- A collection of shared file templates for use in $HOME/Templates on Linux systems☆17May 30, 2024Updated 2 years ago
- Display GTK4 / libadwaita dialogs from terminal and scripts.☆27Oct 23, 2026Updated last week
- Keyoxidizer - Interactive Keyoxide helper☆20Mar 3, 2025Updated last year
- Customize the GNOME Quick Settings panel – media controls, notifications, volume mixer, and more. Off by One fork with GNOME 50 support.☆39Jun 28, 2026Updated 4 months ago
- Scientific Machine Learning☆17Aug 12, 2025Updated last year
- Mainline Linux 6.5.3 altered to support Orange Pi Zero 3 board and driver for 20U5622 wifi chip☆19Jun 20, 2024Updated 2 years ago
- Importa l'orario del Polimi sul tuo calendario preferito☆22Sep 14, 2026Updated last month
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A fast and performant Git repository browser with comprehensive search for GNOME☆32Oct 18, 2026Updated last week
- [CLI] count the words in an epub file☆34Oct 16, 2026Updated 2 weeks ago
- Terminal emulator for use with Toolbox☆41Mar 22, 2025Updated last year
- Automatically update PKGBUILDs on AUR☆37Updated this week
- Ledger Wallet iOS application☆35Sep 23, 2016Updated 10 years ago
- Crystal Linux is now hosted at https://gitlab.com/crystal-linux☆35Feb 15, 2023Updated 3 years ago
- Builds And Installs GNOME Shell Theme from GNOME GitLab☆23Jun 8, 2022Updated 4 years ago
- GTK language bindings knowlage base, useful links☆32Jul 26, 2026Updated 3 months ago
- Download your Pearson books from Reader+ into an offline PDF, with support for both PDFs and ETEXT books☆25Nov 20, 2022Updated 3 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Complementary extension for Adwaita-Colors Icons☆29Nov 19, 2025Updated 11 months ago
- Process data with GnuPG 🔒☆37Jan 1, 2026Updated 9 months ago
- My personal set of file thumbnailing utilities for GNOME 42+☆29Dec 13, 2022Updated 3 years ago
- A list of bad words in different locales☆33Nov 26, 2024Updated last year
- Memorize anything☆32Apr 4, 2026Updated 6 months ago
- Asciimath support for Obsidian (based on asciimath-parser)☆38Aug 16, 2026Updated 2 months ago
- Efficient downloader for MangaWorld☆27Sep 19, 2026Updated last month