symphorien Guillaume Girol
github.com/symphorien · maintains 51 packages (51 directly), sole maintainer of 33, member of 0 teams
33 packages
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Unix utility for tracking down wasted disk space |
20241013.3622eda → 20260410 |
1 | 4 | 0 | 0 | single outdated | ||
SMT solver for fixed-size bit-vectors, floating-point arithmetic, arrays, and uninterpreted functions |
0.9.1 |
1 | 17 | 1 | 19 | single | ||
CanoKey QEMU Virtual Card |
0-unstable-2026-03-24 → 1 |
1 | 5 | 0 | 0 | single outdated | ||
Tool to check the availability of portals |
0.9.0 |
1 | 11 | 0 | 0 | single | ||
Collection of tools for network auditing and penetration testing |
2.4b1 → 2.5a2 |
1 | 8 | 0 | 0 | single outdated | ||
0.9.22 |
1 | 9 | 0 | 0 | single | |||
Free computer algebra system (CAS) |
2.0.0-19 → 2.0.0.21 |
1 | 23 | 0 | 0 | single outdated | ||
Free computer algebra system (CAS) |
2.0.0-19 → 2.0.0.21 |
1 | 27 | 0 | 0 | single outdated | ||
Reverse tethering over adb for Android |
2.5.1 |
1 | 7 | 0 | 0 | single | ||
GL-based laptop model that rotates in real-time via hdaps |
0.0.7 |
1 | 6 | 0 | 0 | single | ||
Daemon to use the IPP everywhere protocol with USB printers |
0.9.34 |
1 | 7 | 0 | 0 | single | ||
Graphical frontend to collectd |
0.12.2 |
1 | 16 | 0 | 0 | single | ||
HDD and SSD benchmark tool with a friendly graphical user interface |
3.3.0 |
1 | 9 | 0 | 0 | single | ||
Crossplatform access to image scanners (paper eaters only) |
1.0.10 |
1 | 14 | 2 | 5 | single | ||
E-component of Network Intrusion Detection System which emulates the IP stack of Linux 2.0.x |
1.24 → 1.26 |
1 | 6 | 0 | 0 | single outdated | ||
Tool to determine which gc-roots take space in your nix store |
1.2.4 |
1 | 27 | 0 | 0 | single | ||
Tool to determine which gc-roots take space in your nix store |
1.2.4 |
1 | 27 | 0 | 0 | single | ||
Nagios / Icinga monitoring plugin to check systemd for failed units |
5.0.0 |
1 | 17 | 0 | 0 | single | ||
Tool to determine which gc-roots take space in your nix store |
1.2.4 |
1 | 8 | 0 | 0 | single | ||
Utility to detect other OSs on a set of drives |
1.85 |
1 | 11 | 2 | 2 | single | ||
Simple library and cli-tool to help you solve some debts settlement scenarios |
0.5 |
1 | 15 | 0 | 0 | single | ||
Make the output of terminal applications look fabulous |
0.4.0 |
1 | 17 | 1 | 1 | single | ||
HTTP security headers for Flask |
1.1.0 |
1 | 16 | 0 | 0 | single | ||
Read single characters and key-strokes |
0.6.5 |
1 | 15 | 1 | 1 | single | ||
Python class library which helps with writing Nagios (Icinga) compatible plugins |
1.4.0 |
1 | 16 | 0 | 0 | single | ||
Simple library and cli-tool to help you solve some debts settlement scenarios |
0.5 |
1 | 15 | 0 | 0 | single | ||
Make the output of terminal applications look fabulous |
0.4.0 |
1 | 17 | 1 | 2 | single | ||
HTTP security headers for Flask |
1.1.0 |
1 | 16 | 1 | 1 | single | ||
Read single characters and key-strokes |
0.6.5 |
1 | 15 | 2 | 3 | single | ||
Python class library which helps with writing Nagios (Icinga) compatible plugins |
1.4.0 |
1 | 16 | 1 | 1 | single | ||
Tool to produce a list of equations that approximately solve to a given number |
2018.04.11-1 → 20240422 |
1 | 2 | 0 | 0 | single outdated | ||
SANE (Scanner Access Now Easy) backends |
1.4.0 |
1 | 24 | 43 | 149 | single | ||
Generic generation engine and user interface for applications and libraries based on Zigbee Cluster Library (ZCL) |
2026.05.21 |
1 | 8 | 2 | 38 | single |