stepbrobd Yifei Sun
github.com/stepbrobd · maintains 707 packages (703 directly), sole maintainer of 29, member of 0 teams
707 packages · page 8 of 8
| Package ▼ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Coq library for tactics, basic definitions, sets, maps |
0.0.7 |
1 | 6 | 0 | 0 | single | ||
Simple, stateless NixOS deployment tool |
0.5.0 |
2 | 8 | 0 | 0 | maintained | ||
Check if an email address exists without sending any email |
0.11.7 |
1 | 8 | 0 | 0 | single | ||
Unofficial CLI for speed.cloudflare.com |
2.2.2 |
2 | 6 | 0 | 0 | maintained | ||
Flexible cross-platform IIR and FIR engine for crossovers, room correction etc |
4.1.3 |
2 | 10 | 0 | 0 | maintained | ||
Fast and extensible multi-platform HTTP/1-2-3 web server with automatic HTTPS |
2.11.7 |
3 | 6 | 1 | 1 | maintained | ||
BPF portability analyzer for compiled eBPF object files |
0.2.1 |
1 | 3 | 0 | 0 | single |