andreafra / ppl
Exercises for course "Principles of Programming Languages" @ Polimi '23, '24
☆29Updated 2 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for ppl
- Samsung Galaxybook Linux platform driver and accompanying utilities.☆118Updated this week
- Library for fingerprint readers☆88Updated last year
- prototype linux driver for elantech spi-based fingerprint sensors☆39Updated 3 years ago
- Themes for grub2. The intended device and OS for these are Microsoft Surface Pro and Ubuntu 12.10 & 13.04☆37Updated 7 years ago
- All our work to make Goodix fingerprint sensors work on Linux. Thanks to @markusressel and @PJungkamp for sponsoring.☆264Updated last year
- A (marginally) better on screen keyboard for GNOME 42+☆81Updated last month
- A terminal embedded in Nautilus, the GNOME's file browser☆325Updated 2 months ago
- Lenovo Ideapad goodies for GNOME Shell. User-friendly battery conservation mode control.☆72Updated 2 months ago
- A collection of awesome dynamic wallpapers for Gnome, and easy scripts to install them☆379Updated 2 weeks ago
- A music related GNOME extension.☆55Updated 3 weeks ago
- A media indicator for the Gnome shell.☆244Updated 3 weeks ago
- V-Shell is a GNOME Shell extension that allows you to customize the layout and behavior of the Shell UI.☆230Updated 2 weeks ago
- Touchpad gesture improvements for GNOME on Wayland/X11, transpiled from TypeScript and fixed for new GNOME versions with some additions☆32Updated last month
- A bash Script for generating an .xml file which contains the location of two images for dark and night mode in g42+☆18Updated 2 years ago
- Touchpad gesture improvements for GNOME on Wayland/X11☆335Updated 3 months ago
- Userspace driver for the ITE 8291 (rev 0.03) RGB keyboard backlight controller.☆64Updated last year
- Display brightness slider for gnome shell using ddcutil backend☆308Updated last month
- A linux kernel driver for the Acer WMI battery health control interface☆124Updated 8 months ago
- A gnome-shell extension to keep the old topbar corners, which were removed for GNOME 42.☆59Updated 2 months ago
- A settings app for GNOME's Login Manager, GDM☆721Updated this week
- Nautilus context menu: Open in VSCode☆45Updated 5 months 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…☆156Updated 2 weeks ago
- Gnome extension to Set battery charging threshold / charging limit / charging mode Battery Health Charging: An extension to maximize the …☆212Updated last week
- One-click browser addon to convert OneNote notes to Xournal++ compatible format☆11Updated last week
- ☆21Updated 3 years ago
- A GNOME extension that adds rounded corners to all windows☆252Updated last week
- ☆129Updated 5 months ago
- Arch in Dell XPS 9570☆16Updated 4 years ago
- ☆7Updated last year
- A GNOME👣 theme for Thunderbird📨☆295Updated 3 months ago
- `xrandr` for Gnome/wayland, on distros that don't support `wlr-randr`☆97Updated last year