GuildRegister

CakeML

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

SoundboardNewsCommunitycreated Nov 7, 2023id 1171421764379742258
192
members
25
online now
13.0%
active ratio
62
legitimacy score
Low
verification gate
6h ago
last measured
How the legitimacy score of 62 is calculated
Activity +35 13.0% onlineVerified / partner +0 noAge +7 2.8 yrSize +9 192 membersCommunity status +5 communityTrack record +6 measured 22 day(s) over 27d

📈 Measured live across 22 days (27d tracked, 23 snapshots).

ScienceFormal VerificationTheorem ProvingCompiler DevelopmentEN

Member history

193192Sep 6, 2026

Measured 25 times; its member count changed 2 times.

Invites seen

CodeTypeStatusLast live
discord.gg/a8UUs6Ce6minvitelive6h 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.