{"id":14966261,"url":"https://github.com/jasmin-lang/jasmin","last_synced_at":"2025-05-16T02:07:51.475Z","repository":{"id":37740751,"uuid":"78072136","full_name":"jasmin-lang/jasmin","owner":"jasmin-lang","description":"Language for high-assurance and high-speed cryptography","archived":false,"fork":false,"pushed_at":"2025-05-15T09:51:24.000Z","size":21480,"stargazers_count":292,"open_issues_count":133,"forks_count":63,"subscribers_count":11,"default_branch":"main","last_synced_at":"2025-05-15T10:27:19.570Z","etag":null,"topics":["compiler","coq","language"],"latest_commit_sha":null,"homepage":"","language":"Coq","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/jasmin-lang.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG.md","contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":"AUTHORS","dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2017-01-05T02:39:56.000Z","updated_at":"2025-05-15T09:51:27.000Z","dependencies_parsed_at":"2023-09-23T04:04:08.626Z","dependency_job_id":"37c7e3ca-6760-463f-8128-c9cd15d1bc58","html_url":"https://github.com/jasmin-lang/jasmin","commit_stats":{"total_commits":3715,"total_committers":55,"mean_commits":67.54545454545455,"dds":0.6732166890982503,"last_synced_commit":"d0b979e08b35cb52cc926e2448042105881ec71c"},"previous_names":[],"tags_count":17,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jasmin-lang%2Fjasmin","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jasmin-lang%2Fjasmin/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jasmin-lang%2Fjasmin/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jasmin-lang%2Fjasmin/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/jasmin-lang","download_url":"https://codeload.github.com/jasmin-lang/jasmin/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":254453652,"owners_count":22073617,"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":["compiler","coq","language"],"created_at":"2024-09-24T13:36:06.659Z","updated_at":"2025-05-16T02:07:51.442Z","avatar_url":"https://github.com/jasmin-lang.png","language":"Coq","funding_links":[],"categories":["Projects","Rocq Prover"],"sub_categories":["Verified Software"],"readme":"# Jasmin\n\n## About\n\nJasmin denotes both a language and a compiler designed for\nwriting high-assurance and high-speed cryptography.\n\nInformation about the Jasmin compiler and the related tools\ncan be found in the [wiki](https://github.com/jasmin-lang/jasmin/wiki).\n\n## License\n\nJasmin is free software. All files in this distribution are, unless specified\notherwise, licensed under the [MIT license](LICENSE).\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fjasmin-lang%2Fjasmin","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fjasmin-lang%2Fjasmin","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fjasmin-lang%2Fjasmin/lists"}