{"id":33209330,"url":"https://github.com/PLSysSec/FaCT","last_synced_at":"2025-11-21T04:03:54.761Z","repository":null,"keywords":[],"created_at":"2025-11-16T11:00:20.715Z","updated_at":"2025-11-16T11:00:20.715Z","avatar_url":null,"language":null,"readme":null,"funding_links":[],"categories":["OCaml","Other"],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2FPLSysSec%2FFaCT","html_url":"https://awesome.ecosyste.ms/projects/github.com%2FPLSysSec%2FFaCT","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2FPLSysSec%2FFaCT/lists"}