GuildRegister

Functional Programming

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

Invite SplashMember Verification Gate EnabledCommunityDiscoverableAnimated IconSoundboardAuto ModerationNewscreated Feb 11, 2017id 280033776820813825
14,268
members
1,664
online now
11.7%
active ratio
83
legitimacy score
2
Nitro boosts
High
verification gate
3h ago
last measured
How the legitimacy score of 83 is calculated
Activity +35 11.7% onlineVerified / partner +0 noAge +15 9.6 yrSize +17 14,268 membersCommunity status +10 discoverableTrack record +6 measured 23 day(s) over 27d

Live activity (widget)

2,248
online (widget)
2
visible channels

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

Education StudyHaskellLispIdrisEN

Now playing

Europa Universalis V 1Fallout 4 1Star Citizen 1World of Warcraft 1

Member history

14,29114,264Sep 6, 2026

Measured 38 times; its member count changed 21 times.

Invites seen

CodeTypeStatusLast live
discord.gg/FvT2Y5Ninvitelive3h ago
discord.gg/8w9tRKainvitelive26d ago
discord.gg/eTbWSZjinvitelive26d ago
discord.gg/xQwR7P7invitelive27d ago
discord.gg/WDqsWsnZfRinvitelive27d ago
discord.gg/kENVVQ5invitelive27d ago
discord.gg/K6XHBShinvitelive27d ago
discord.gg/pKYf3zDQU7invitelive27d ago

Same-operator servers

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

Godot Café84,124
QMK27,215
ReasonMLverified7,559
zio5,113
Low-Level Programming3,173
Data & Dev Ops1,931
Linsa1,277
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.