langbank languages ecosystems toolchains registries coverage identify source

langbank / toolchains /

dafny

No website or source recorded.

id: lsp-dafny
does: languageserver
programs: dafny
languages: Dafny
root markers: .git

← every toolchain

langbank is a leaf: it depends on nothing and describes what other tools need to agree on. Data is compiled to &'static at build time — this page parses nothing to render.

Assembled from linguist, purl-spec and other permissively licensed sources. Every figure on this site is generated from the data in the repository.