sei40kr Seong Yong-ju
github.com/sei40kr · maintains 17 packages (17 directly), sole maintainer of 16, member of 0 teams
17 packages
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Helper tool to watch GNOME Pomodoro timer |
0-unstable-2023-12-20 |
1 | 5 | 0 | 0 | single | ||
Notion Desktop builds with Notion Enhancer for Windows, macOS and Linux |
2.0.18-1 |
1 | 2 | 0 | 0 | single unfree | ||
GTK3-based button bar for sway and other wlroots-based compositors |
0.1.6 |
1 | 8 | 0 | 0 | single | ||
Analyze problems of competitive programming and automatically generate boilerplate |
4.8.1 |
1 | 24 | 0 | 0 | single | ||
Tools for various online judges. Download sample cases, generate additional test cases, test your code, and submit it |
12.0.0 |
1 | 19 | 0 | 0 | single | ||
Library that automatically infers dependencies for Python files |
0.8.1 |
1 | 15 | 0 | 0 | single | ||
API client to develop tools for competitive programming |
10.10.1 |
1 | 21 | 1 | 1 | single | ||
Tools for various online judges. Download sample cases, generate additional test cases, test your code, and submit it |
12.0.0 |
1 | 20 | 0 | 0 | single | ||
Google Drive API Python wrapper library |
1.21.3 |
1 | 21 | 1 | 1 | single broken | ||
Library that automatically infers dependencies for Python files |
0.8.1 |
1 | 15 | 1 | 1 | single | ||
API client to develop tools for competitive programming |
10.10.1 |
1 | 21 | 3 | 4 | single | ||
Tools for various online judges. Download sample cases, generate additional test cases, test your code, and submit it |
12.0.0 |
1 | 20 | 2 | 2 | single | ||
Google Drive API Python wrapper library |
1.21.3 |
1 | 21 | 1 | 1 | single broken | ||
Yet another repository management with auto-attaching profiles |
0.4.5 |
1 | 11 | 0 | 0 | single | ||
Tree-sitter grammar for fstar |
0-unstable-2026-03-14 |
1 | 3 | 0 | 0 | single | ||
Swiss Army Knife for Zsh - Unix Shell |
1.0.0-unstable-2022-04-09 |
1 | 3 | 0 | 0 | single | ||
Flexible zsh plugin manager |
3.17.0 |
4 | 4 | 0 | 0 | maintained |