gnome-shell extension to add a "Reboot" button to the end-session-dialog, that runs grub-reboot before restart
☆22May 16, 2019Updated 6 years ago
Alternatives and similar repositories for grubreboot-gnome-shell-extension
Users that are interested in grubreboot-gnome-shell-extension are comparing it to the libraries listed below
Sorting:
- gpsami, a GUI app to read data from GPS devices.☆12Aug 9, 2025Updated 7 months ago
- ⚡️Latest and greatest FLOSS fonts on the desktop.☆19Dec 21, 2018Updated 7 years ago
- Create AppStream MetaInfo files and auxiliary fd.o metadata easily☆21Jan 11, 2024Updated 2 years ago
- Blogly is an open-source desktop application for bloggers and content writers☆23Apr 6, 2021Updated 4 years ago
- Geo-bookmarking, GPX viewer, analyzer and editor for GTK☆25Jun 4, 2018Updated 7 years ago
- A simple and easy to use program to share files in local network.☆26Sep 22, 2020Updated 5 years ago
- RDFS: an erasure code based cloud storage system☆38Jul 28, 2014Updated 11 years ago
- [DEPRECATED] A bespoke and simple Todo.txt client.☆34Jan 19, 2021Updated 5 years ago
- EtherAnnotate IDA Pro Plugin - Parse EtherAnnotate trace files and markup IDA disassemblies with runtime values☆13May 4, 2010Updated 15 years ago
- Calculate IPv6 and NAT64 reachability scores for websites☆11Feb 21, 2017Updated 9 years ago
- another crux ports repo☆11Updated this week
- Portable benchmark and system information tool☆10Updated this week
- A light-weight open source tray application for Mac OSX , Linux and windows that keeps track of football scores as and when they happe…☆15Feb 27, 2023Updated 3 years ago
- Detwinner - duplicate file finder for the Linux desktop☆41Oct 29, 2023Updated 2 years ago
- A grep graphical user interface written in D and GTK 3☆36May 7, 2019Updated 6 years ago
- Simple tool for modifying and searching yaml files while keeping the original file formatting.☆12Dec 26, 2022Updated 3 years ago
- The electron wrapper of Penpot webapp☆10Sep 16, 2022Updated 3 years ago
- A one page AngularJS app using the Greensock animation platform along with Bower & Grunt☆13Jul 30, 2014Updated 11 years ago
- IDA IDC script to improve Objective-C disassembly output☆21Aug 30, 2012Updated 13 years ago
- MPI and MPI - CUDA accelerated Huffman encoding☆10Jul 26, 2017Updated 8 years ago
- Highlight global variables in brackets☆14Mar 18, 2023Updated 2 years ago
- Nonograms puzzle game written in Vala.☆12Dec 12, 2024Updated last year
- Java wrapper for jdenticon☆13Mar 20, 2024Updated last year
- A one to one address mapping program for tranlation from IPv4 packets to IPv6 packets and vice versa.☆17Oct 7, 2020Updated 5 years ago
- LAME + AltiVec = awesome☆14Dec 17, 2017Updated 8 years ago
- FFT for PyCuda and PyOpenCL. The package is deprecated and its functionality is merged into Reikna.☆37Feb 17, 2014Updated 12 years ago
- PostCSS plugin that shims some basic behaviour of the proposed CSS subgrid spec☆10Jan 4, 2023Updated 3 years ago
- Rails application for the Archives Unleashed Cloud.☆11Jun 30, 2021Updated 4 years ago
- a better babel command-line utility☆11Dec 11, 2018Updated 7 years ago
- Structure refinement software for total scattering data☆12Updated this week
- Core files for LikeMagic C++ binding library.☆11Jun 5, 2013Updated 12 years ago
- A simple GTK based note-taking app written in Python.☆11Aug 1, 2022Updated 3 years ago
- Trace a bitmap and project the resulting polygons into OpenSCAD polyhedrons.☆18Mar 14, 2015Updated 10 years ago
- 🏠 API for local information and addresses on COVID-19 (hotlines, websites, test sites, health departments)☆10May 25, 2020Updated 5 years ago
- An implementation of RaptorQ Fountain Code as specified at http://tools.ietf.org/html/rfc6330☆22Jan 31, 2012Updated 14 years ago
- See the cuda branch.☆13Apr 4, 2011Updated 14 years ago
- Python script to find subdomains☆11Aug 22, 2025Updated 6 months ago
- GNO is the UNIX-like environment for the Apple IIgs☆12Jun 11, 2025Updated 8 months ago
- Two methods: Multi-Frame method with MAP&Total variation&sparse representation&total variation in time domain and Singe-Frame with CNN ne…☆13Nov 16, 2018Updated 7 years ago