All about functional programming with Haskell, Lisp, ML and proof checkers like Idris, Lean, etc.
Rankings include publicly discoverable servers and user-submitted servers with 100+ members. Growth rankings reflect weekly member changes.