{"id":21388647,"url":"https://github.com/sec-bit/tmap","last_synced_at":"2025-03-16T12:41:48.374Z","repository":{"id":86030276,"uuid":"131244376","full_name":"sec-bit/tmap","owner":"sec-bit","description":"A total map implementation","archived":false,"fork":false,"pushed_at":"2018-04-27T06:38:33.000Z","size":3,"stargazers_count":1,"open_issues_count":0,"forks_count":1,"subscribers_count":4,"default_branch":"master","last_synced_at":"2025-01-23T00:27:00.460Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Coq","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/sec-bit.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2018-04-27T04:12:41.000Z","updated_at":"2018-06-16T15:03:00.000Z","dependencies_parsed_at":"2023-03-13T08:14:33.601Z","dependency_job_id":null,"html_url":"https://github.com/sec-bit/tmap","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sec-bit%2Ftmap","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sec-bit%2Ftmap/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sec-bit%2Ftmap/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sec-bit%2Ftmap/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/sec-bit","download_url":"https://codeload.github.com/sec-bit/tmap/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":243871524,"owners_count":20361375,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2024-11-22T12:18:58.774Z","updated_at":"2025-03-16T12:41:48.355Z","avatar_url":"https://github.com/sec-bit.png","language":"Coq","funding_links":[],"categories":[],"sub_categories":[],"readme":"# TMap.v -- A simple total map implementation for coq\n\nAuthor: Yu Guo  \u003cecho \"aciclo#gmail\" | sed -e 's/\\#/\\@/' | sed -e 's/il/\\il.com/'\u003e\n\nA total map implementation\n\n## Coq version\n\nRequire Coq \u003e= 8.6\n\n## References\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsec-bit%2Ftmap","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fsec-bit%2Ftmap","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsec-bit%2Ftmap/lists"}