GuildRegister

Functional Programming

All about functional programming with Haskell, Lisp, ML and proof checkers like Idris, Lean, etc.

Member Verification Gate EnabledInvite SplashSoundboardAnimated IconCommunityNewsDiscoverableAuto Moderationcreated Feb 11, 2017id 280033776820813825
14,272
members
1,760
online now
12.3%
active ratio
83
legitimacy score
2
Nitro boosts
High
verification gate
6h ago
last measured
How the legitimacy score of 83 is calculated
Activity +35 12.3% onlineVerified / partner +0 noAge +15 9.6 yrSize +17 14,272 membersCommunity status +10 discoverableTrack record +6 measured 22 day(s) over 25d

Live activity (widget)

1,649
online (widget)
2
visible channels

📈 Measured live across 22 days (25d tracked, 22 snapshots). 🔗 Linked 7 times across the web. 😀 54 custom emojis.

Education StudyHaskellLispIdrisEN

Now playing

Baldur's Gate III 1League of Legends 1

Member history

14,29114,264Sep 4, 2026

Measured 35 times; its member count changed 20 times.

Invites seen

CodeTypeStatusLast live
discord.gg/FvT2Y5Ninvitelive6h ago
discord.gg/8w9tRKainvitelive24d ago
discord.gg/eTbWSZjinvitelive24d ago
discord.gg/xQwR7P7invitelive25d ago
discord.gg/WDqsWsnZfRinvitelive25d ago
discord.gg/kENVVQ5invitelive25d ago
discord.gg/K6XHBShinvitelive25d ago
discord.gg/pKYf3zDQU7invitelive25d ago

Same-operator servers

Other servers whose invites were created by the same account — often one operator or a network.

Godot Café84,168
QMK27,203
ReasonMLverified7,562
zio5,115
Low-Level Programming3,171
Data & Dev Ops1,931
Linsa1,274
Formium1,146
nikiv.dev82
MDX Conf38
Embed & API. stats badge<img src="https://guildregister.com/badge/280033776820813825.svg"> · JSON · Own this server? Claim it

First seen Aug 10, 2026. Member and online counts are Discord's own approximate counts, measured from the public invite API. GuildRegister is not affiliated with Discord.