#agda

Live, measured metrics for the hashtag #agda from the open social web. Every number carries a named source and the time it was fetched. Nothing is estimated.

hashtag.org network · sponsored

Own #agda

This #name is available to claim. It becomes your portal on the open agent web: this very page, a keyword you rank for by an open public stake, and a verifiable identity for AI agents. Nobody else sells a page like this for every #name.

$2,449.80/ year · 4-character #name
Claim #agda — $2,449.80/yr→
Annual, renews each year
Buy on hashtag.space (web3)
one-timepay once, yours for life
card via hashtag.org · tokens via hashtag.space
2
Uses / 7 days
Mastodon
2
Accounts / 7 days
Mastodon
40
Recent posts
Mastodon
~0/hr
Recent pace
Mastodon · last 40
1.2
Avg reactions / post
Mastodon · last 40

Day-by-day usage

measured · fosstodon.org (Mastodon public tags API) · fetched 2026-07-27 05:17 UTC
0
07-21
1
07-22
0
07-23
0
07-24
0
07-25
1
07-26
0
07-27

2 uses by 2 unique accounts across the window. Real per-day counts, not estimates. Newest bar is today so far.

Related hashtags

measured · fosstodon.org (Mastodon public search API) · fetched 2026-07-27 05:17 UTC
#agdata
0 uses · 0 accounts / 7d
#agdacore
0 uses · 0 accounts / 7d
#agdas
0 uses · 0 accounts / 7d
#agday
0 uses · 0 accounts / 7d
#agdananessel
0 uses · 0 accounts / 7d
#agdas22
0 uses · 0 accounts / 7d
#agday19
0 uses · 0 accounts / 7d
#agdavis
0 uses · 0 accounts / 7d
#AGDatendemokratie
0 uses · 0 accounts / 7d
#agdayau
0 uses · 0 accounts / 7d
#agdarksky
0 uses · 0 accounts / 7d
#agdaholst
0 uses · 0 accounts / 7d

Live pulse

measured · fosstodon.org (Mastodon tag timeline) · fetched 2026-07-27 05:17 UTC

Everything below is measured over the latest 40 public posts (spanning ~3091 hours).

Posting hours (UTC) — busiest: 07:00

00:0012:0023:00

Languages: English (36) · Italian (2) · Afar (1) · Spanish (1)

Avg boosts / post: 3.5

Top of the latest posts

  • Finally finished a just-for-fun, completely-from-scratch constructive proof of the Fundamental Theorem of Arithmetic (just the existence part, not uniqueness (yet)) in #Agda. Took me about 10 hours and 750 lines of code. Fun times! Will pro

    Brent Yorgey@[email protected]♥ 27↻ 72026-04-21 13:20 UTCView post →

  • Do you want to use functional programming to find new ways to develop, test and formally verify software or hardware? Come and work with us! [Patrik Jansson, Koen Claessen, Mary Sheeran] We are announcing two ProgLang PostDoc positions in t

    Patrik Jansson@[email protected]♥ 11↻ 312026-06-18 11:58 UTCView post →

  • So, what language is everybody using for https://icfpcontest2026.com/ ? I'm probably going to use #Haskell (GHC) but I think it would be fun to use #Idris I know there are several teams that used to be #CPlusPlus but I think most of them ha

    Boyd Stephen Smith Jr.@[email protected]♥ 5↻ 02026-07-13 20:16 UTCView post →

Every number above is measured from a named public API at the shown fetch time. Nothing is estimated or extrapolated. Platforms that lock their data behind paid APIs are not shown. Agents: the same numbers, as JSON, at /api/hashtags/agda