ncfavier Naïm Favier
github.com/ncfavier · maintains 25 packages (25 directly), sole maintainer of 15, member of 0 teams
15 packages
| Package ▼ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Utility for managing X11 compose key sequences |
0.5.1 |
1 | 18 | 0 | 0 | single | ||
Color emoji SVGinOT font using Twitter Unicode 15 emoji with diversity and country flags |
15.1.0 |
1 | 8 | 0 | 0 | single | ||
Simple X hotkey daemon |
0.6.3 |
1 | 8 | 0 | 0 | single | ||
Build system library, like Make, but more accurate dependencies |
0.19.9 |
1 | 17 | 0 | 0 | single | ||
Material Design theme for GNOME/GTK based desktop environments |
2026-07-07 |
1 | 5 | 0 | 0 | single | ||
Bash completions for Nix, NixOS, and NixOps |
0.6.8 |
1 | 2 | 0 | 0 | single | ||
An mpv plugin for cutting videos incredibly quickly |
2.2.0-unstable-2023-11-21 |
1 | 2 | 0 | 0 | single unfree | ||
Lambdabot is a development tool and advanced IRC bot |
5.3.1.2 |
1 | 18 | 0 | 0 | single | ||
Build system library, like Make, but more accurate dependencies |
0.19.9 |
1 | 17 | 55 | 64 | single | ||
Lambdabot is a development tool and advanced IRC bot |
5.3.1.2 |
1 | 13 | 0 | 0 | single | ||
Compiling Agda code to readable Haskell |
1.4 |
1 | 13 | 0 | 0 | single | ||
/efont/ Unicode bitmap font |
0.4.2 |
1 | 6 | 0 | 0 | single | ||
Professionally produced redesign of Crimson by Jacques Le Bailly |
0-unstable-2022-08-30 |
1 | 3 | 0 | 0 | single | ||
Open-source font by Ksenia Erulevich |
2.003 |
1 | 3 | 0 | 0 | single | ||
Formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory |
0-unstable-2025-07-01 |
1 | 3 | 0 | 0 | single |