Skip to content

Add Vyper#1354

Open
ThatOneCalculator wants to merge 2 commits into
XAMPPRocky:masterfrom
ThatOneCalculator:feat/vyper
Open

Add Vyper#1354
ThatOneCalculator wants to merge 2 commits into
XAMPPRocky:masterfrom
ThatOneCalculator:feat/vyper

Conversation

@ThatOneCalculator

@ThatOneCalculator ThatOneCalculator commented May 8, 2026

Copy link
Copy Markdown

Adds the Vyper language, which is a syntactical superset of Python.

Also removes vy from Menhir.
Github, along with every other software forge, all treat .vy as Vyper. vy is used for Menhir, but only in specific
circumstances
, and Vyper is used far than
Menhir for .vy files
.

…ical superset of Python.

Also removes `vy` from Menhir.
[Github](https://github.com/github-linguist/linguist/blob/5da575ee6562acc0ef89742d969a7d1b41a84457/lib/linguist/languages.yml#L8015-L8022),
along with every other software forge, all treat `.vy` as Vyper. `vy`
*is* used for Menhir, but only in [specific
circumstances](https://gallium.inria.fr/~fpottier/menhir/manual.html#sec2),
and [Vyper is used far than
Menhir for `.vy` files](https://github.com/search?q=path%3A*.vy+NOT+is%3Afork&type=code).
Migelo added a commit to Migelo/tokei that referenced this pull request Jun 23, 2026
…y#1354)

Port of upstream XAMPPRocky#1354. Also adds Vyper to the README
language list for consistency (the upstream PR omitted that).

Co-Authored-By: Kainoa Kanter <kainoa@t1c.dev>
@Migelo

Migelo commented Jun 26, 2026

Copy link
Copy Markdown

Hi, thanks for this contribution. Your changes have been implemented in Migelo/tokei, an actively maintained fork of tokei, and are included in the latest release. You can download prebuilt binaries here: https://github.com/Migelo/tokei/releases/tag/v14.2.0

To be clear, this fork is not an attempt to usurp or replace the original maintainer. It just aims to keep things moving and ship contributions like yours. Thanks again for your work.

@ThatOneCalculator

Copy link
Copy Markdown
Author

@XAMPPRocky requesting review

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants