GuildRegister

CakeML

CakeML - verified compiler, and theorem proving in higher-order logic

NewsSoundboardCommunitycreated Nov 7, 2023id 1171421764379742258
191
members
34
online now
17.8%
active ratio
64
legitimacy score
Low
verification gate
22h ago
last measured
How the legitimacy score of 64 is calculated
Activity +35 17.8% onlineVerified / partner +0 noAge +7 2.9 yrSize +9 191 membersCommunity status +5 communityTrack record +8 measured 32 day(s) over 46d

📈 Measured live across 32 days (46d tracked, 33 snapshots).

ScienceFormal VerificationTheorem ProvingCompiler DevelopmentEN

Member history

193191Sep 24, 2026

Measured 42 times; its member count changed 3 times.

Invites seen

CodeTypeStatusLast live
discord.gg/a8UUs6Ce6minvitelive22h ago
Embed & API. stats badge<img src="https://guildregister.com/badge/1171421764379742258.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.