{"schemaVersion":1,"kind":"project","documentationUrl":"https://decomphub.com/data","project":{"id":"615ede0d-e3a2-43f6-b0c2-f1ff9f71e4e0","slug":"dafny-languageserver-sa","revision":3,"name":"Dafny_LanguageServer_SA","description":"Reimplementation of the Dafny Language Server in C#","url":"https://app.decomphub.com/projects/dafny-languageserver-sa","jsonUrl":"https://app.decomphub.com/data/projects/dafny-languageserver-sa.json","markdownUrl":"https://app.decomphub.com/data/projects/dafny-languageserver-sa.md","category":"applications","workTypes":["reimplementation"],"targets":["Dafny Language Server"],"status":"archived","publishedAt":"2026-10-09T04:28:24.766Z","updatedAt":"2026-10-11T14:40:44.684Z","repository":{"url":"https://github.com/just-me-/dafny_languageserver_sa","host":"github.com","fullPath":"just-me-/dafny_languageserver_sa","description":"Reimplementation of the Dafny Language Server in C#","license":null,"starCount":0,"starsCheckedAt":"2026-10-09T04:21:54.573Z","upstreamArchived":true,"defaultBranch":null,"latestDefaultBranchCommitAt":null,"metadataCheckedAt":"2026-10-09T04:21:54.573Z"},"progress":[],"sources":[{"label":"Public repository metadata","url":"https://github.com/just-me-/dafny_languageserver_sa"},{"label":"Discovery query","url":"https://api.github.com/search/repositories?q=%22reimplementation%22+in%3Aname%2Cdescription+is%3Apublic+fork%3Afalse+created%3A2019-11-17..2021-01-23&sort=updated&order=desc&per_page=100&page=7"}],"longDescription":"","aliases":[],"originalPlatforms":[],"outputPlatforms":[],"architectures":[],"languages":["C#"],"tags":[],"links":{"website":null,"documentation":null,"releases":null,"buildInstructions":null,"repositories":[],"community":[],"support":[],"issues":[]},"contribution":{"status":"unknown","helpNeeded":[],"url":null,"sourceUrl":null,"checkedAt":null,"prerequisites":"","environments":[],"aiPolicy":"unspecified","aiPolicySourceUrl":null,"aiPolicyConditions":""},"originalAssetsNote":""}}