Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
mastodon.gamedev.place is one of the many independent Mastodon servers you can use to participate in the fediverse.
Mastodon server focused on game development and related topics.

Administered by:

Server stats:

5.5K
active users

mastodon.gamedev.place: AboutProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.6

Matthäus "Anteru" Chajdas

A few months late (... it's been a busy last quarter), but here we go, Pygments 2.19 is out: pygments.org/

597 languages, my goal for 2025 is to get to 600+ languages supported :) And maybe we'll get to 1 million projects using Pygments this year as well (currently at 903k by GitHub's latest count.)

pygments.orgWelcome! — Pygments
Jan 05, 2025, 02:29 PM·Public
0boosts·1favorite
ExploreLive feeds
About