{"id":21173468,"url":"https://github.com/rlepigre/pml","last_synced_at":"2025-08-17T21:37:08.321Z","repository":{"id":49358047,"uuid":"101968769","full_name":"rlepigre/pml","owner":"rlepigre","description":"New version of the PML language and (classical) proof assistant","archived":false,"fork":false,"pushed_at":"2022-08-17T06:47:59.000Z","size":6058,"stargazers_count":20,"open_issues_count":19,"forks_count":2,"subscribers_count":5,"default_branch":"master","last_synced_at":"2025-05-31T17:36:32.887Z","etag":null,"topics":["classical-logic","ocaml","pml","program-equivalence","proof-assistant"],"latest_commit_sha":null,"homepage":"http://pml-lang.org","language":"OCaml","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/rlepigre.png","metadata":{},"created_at":"2017-08-31T06:46:11.000Z","updated_at":"2024-09-04T01:04:34.000Z","dependencies_parsed_at":"2022-07-30T16:18:49.570Z","dependency_job_id":null,"html_url":"https://github.com/rlepigre/pml","commit_stats":null,"previous_names":[],"tags_count":3,"template":false,"template_full_name":null,"purl":"pkg:github/rlepigre/pml","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rlepigre%2Fpml","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rlepigre%2Fpml/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rlepigre%2Fpml/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rlepigre%2Fpml/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/rlepigre","download_url":"https://codeload.github.com/rlepigre/pml/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rlepigre%2Fpml/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":264503949,"owners_count":23618762,"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":["classical-logic","ocaml","pml","program-equivalence","proof-assistant"],"created_at":"2024-11-20T16:37:33.004Z","updated_at":"2025-07-09T21:30:26.401Z","avatar_url":"https://github.com/rlepigre.png","language":"OCaml","funding_links":[],"categories":[],"sub_categories":[],"readme":null,"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Frlepigre%2Fpml","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Frlepigre%2Fpml","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Frlepigre%2Fpml/lists"}