ncfavier Naïm Favier
github.com/ncfavier · maintains 25 packages (25 directly), sole maintainer of 15, member of 0 teams
25 packages
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
A dependently typed functional programming language and proof assistant |
2.8.0 |
3 | 4 | 8 | 12 | maintained | ||
Formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory |
0-unstable-2025-07-01 |
1 | 3 | 0 | 0 | single | ||
Cubical type theory library for use with the Agda compiler |
0.9 |
4 | 3 | 0 | 0 | maintained | ||
Open-source font by Ksenia Erulevich |
2.003 |
1 | 3 | 0 | 0 | single | ||
Tiling window manager based on binary space partitioning |
0.9.12 |
2 | 8 | 1 | 1 | maintained | ||
Professionally produced redesign of Crimson by Jacques Le Bailly |
0-unstable-2022-08-30 |
1 | 3 | 0 | 0 | single | ||
Monospace bitmap font aimed at programmers |
2.92 → 2.93 |
2 | 6 | 0 | 0 | maintained outdated | ||
/efont/ Unicode bitmap font |
0.4.2 |
1 | 6 | 0 | 0 | single | ||
A dependently typed functional programming language and proof assistant |
2.8.0 → 2.8.0.2 |
3 | 41 | 12 | 25 | maintained outdated | ||
Compiling Agda code to readable Haskell |
1.4 |
1 | 13 | 0 | 0 | single | ||
An IRC client library |
1.1.2.3 |
2 | 20 | 1 | 1 | maintained | ||
Lambdabot is a development tool and advanced IRC bot |
5.3.1.2 |
1 | 13 | 0 | 0 | single | ||
Build system library, like Make, but more accurate dependencies |
0.19.9 |
1 | 17 | 55 | 64 | single | ||
Lightweight and flexible command-line JSON processor |
1.8.2 |
4 | 7 | 694 | 3,457 | maintained | ||
Lambdabot is a development tool and advanced IRC bot |
5.3.1.2 |
1 | 18 | 0 | 0 | single | ||
An mpv plugin for cutting videos incredibly quickly |
2.2.0-unstable-2023-11-21 |
1 | 2 | 0 | 0 | single unfree | ||
Bash completions for Nix, NixOS, and NixOps |
0.6.8 |
1 | 2 | 0 | 0 | single | ||
Files database for nixpkgs |
0.1.11 |
2 | 6 | 0 | 0 | maintained | ||
Files database for nixpkgs |
0.1.11 |
2 | 10 | 2 | 2 | maintained | ||
Material Design theme for GNOME/GTK based desktop environments |
2026-07-07 |
1 | 5 | 0 | 0 | single | ||
Build system library, like Make, but more accurate dependencies |
0.19.9 |
1 | 17 | 0 | 0 | single | ||
Simple X hotkey daemon |
0.6.3 |
1 | 8 | 0 | 0 | single | ||
Thunar plugin providing tagging and renaming features for media files |
0.6.0 |
4 | 11 | 0 | 0 | maintained | ||
Color emoji SVGinOT font using Twitter Unicode 15 emoji with diversity and country flags |
15.1.0 |
1 | 8 | 0 | 0 | single | ||
Utility for managing X11 compose key sequences |
0.5.1 |
1 | 18 | 0 | 0 | single |