III.
Node kind ledger
Page 1 of 1Language
Language records
Browse all Language records in the current atlas snapshot.
Filters & facets1 active · 1 groups
| 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:kotlin | Kotlin | domain |
| language:lean | Lean | domain |
| language:nim | Nim | domain |
| language:ocaml | OCaml | domain |
| language:purescript | PureScript | domain |
| language:python | Python | domain |
| language:r-lang | R | domain |
| language:racket | Racket | domain |
| language:reasonml | ReasonML | domain |
| language:rescript | ReScript | domain |
| language:ruby | Ruby | domain |
| language:rust | Rust | domain |
| language:scala | Scala | domain |
| language:scheme | Scheme | domain |
| language:swift | Swift | domain |
| language:typescript | TypeScript | domain |