{"id":13803815,"url":"https://github.com/jscoq/jscoq","last_synced_at":"2025-05-15T01:06:15.078Z","repository":{"id":31941376,"uuid":"35511034","full_name":"jscoq/jscoq","owner":"jscoq","description":"A port of Coq to Javascript -- Run Coq in your Browser","archived":false,"fork":false,"pushed_at":"2024-10-24T22:21:23.000Z","size":15061,"stargazers_count":525,"open_issues_count":82,"forks_count":46,"subscribers_count":18,"default_branch":"v8.20+lsp","last_synced_at":"2025-04-13T23:54:08.002Z","etag":null,"topics":["coq","integrated-development-environment","javascript","proof-assistant"],"latest_commit_sha":null,"homepage":"https://jscoq.github.io","language":"TypeScript","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":"source-foundry/Hack-windows-installer","license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/jscoq.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGES.md","contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSE","code_of_conduct":"CODE_OF_CONDUCT.md","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":"2015-05-12T20:29:34.000Z","updated_at":"2025-04-07T11:52:18.000Z","dependencies_parsed_at":"2024-12-06T01:07:12.338Z","dependency_job_id":"f50479e0-9e55-4950-846a-f39a0f36b832","html_url":"https://github.com/jscoq/jscoq","commit_stats":{"total_commits":1630,"total_committers":16,"mean_commits":101.875,"dds":"0.49570552147239266","last_synced_commit":"47f62ba864427061a7edda27d2021523f8980885"},"previous_names":[],"tags_count":44,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jscoq%2Fjscoq","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jscoq%2Fjscoq/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jscoq%2Fjscoq/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jscoq%2Fjscoq/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/jscoq","download_url":"https://codeload.github.com/jscoq/jscoq/tar.gz/refs/heads/v8.20+lsp","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":254254040,"owners_count":22039792,"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":["coq","integrated-development-environment","javascript","proof-assistant"],"created_at":"2024-08-04T01:00:38.138Z","updated_at":"2025-05-15T01:06:10.068Z","avatar_url":"https://github.com/jscoq.png","language":"TypeScript","readme":null,"funding_links":[],"categories":["Projects","JavaScript"],"sub_categories":["User Interfaces"],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fjscoq%2Fjscoq","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fjscoq%2Fjscoq","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fjscoq%2Fjscoq/lists"}