{"schemaVersion":1,"kind":"project","documentationUrl":"https://decomphub.com/data","project":{"id":"fcbd27b4-6b1d-4e94-bb67-d42d20f1d2f9","slug":"tposr","revision":2,"name":"TPOSR","description":"Autosubst 2 reimplementation of the paper \"Pure Type System conversion is always typable\"","url":"https://app.decomphub.com/projects/tposr","jsonUrl":"https://app.decomphub.com/data/projects/tposr.json","markdownUrl":"https://app.decomphub.com/data/projects/tposr.md","category":"games","workTypes":["source-reconstruction"],"targets":["Unknown"],"status":"unknown","publishedAt":"2026-10-12T07:38:24.592Z","updatedAt":"2026-10-12T07:38:24.592Z","repository":{"url":"https://github.com/yiyunliu/tposr","host":"github.com","fullPath":"yiyunliu/tposr","description":"Autosubst 2 reimplementation of the paper \"Pure Type System conversion is always typable\"","license":null,"starCount":1,"starsCheckedAt":"2026-10-06T23:52:30.577Z","upstreamArchived":false,"defaultBranch":null,"latestDefaultBranchCommitAt":null,"metadataCheckedAt":"2026-10-06T23:52:30.577Z"},"progress":[],"sources":[{"label":"Public repository metadata","url":"https://github.com/yiyunliu/tposr"},{"label":"Discovery query","url":"https://api.github.com/search/repositories?q=%22reimplementation%22+in%3Aname%2Cdescription+is%3Apublic+fork%3Afalse+created%3A2023-06-10..2024-08-16&sort=updated&order=desc&per_page=100&page=2"}],"longDescription":"","aliases":[],"originalPlatforms":[],"outputPlatforms":[],"architectures":[],"languages":["Coq"],"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":""}}