| id | displayName | cluster |
|---|---|---|
| language:agda | Agda | domain |
| language:common-lisp | Common Lisp | domain |
| language:coq | Coq | domain |
| language:csharp | C# | domain |
| language:elixir | Elixir | domain |
| language:elm | Elm | domain |
| language:erlang | Erlang | domain |
| language:fsharp | F# | domain |
| language:haskell | Haskell | domain |
| language:idris | Idris | domain |
| language:javascript | JavaScript | domain |
| language:lean | Lean | domain |
| language:nim | Nim | domain |
| language:ocaml | OCaml | domain |
| language:purescript | PureScript | domain |
| language:r-lang | R | domain |
| language:racket | Racket | domain |
| language:reasonml | ReasonML | domain |
| language:rescript | ReScript | domain |
| language:ruby | Ruby | domain |
| language:scheme | Scheme | domain |