asmeikal / algebra14
Appunti del corso di Algebra (prof.ssa Venezia, II anno laurea in Informatica, Sapienza)
☆12Updated 7 years ago
Related projects: ⓘ
- GNS3 Installer Script for Fedora☆15Updated 8 years ago
- Snap package for PDF Mix Tool. Main repository https://gitlab.com/scarpetta/pdfmixtool☆10Updated 3 years ago
- Resource_Monitor is a GNOME Shell extension that Monitor the use of system resources like cpu, ram, disk, network and display them in GNO…☆143Updated 3 months ago
- AppIndicator for KDE Connect☆117Updated 8 years ago
- Gnome Shell extension for making and uploading screenshots☆268Updated 2 weeks ago
- Automate installation of Spotify on openSUSE☆80Updated last year
- Hacker's Monitor for XFCE☆45Updated 3 years ago
- Workaround fixing no A2DP when BT headphone reconnects automatically (after being paired)☆32Updated 5 years ago
- Download, convert and install the Spotify for Linux package☆79Updated 9 months ago
- An extension for gnome shell that will change the screen brightness when the machine is running on battery power☆17Updated last year
- Modern graphical system monitor for any panel☆146Updated last month
- Gnome Shell Extension - Refresh Wifi☆56Updated 2 years ago
- lpf - Local Package Factory☆61Updated 2 years ago
- PKGBUILDs for Arch Linux☆85Updated 5 months ago
- Plasma 5 applet for controlling redshift (screen temperature modifying). It allowes basic redshift settings and fast manual temperature c…☆66Updated 5 years ago
- Random Wallpapers for Gnome 3☆174Updated 3 months ago
- ☆106Updated last year
- deaded☆11Updated 8 years ago
- ☆47Updated 4 years ago
- Gentoo Overlay made by Jorgicio.☆100Updated 10 months ago
- A lightweight KRunner plugin (Plasma 5) to retrieve unicode symbols, or any other string, based on a corresponding keyword.☆117Updated 2 months ago
- ☆74Updated last month
- Whenever there is an unread notification (e.g. chat messages), blinks the message in the user's menu with a color chosen by the user.☆54Updated 3 months ago
- Gnome Shell Extension that allows to start and stop systemd services☆79Updated 3 years ago
- An interface to configure GDM3, autologin options and change Shell theme☆101Updated 4 years ago
- A systemd control module for KDE☆53Updated 3 years ago
- Gnome extension to show network speed☆76Updated last month
- Spotify music player native client☆45Updated last month
- ☆21Updated this week
- Removes window is ready Notification☆77Updated 4 months ago
- A mediaplayer indicator for GNOME Shell 3.18+.☆376Updated 5 years ago