Steven Gonsalvez

Software Engineer


CEREBRO


machine-read, publicly sourced

Every developer below appears because CEREBRO already kept at least one signal about a GitHub repository they own or push to. Each page states what the public GitHub event feed records about that login over the last 7, 30 and 90 days, and links to the signals that put them in the pool. There is no score on this page and no ordering by volume: the default order is how many separate days a login pushed on, which is the one measurement the underlying data supports.

A push is one GitHub PushEvent: a single publication of one or more commits to a branch. It is not a commit count, and the public event feed under-counts pull requests, issues and stars since mid-2025, so these numbers describe push activity only.

How a developer ends up here

Open work, in one field
This archive follows one patch of ground: coding agents, terminal tooling, agent frameworks and the open repositories developers actually build with. A project reaches it only by clearing the same relevance bar as every other story here, so the people in this index are the ones behind open work in that space. What put somebody here is a thing they made that other developers found worth using, never anything about them.
And no popularity bar
How many people have starred a repository shows on a profile as a fact about that repository. It is neither a threshold to clear nor a sort key, so a small project that solved a real problem for other developers can be the whole reason somebody appears here, and a large one confers nothing extra.
The anchor
Every candidate starts as a link. A signal note already in this archive cites a GitHub repository, and the account that owns or pushes to it becomes somebody the pipeline knows about. Nothing here is discovered by going looking for people.
One hop
The pipeline then asks those same repositories who else builds them. Exactly one hop, never two, and how many commits each person has is thrown away at that boundary rather than carried forward, since it decides nothing later.
The hand-written few
A short list of logins is written into a config file by hand. They clear the same floors as everybody else and their record says plainly that no account check was ever made for them, because being on somebody’s list is not a measurement.
Three floors, no arithmetic
One: at least one signal note in this archive, or there is no page. That is the answer to “why is this person here”. Two: fewer than five active days in ninety gets a label saying so and is never removed, because thin data about somebody is a fact about the data rather than about them. Three: an account whose activity has the shape of automation is held back, and one with a recorded verdict against it is out. The three are independent and each is reported on the profile in its own words. There is no sum and no weighting, because a combined number would be a judgement of a person wearing a decimal point.
The order, and why it is not volume
The default order is how many separate days an account pushed on. Ordering by raw volume was measured and abandoned: it puts automation and mass-repository activity far above people doing ordinary careful work, which makes the list a measure of machinery rather than of anything worth reading. Consistency is the one thing the underlying feed supports.

Loading developer profiles…

If your work is here and you are not

If your work is in this archive and you are not in the index, you can ask to be tracked: open a request naming your own GitHub handle. It is self-nomination only — the account asking has to be the account being added.

A request adds the login to the tracked roster, which is not the same as creating a page. The profile appears once this archive has kept a signal about a repository that login owns or pushes to, and until then there is nothing honest to put on one. Nothing is published by the automation: a person merges the change first.

Ask to be tracked ↗

If this page is about you and you would rather it were not

If you ask to be removed, this site no longer generates your developer profile, and the pages that are already live come down on the next build. What it cannot do is erase public git history, the GH Archive replica of the public event feed these numbers are derived from, search-engine or Wayback caches, or copies anyone has already cloned. Removal here covers the developer profile page and the developer index entry; where this archive cites public writing by that person as a signal, that citation is a separate record with its own removal path, and it is not covered by this request.

To be removed, open an issue on the pipeline's public repository naming the GitHub login you want taken down. You do not have to give a reason, and none is recorded: the list this site keeps holds the login, the date, how the request arrived and who wrote it down, and nothing about you.

The site rebuilds from a fresh clone of the archive every morning at 07:00, so a removal recorded today is live by the next morning at the latest. An urgent removal is rebuilt the same day by triggering a deploy by hand.

Open a removal request ↗