stepbrobd Yifei Sun
github.com/stepbrobd · maintains 707 packages (703 directly), sole maintainer of 29, member of 0 teams
29 packages
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
BPF portability analyzer for compiled eBPF object files |
0.2.1 |
1 | 3 | 0 | 0 | single | ||
Check if an email address exists without sending any email |
0.11.7 |
1 | 8 | 0 | 0 | single | ||
Coq library for tactics, basic definitions, sets, maps |
0.0.7 |
1 | 6 | 0 | 0 | single | ||
A content security policy violation collector written in Golang |
0.0.23 |
1 | 4 | 0 | 0 | single | ||
Goose converts a small subset of Go to Coq |
0.9.2 |
1 | 3 | 0 | 0 | single | ||
GTFS Realtime transit arrivals for Home Assistant |
0.4.10 |
1 | 15 | 0 | 0 | single | ||
See through all BGP data with a monocle |
1.6.0 |
1 | 7 | 0 | 0 | single | ||
TUI monitor configuration tool for niri with visual layout, drag-and-drop, and profile management |
2026.819.0 |
1 | 6 | 0 | 0 | single | ||
Package dependency solver |
2.18 |
1 | 6 | 1 | 4 | single | ||
Collection of cmdliner terms to control OCaml runtime parameters |
1.0.1 |
1 | 6 | 0 | 0 | single | ||
LSP server for automated deduction languages |
0.10 |
1 | 12 | 0 | 0 | team-only | ||
Small library used to generate Ninja build files |
2.0.0 |
1 | 6 | 0 | 0 | single | ||
Opam solver using 0install backend using the CUDF interface |
0.5.0 |
1 | 8 | 1 | 3 | single | ||
Actions on the opam root, switches, installations, and front-end |
2.5.2 → 2.6.1 |
1 | 11 | 1 | 1 | team-only outdated | ||
This library is based on the Cudf and Dose libraries, and handles calls to the external solver from opam |
2.5.2 → 2.6.1 |
1 | 12 | 1 | 2 | team-only outdated | ||
A tool that builds standalone installers for your OCaml applications |
0-unstable-2025-12-02 → 0.1.0 |
1 | 13 | 0 | 0 | single outdated | ||
Compiler from OCaml bytecode to WebAssembly |
6.4.1 |
1 | 13 | 0 | 0 | team-only | ||
Python library for Reformatting GTFS data for Station Arrivals |
0.11.8 |
1 | 28 | 0 | 0 | single | ||
Python bindings for the MetaWear C++ SDK by MbientLab |
1.0.8 |
1 | 20 | 0 | 0 | single unfree | ||
Python bindings for MbientLab's Warble library |
1.2.9 |
1 | 16 | 1 | 1 | single unfree | ||
Python library for Reformatting GTFS data for Station Arrivals |
0.11.8 |
1 | 28 | 1 | 1 | single | ||
Python bindings for the MetaWear C++ SDK by MbientLab |
1.0.8 |
1 | 20 | 0 | 0 | single unfree | ||
Python bindings for MbientLab's Warble library |
1.2.9 |
1 | 16 | 1 | 1 | single unfree | ||
RPKI data proxy |
0.3.3 |
1 | 6 | 0 | 0 | single | ||
Tool for exploring where BPF stack usage comes from |
0.4.0 |
1 | 4 | 0 | 0 | single | ||
Linux + iPhone Continuity / iMessage / SMS |
0.2.35 → 0.2.36 |
1 | 15 | 0 | 0 | single outdated | ||
Tree-sitter grammar for rocq |
0.2.0 |
1 | 3 | 0 | 0 | single | ||
Build Caddy with plugins |
0.4.7 |
1 | 4 | 0 | 0 | single | ||
Nordic yazi |
0-unstable-2026-02-03 |
1 | 2 | 0 | 0 | single |