{"id":22409419,"url":"https://github.com/ilyasergey/monadic-cfa","last_synced_at":"2025-07-31T20:31:14.152Z","repository":{"id":2734354,"uuid":"3729829","full_name":"ilyasergey/monadic-cfa","owner":"ilyasergey","description":"Generic implementation of different CFA families based on monadic decomposition","archived":false,"fork":false,"pushed_at":"2013-01-16T22:40:20.000Z","size":324,"stargazers_count":19,"open_issues_count":0,"forks_count":0,"subscribers_count":4,"default_branch":"master","last_synced_at":"2023-08-10T05:03:25.794Z","etag":null,"topics":["abstract-interpretation","haskell","k-cfa","monads","static-analysis"],"latest_commit_sha":null,"homepage":"http://github.com/ilyasergey/monadic-cfa/wiki","language":"Haskell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/ilyasergey.png","metadata":{"files":{"readme":"README","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}},"created_at":"2012-03-15T15:44:22.000Z","updated_at":"2023-06-28T20:30:26.000Z","dependencies_parsed_at":"2022-09-04T16:30:22.277Z","dependency_job_id":null,"html_url":"https://github.com/ilyasergey/monadic-cfa","commit_stats":null,"previous_names":[],"tags_count":0,"template":null,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ilyasergey%2Fmonadic-cfa","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ilyasergey%2Fmonadic-cfa/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ilyasergey%2Fmonadic-cfa/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ilyasergey%2Fmonadic-cfa/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/ilyasergey","download_url":"https://codeload.github.com/ilyasergey/monadic-cfa/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":228295605,"owners_count":17897596,"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":["abstract-interpretation","haskell","k-cfa","monads","static-analysis"],"created_at":"2024-12-05T12:07:40.391Z","updated_at":"2024-12-05T12:07:41.095Z","avatar_url":"https://github.com/ilyasergey.png","language":"Haskell","funding_links":[],"categories":[],"sub_categories":[],"readme":"Project structure:\n------------------\n\nCFA         - General modules, shred between different CFA instances and languages\n |- AFJ     - A family of analyses based on CESK Abstract Machine \n |            for A-Normal Featherweight Java\n |- CESK    - A family of analyses based on CESK Abstract Machine\n |            for direct-style Lambda-calculus\n |- CPS     - A family of analyses based on CPS Scheme\n\nHow to build:\n-------------\n\nBuild everything:\n\nmake all    \n\nBuild CPS-based analyses: \n\nmake cps\n\nBuild CESK-based analyses: \n\nmake cesk\n\nBuild ANF FJ-based analyses: \n\nmake afj\n\nClean:\n\nmake clean","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Filyasergey%2Fmonadic-cfa","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Filyasergey%2Fmonadic-cfa","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Filyasergey%2Fmonadic-cfa/lists"}