Agentic AI Atlasby a5c.ai
/
GitHubDocsDiscord
iiiNode kind
Agentic AI Atlas · Language
3 recordsa5c.ai
III.
Node kind ledger

Language

Page 1 of 1

Language records

Browse all Language records in the current atlas snapshot.

Cluster · domainTotal · 50Visible · 3
paradigms: proof-assistant xclear all
Filters & facets1 active · 1 groups

paradigms

functional · 27imperative · 25object-oriented · 18scripting · 6declarative · 5dependently-typed · 4pure · 4proof-assistant · 3low-level · 3systems · 3lisp · 3concurrent · 3
id-ascid-descname-ascname-desc
iddisplayNamecluster
language:agdaAgdadomain
language:coqCoqdomain
language:leanLeandomain