{"id":204347,"name":"liquid-fixpoint","ecosystem":"hackage","description":"This package implements an SMTLIB based Horn-Clause/Logical Implication constraint\nsolver used for Liquid Types.\n\nThe package includes:\n\nTypes for Expressions, Predicates, Constraints, Solutions\n\nCode for solving constraints\n\nRequirements\n\nIn addition to the .cabal dependencies you require\n\nA Z3 (http://z3.codeplex.com) or CVC4 (http://cvc4.cs.nyu.edu) binary.","homepage":"https://github.com/ucsd-progsys/liquid-fixpoint#readme","licenses":"BSD-3-Clause","normalized_licenses":["BSD-3-Clause"],"repository_url":"https://github.com/ucsd-progsys/liquid-fixpoint","keywords_array":["bsd3","language","library","program","Propose Tags"],"namespace":null,"versions_count":36,"first_release_published_at":"2013-09-23T07:49:04.000Z","latest_release_published_at":"2021-11-03T13:24:09.000Z","latest_release_number":"8.10.7","last_synced_at":"2026-09-21T02:29:42.990Z","created_at":"2022-04-05T22:22:58.103Z","updated_at":"2026-09-22T02:23:56.144Z","registry_url":"https://hackage.haskell.org/package/liquid-fixpoint","install_command":"cabal install liquid-fixpoint","documentation_url":null,"metadata":{},"repo_metadata":{"id":6764946,"uuid":"8011618","full_name":"ucsd-progsys/liquid-fixpoint","owner":"ucsd-progsys","description":"Horn Clause Constraint Solving for Liquid Types","archived":false,"fork":false,"pushed_at":"2026-09-08T18:56:20.000Z","size":6617,"stargazers_count":166,"open_issues_count":45,"forks_count":71,"subscribers_count":8,"default_branch":"develop","last_synced_at":"2026-09-21T02:16:46.783Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"","language":"Haskell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"bsd-3-clause","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/ucsd-progsys.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGES.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":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2013-02-04T16:53:22.000Z","updated_at":"2026-09-08T18:54:27.000Z","dependencies_parsed_at":"2026-04-29T16:00:42.960Z","dependency_job_id":null,"html_url":"https://github.com/ucsd-progsys/liquid-fixpoint","commit_stats":{"total_commits":3286,"total_committers":52,"mean_commits":63.19230769230769,"dds":"0.48813146682897135","last_synced_commit":"0e1a4725793740f495c26957044c56488d6e1efc"},"previous_names":[],"tags_count":37,"template":false,"template_full_name":null,"purl":"pkg:github/ucsd-progsys/liquid-fixpoint","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/ucsd-progsys","download_url":"https://codeload.github.com/ucsd-progsys/liquid-fixpoint/tar.gz/refs/heads/develop","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":341189360,"owners_count":37576398,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-08-22T15:14:58.755Z","status":"online","status_checked_at":"2026-09-22T02:00:07.665Z","response_time":55,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"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"},"owner_record":{"login":"ucsd-progsys","name":"ucsd-progsys","uuid":"2334735","kind":"organization","description":null,"email":null,"website":null,"location":null,"twitter":null,"company":null,"icon_url":"https://avatars.githubusercontent.com/u/2334735?v=4","repositories_count":57,"last_synced_at":"2024-03-26T18:32:09.301Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/ucsd-progsys","funding_links":[],"total_stars":1742,"followers":12,"following":0,"created_at":"2022-11-04T05:30:31.196Z","updated_at":"2024-03-26T18:32:10.133Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/ucsd-progsys","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/ucsd-progsys/repositories"},"tags":[{"name":"v0.9.6.3.7","sha":"acb3b7d534c4ecc3a497333b863ffd06fe89e7cd","kind":"commit","published_at":"2026-06-04T18:57:59.000Z","download_url":"https://codeload.github.com/ucsd-progsys/liquid-fixpoint/tar.gz/v0.9.6.3.7","html_url":"https://github.com/ucsd-progsys/liquid-fixpoint/releases/tag/v0.9.6.3.7","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/ucsd-progsys/liquid-fixpoint@v0.9.6.3.7","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/v0.9.6.3.7","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/v0.9.6.3.7/manifests"},{"name":"v0.9.6.3.6","sha":"6712420a2bd55429a8f0fa0e9afd0be1d9be1491","kind":"commit","published_at":"2026-05-06T16:17:47.000Z","download_url":"https://codeload.github.com/ucsd-progsys/liquid-fixpoint/tar.gz/v0.9.6.3.6","html_url":"https://github.com/ucsd-progsys/liquid-fixpoint/releases/tag/v0.9.6.3.6","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/ucsd-progsys/liquid-fixpoint@v0.9.6.3.6","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/v0.9.6.3.6","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/v0.9.6.3.6/manifests"},{"name":"v0.9.6.3.5","sha":"98bb6d95d54c2f49d5f7366adb3387b780b3d787","kind":"commit","published_at":"2026-01-14T14:34:45.000Z","download_url":"https://codeload.github.com/ucsd-progsys/liquid-fixpoint/tar.gz/v0.9.6.3.5","html_url":"https://github.com/ucsd-progsys/liquid-fixpoint/releases/tag/v0.9.6.3.5","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/ucsd-progsys/liquid-fixpoint@v0.9.6.3.5","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/v0.9.6.3.5","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/v0.9.6.3.5/manifests"},{"name":"nightly-01-14-2026","sha":"98bb6d95d54c2f49d5f7366adb3387b780b3d787","kind":"commit","published_at":"2026-01-14T14:34:45.000Z","download_url":"https://codeload.github.com/ucsd-progsys/liquid-fixpoint/tar.gz/nightly-01-14-2026","html_url":"https://github.com/ucsd-progsys/liquid-fixpoint/releases/tag/nightly-01-14-2026","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/ucsd-progsys/liquid-fixpoint@nightly-01-14-2026","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/nightly-01-14-2026","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/nightly-01-14-2026/manifests"},{"name":"nightly-09-18-2025","sha":"42bb11d96d535fe61c3b58fe3f48dc6998589d74","kind":"commit","published_at":"2025-10-15T20:15:02.000Z","download_url":"https://codeload.github.com/ucsd-progsys/liquid-fixpoint/tar.gz/nightly-09-18-2025","html_url":"https://github.com/ucsd-progsys/liquid-fixpoint/releases/tag/nightly-09-18-2025","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/ucsd-progsys/liquid-fixpoint@nightly-09-18-2025","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/nightly-09-18-2025","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/nightly-09-18-2025/manifests"},{"name":"nightly-09-17-2025","sha":"42df12c380800d852a8cccef988ebef0973421db","kind":"commit","published_at":"2025-10-15T20:04:09.000Z","download_url":"https://codeload.github.com/ucsd-progsys/liquid-fixpoint/tar.gz/nightly-09-17-2025","html_url":"https://github.com/ucsd-progsys/liquid-fixpoint/releases/tag/nightly-09-17-2025","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/ucsd-progsys/liquid-fixpoint@nightly-09-17-2025","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/nightly-09-17-2025","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/nightly-09-17-2025/manifests"},{"name":"nightly-09-16-2025","sha":"42df12c380800d852a8cccef988ebef0973421db","kind":"commit","published_at":"2025-10-15T20:04:09.000Z","download_url":"https://codeload.github.com/ucsd-progsys/liquid-fixpoint/tar.gz/nightly-09-16-2025","html_url":"https://github.com/ucsd-progsys/liquid-fixpoint/releases/tag/nightly-09-16-2025","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/ucsd-progsys/liquid-fixpoint@nightly-09-16-2025","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/nightly-09-16-2025","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/nightly-09-16-2025/manifests"},{"name":"nightly-10-15-2025","sha":"2a5db6cb7f8be2a6b865640f210266065572c7a5","kind":"commit","published_at":"2025-10-15T19:47:02.000Z","download_url":"https://codeload.github.com/ucsd-progsys/liquid-fixpoint/tar.gz/nightly-10-15-2025","html_url":"https://github.com/ucsd-progsys/liquid-fixpoint/releases/tag/nightly-10-15-2025","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/ucsd-progsys/liquid-fixpoint@nightly-10-15-2025","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/nightly-10-15-2025","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/nightly-10-15-2025/manifests"},{"name":"nightly-test","sha":"42513e547e64909b3b4005fb347c11df3fd99250","kind":"commit","published_at":"2025-10-15T19:07:11.000Z","download_url":"https://codeload.github.com/ucsd-progsys/liquid-fixpoint/tar.gz/nightly-test","html_url":"https://github.com/ucsd-progsys/liquid-fixpoint/releases/tag/nightly-test","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/ucsd-progsys/liquid-fixpoint@nightly-test","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/nightly-test","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/nightly-test/manifests"},{"name":"nightly-09-15-2025","sha":"e766a7ea6e59dfc853ee23bce25dbf61b7714dde","kind":"commit","published_at":"2025-09-08T23:22:40.000Z","download_url":"https://codeload.github.com/ucsd-progsys/liquid-fixpoint/tar.gz/nightly-09-15-2025","html_url":"https://github.com/ucsd-progsys/liquid-fixpoint/releases/tag/nightly-09-15-2025","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/ucsd-progsys/liquid-fixpoint@nightly-09-15-2025","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/nightly-09-15-2025","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/nightly-09-15-2025/manifests"},{"name":"nightly-09-12-25","sha":"e766a7ea6e59dfc853ee23bce25dbf61b7714dde","kind":"commit","published_at":"2025-09-08T23:22:40.000Z","download_url":"https://codeload.github.com/ucsd-progsys/liquid-fixpoint/tar.gz/nightly-09-12-25","html_url":"https://github.com/ucsd-progsys/liquid-fixpoint/releases/tag/nightly-09-12-25","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/ucsd-progsys/liquid-fixpoint@nightly-09-12-25","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/nightly-09-12-25","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/nightly-09-12-25/manifests"},{"name":"nightly","sha":"5046aa1a0c0fea3f8d9147f7117cbb96b823a525","kind":"commit","published_at":"2025-08-08T17:00:17.000Z","download_url":"https://codeload.github.com/ucsd-progsys/liquid-fixpoint/tar.gz/nightly","html_url":"https://github.com/ucsd-progsys/liquid-fixpoint/releases/tag/nightly","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/ucsd-progsys/liquid-fixpoint@nightly","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/nightly","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/nightly/manifests"},{"name":"v0.9.6.3.3","sha":"83d425c182b5fb612b901dd8738d13544ecfcd13","kind":"commit","published_at":"2025-03-22T18:49:04.000Z","download_url":"https://codeload.github.com/ucsd-progsys/liquid-fixpoint/tar.gz/v0.9.6.3.3","html_url":"https://github.com/ucsd-progsys/liquid-fixpoint/releases/tag/v0.9.6.3.3","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/ucsd-progsys/liquid-fixpoint@v0.9.6.3.3","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/v0.9.6.3.3","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/v0.9.6.3.3/manifests"},{"name":"v0.9.6.3.2","sha":"031df812a6df0c05b675ac1db9a9076f38b1c6e8","kind":"commit","published_at":"2025-03-06T19:26:36.000Z","download_url":"https://codeload.github.com/ucsd-progsys/liquid-fixpoint/tar.gz/v0.9.6.3.2","html_url":"https://github.com/ucsd-progsys/liquid-fixpoint/releases/tag/v0.9.6.3.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/ucsd-progsys/liquid-fixpoint@v0.9.6.3.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/v0.9.6.3.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/v0.9.6.3.2/manifests"},{"name":"v0.9.6.3.1","sha":"fa855d1c77a2fbf18aa53b56d02f9807a5d01a3b","kind":"commit","published_at":"2024-08-21T14:38:11.000Z","download_url":"https://codeload.github.com/ucsd-progsys/liquid-fixpoint/tar.gz/v0.9.6.3.1","html_url":"https://github.com/ucsd-progsys/liquid-fixpoint/releases/tag/v0.9.6.3.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/ucsd-progsys/liquid-fixpoint@v0.9.6.3.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/v0.9.6.3.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/v0.9.6.3.1/manifests"},{"name":"v0.9.6.3","sha":"28c6d943a18d8d636385a7ff1fa10e81a7b4a0ab","kind":"commit","published_at":"2024-01-29T14:22:58.000Z","download_url":"https://codeload.github.com/ucsd-progsys/liquid-fixpoint/tar.gz/v0.9.6.3","html_url":"https://github.com/ucsd-progsys/liquid-fixpoint/releases/tag/v0.9.6.3","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/ucsd-progsys/liquid-fixpoint@v0.9.6.3","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/v0.9.6.3","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/v0.9.6.3/manifests"},{"name":"v0.9.4.7","sha":"b6c3e11ce19629cced047eb2df748ec336148451","kind":"commit","published_at":"2023-12-06T20:10:17.000Z","download_url":"https://codeload.github.com/ucsd-progsys/liquid-fixpoint/tar.gz/v0.9.4.7","html_url":"https://github.com/ucsd-progsys/liquid-fixpoint/releases/tag/v0.9.4.7","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/ucsd-progsys/liquid-fixpoint@v0.9.4.7","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/v0.9.4.7","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/v0.9.4.7/manifests"},{"name":"v9.2.5","sha":"1ccf4b3962b4c3a3f4c17537280ec70edfa85c3e","kind":"commit","published_at":"2023-10-18T08:21:39.000Z","download_url":"https://codeload.github.com/ucsd-progsys/liquid-fixpoint/tar.gz/v9.2.5","html_url":"https://github.com/ucsd-progsys/liquid-fixpoint/releases/tag/v9.2.5","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/ucsd-progsys/liquid-fixpoint@v9.2.5","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/v9.2.5","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/v9.2.5/manifests"},{"name":"v9.0.2","sha":"a45f8fe9f6ac2533228f9149926bf884a3525945","kind":"commit","published_at":"2023-02-03T09:13:45.000Z","download_url":"https://codeload.github.com/ucsd-progsys/liquid-fixpoint/tar.gz/v9.0.2","html_url":"https://github.com/ucsd-progsys/liquid-fixpoint/releases/tag/v9.0.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/ucsd-progsys/liquid-fixpoint@v9.0.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/v9.0.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/v9.0.2/manifests"},{"name":"liquid-fixpoint-0.8.10.2","sha":"01480230f26a7efa8101cd80fc2ca648198eaa12","kind":"commit","published_at":"2021-11-02T21:47:51.000Z","download_url":"https://codeload.github.com/ucsd-progsys/liquid-fixpoint/tar.gz/liquid-fixpoint-0.8.10.2","html_url":"https://github.com/ucsd-progsys/liquid-fixpoint/releases/tag/liquid-fixpoint-0.8.10.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/ucsd-progsys/liquid-fixpoint@liquid-fixpoint-0.8.10.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/liquid-fixpoint-0.8.10.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/liquid-fixpoint-0.8.10.2/manifests"},{"name":"matt","sha":"163b81570ce2e07a5466ac0b578b0b95419f1117","kind":"commit","published_at":"2019-11-16T17:37:16.000Z","download_url":"https://codeload.github.com/ucsd-progsys/liquid-fixpoint/tar.gz/matt","html_url":"https://github.com/ucsd-progsys/liquid-fixpoint/releases/tag/matt","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/ucsd-progsys/liquid-fixpoint@matt","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/matt","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/matt/manifests"},{"name":"liquid-fixpoint-0.7.0.7","sha":"99b45f66e0c26fe2deec468e2cdcae980e19a800","kind":"commit","published_at":"2018-02-15T19:58:45.000Z","download_url":"https://codeload.github.com/ucsd-progsys/liquid-fixpoint/tar.gz/liquid-fixpoint-0.7.0.7","html_url":"https://github.com/ucsd-progsys/liquid-fixpoint/releases/tag/liquid-fixpoint-0.7.0.7","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/ucsd-progsys/liquid-fixpoint@liquid-fixpoint-0.7.0.7","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/liquid-fixpoint-0.7.0.7","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/liquid-fixpoint-0.7.0.7/manifests"},{"name":"liquid-fixpoint-0.7.0.1","sha":"44216492d40dc64ddf65ca0990b0e670cf613d00","kind":"commit","published_at":"2017-08-24T21:19:38.000Z","download_url":"https://codeload.github.com/ucsd-progsys/liquid-fixpoint/tar.gz/liquid-fixpoint-0.7.0.1","html_url":"https://github.com/ucsd-progsys/liquid-fixpoint/releases/tag/liquid-fixpoint-0.7.0.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/ucsd-progsys/liquid-fixpoint@liquid-fixpoint-0.7.0.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/liquid-fixpoint-0.7.0.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/liquid-fixpoint-0.7.0.1/manifests"},{"name":"liquid-fixpoint-0.5.0.1","sha":"b9042d62cfdcce01e6a9f57449ee865f790d09ef","kind":"tag","published_at":"2016-04-05T19:14:24.000Z","download_url":"https://codeload.github.com/ucsd-progsys/liquid-fixpoint/tar.gz/liquid-fixpoint-0.5.0.1","html_url":"https://github.com/ucsd-progsys/liquid-fixpoint/releases/tag/liquid-fixpoint-0.5.0.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/ucsd-progsys/liquid-fixpoint@liquid-fixpoint-0.5.0.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/liquid-fixpoint-0.5.0.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/liquid-fixpoint-0.5.0.1/manifests"},{"name":"liquid-fixpoint-0.5.0.0","sha":"f42625c45d69cd474d5753f1eec9272f7ed3dac4","kind":"tag","published_at":"2016-04-01T21:50:30.000Z","download_url":"https://codeload.github.com/ucsd-progsys/liquid-fixpoint/tar.gz/liquid-fixpoint-0.5.0.0","html_url":"https://github.com/ucsd-progsys/liquid-fixpoint/releases/tag/liquid-fixpoint-0.5.0.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/ucsd-progsys/liquid-fixpoint@liquid-fixpoint-0.5.0.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/liquid-fixpoint-0.5.0.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/liquid-fixpoint-0.5.0.0/manifests"},{"name":"liquid-fixpoint-0.4.0.0","sha":"e16652030f647e577f2438d2b0c17e8e91852f21","kind":"tag","published_at":"2015-08-12T17:59:05.000Z","download_url":"https://codeload.github.com/ucsd-progsys/liquid-fixpoint/tar.gz/liquid-fixpoint-0.4.0.0","html_url":"https://github.com/ucsd-progsys/liquid-fixpoint/releases/tag/liquid-fixpoint-0.4.0.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/ucsd-progsys/liquid-fixpoint@liquid-fixpoint-0.4.0.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/liquid-fixpoint-0.4.0.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/liquid-fixpoint-0.4.0.0/manifests"},{"name":"liquid-fixpoint-0.3.0.1","sha":"0cb8e2fd587e6f9ad03238ddd7e84b29817d2e3f","kind":"tag","published_at":"2015-05-22T00:18:44.000Z","download_url":"https://codeload.github.com/ucsd-progsys/liquid-fixpoint/tar.gz/liquid-fixpoint-0.3.0.1","html_url":"https://github.com/ucsd-progsys/liquid-fixpoint/releases/tag/liquid-fixpoint-0.3.0.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/ucsd-progsys/liquid-fixpoint@liquid-fixpoint-0.3.0.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/liquid-fixpoint-0.3.0.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/liquid-fixpoint-0.3.0.1/manifests"},{"name":"liquid-fixpoint-0.2.3.2","sha":"a95f40d6a705d892ca5876d757a690b6a92a91dd","kind":"tag","published_at":"2015-03-27T20:34:02.000Z","download_url":"https://codeload.github.com/ucsd-progsys/liquid-fixpoint/tar.gz/liquid-fixpoint-0.2.3.2","html_url":"https://github.com/ucsd-progsys/liquid-fixpoint/releases/tag/liquid-fixpoint-0.2.3.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/ucsd-progsys/liquid-fixpoint@liquid-fixpoint-0.2.3.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/liquid-fixpoint-0.2.3.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/liquid-fixpoint-0.2.3.2/manifests"},{"name":"liquid-fixpoint-0.2.3.1","sha":"687b09a253311213ca4e0631318d1ee560be0fd8","kind":"tag","published_at":"2015-03-10T23:36:38.000Z","download_url":"https://codeload.github.com/ucsd-progsys/liquid-fixpoint/tar.gz/liquid-fixpoint-0.2.3.1","html_url":"https://github.com/ucsd-progsys/liquid-fixpoint/releases/tag/liquid-fixpoint-0.2.3.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/ucsd-progsys/liquid-fixpoint@liquid-fixpoint-0.2.3.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/liquid-fixpoint-0.2.3.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/liquid-fixpoint-0.2.3.1/manifests"},{"name":"liquid-fixpoint-0.2.3.0","sha":"5400337ccbcb88e01cab8b83e53134591a3ec434","kind":"tag","published_at":"2015-03-05T00:40:27.000Z","download_url":"https://codeload.github.com/ucsd-progsys/liquid-fixpoint/tar.gz/liquid-fixpoint-0.2.3.0","html_url":"https://github.com/ucsd-progsys/liquid-fixpoint/releases/tag/liquid-fixpoint-0.2.3.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/ucsd-progsys/liquid-fixpoint@liquid-fixpoint-0.2.3.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/liquid-fixpoint-0.2.3.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/liquid-fixpoint-0.2.3.0/manifests"},{"name":"liquid-fixpoint-0.2.1.1","sha":"d544c5a50852ad311262242142ccdb4540165f63","kind":"commit","published_at":"2014-12-31T23:57:50.000Z","download_url":"https://codeload.github.com/ucsd-progsys/liquid-fixpoint/tar.gz/liquid-fixpoint-0.2.1.1","html_url":"https://github.com/ucsd-progsys/liquid-fixpoint/releases/tag/liquid-fixpoint-0.2.1.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/ucsd-progsys/liquid-fixpoint@liquid-fixpoint-0.2.1.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/liquid-fixpoint-0.2.1.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/liquid-fixpoint-0.2.1.1/manifests"},{"name":"liquid-fixpoint-0.2.1.0","sha":"45a829817ab19c6bcde9edaaf0ab06107594be37","kind":"commit","published_at":"2014-11-19T05:30:54.000Z","download_url":"https://codeload.github.com/ucsd-progsys/liquid-fixpoint/tar.gz/liquid-fixpoint-0.2.1.0","html_url":"https://github.com/ucsd-progsys/liquid-fixpoint/releases/tag/liquid-fixpoint-0.2.1.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/ucsd-progsys/liquid-fixpoint@liquid-fixpoint-0.2.1.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/liquid-fixpoint-0.2.1.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/liquid-fixpoint-0.2.1.0/manifests"},{"name":"liquid-fixpoint-0.2.0.0","sha":"786fc8f4b100761e409e8b6c55f84536293b9cd6","kind":"tag","published_at":"2014-09-01T20:26:41.000Z","download_url":"https://codeload.github.com/ucsd-progsys/liquid-fixpoint/tar.gz/liquid-fixpoint-0.2.0.0","html_url":"https://github.com/ucsd-progsys/liquid-fixpoint/releases/tag/liquid-fixpoint-0.2.0.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/ucsd-progsys/liquid-fixpoint@liquid-fixpoint-0.2.0.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/liquid-fixpoint-0.2.0.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/liquid-fixpoint-0.2.0.0/manifests"},{"name":"show","sha":"d059974c1ad1191cd4b5212d1edd06025edd3ead","kind":"commit","published_at":"2014-06-11T22:18:57.000Z","download_url":"https://codeload.github.com/ucsd-progsys/liquid-fixpoint/tar.gz/show","html_url":"https://github.com/ucsd-progsys/liquid-fixpoint/releases/tag/show","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/ucsd-progsys/liquid-fixpoint@show","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/show","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/show/manifests"},{"name":"icfp14","sha":"eb8bc523e1ab71a49d20758d08ccecfcd43146ca","kind":"tag","published_at":"2014-06-03T05:00:59.000Z","download_url":"https://codeload.github.com/ucsd-progsys/liquid-fixpoint/tar.gz/icfp14","html_url":"https://github.com/ucsd-progsys/liquid-fixpoint/releases/tag/icfp14","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/ucsd-progsys/liquid-fixpoint@icfp14","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/icfp14","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/icfp14/manifests"},{"name":"pldi14","sha":"2cfa75b2c8ced9adc0a2ae84a44ad108e7cda5d6","kind":"tag","published_at":"2013-11-12T09:05:22.000Z","download_url":"https://codeload.github.com/ucsd-progsys/liquid-fixpoint/tar.gz/pldi14","html_url":"https://github.com/ucsd-progsys/liquid-fixpoint/releases/tag/pldi14","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/ucsd-progsys/liquid-fixpoint@pldi14","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/pldi14","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/pldi14/manifests"},{"name":"liquid-fixpoint-0.1.0.0","sha":"36fe269f7f3395045e3bb4cc8a9c91715659ae31","kind":"commit","published_at":"2013-09-23T02:44:34.000Z","download_url":"https://codeload.github.com/ucsd-progsys/liquid-fixpoint/tar.gz/liquid-fixpoint-0.1.0.0","html_url":"https://github.com/ucsd-progsys/liquid-fixpoint/releases/tag/liquid-fixpoint-0.1.0.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/ucsd-progsys/liquid-fixpoint@liquid-fixpoint-0.1.0.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/liquid-fixpoint-0.1.0.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/tags/liquid-fixpoint-0.1.0.0/manifests"}]},"repo_metadata_updated_at":"2026-09-22T02:23:56.144Z","dependent_packages_count":5,"downloads":21934,"downloads_period":"total","dependent_repos_count":11,"rankings":{"downloads":7.601017236507487,"dependent_repos_count":17.99943486860695,"dependent_packages_count":4.566261655834982,"stargazers_count":7.403221248940378,"forks_count":5.289629838937553,"docker_downloads_count":null,"average":8.571912969765469},"purl":"pkg:hackage/liquid-fixpoint","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/hackage/liquid-fixpoint","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/hackage/liquid-fixpoint","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/hackage/liquid-fixpoint/dependencies","status":null,"funding_links":[],"critical":false,"issue_metadata":{"last_synced_at":"2026-09-21T18:00:17.439Z","issues_count":35,"pull_requests_count":267,"avg_time_to_close_issue":11419015.826086957,"avg_time_to_close_pull_request":1018336.6425702812,"issues_closed_count":23,"pull_requests_closed_count":249,"pull_request_authors_count":28,"issue_authors_count":13,"avg_comments_per_issue":2.657142857142857,"avg_comments_per_pull_request":1.595505617977528,"merged_pull_requests_count":225,"bot_issues_count":0,"bot_pull_requests_count":0,"past_year_issues_count":3,"past_year_pull_requests_count":28,"past_year_avg_time_to_close_issue":1598070.5,"past_year_avg_time_to_close_pull_request":230253.8,"past_year_issues_closed_count":2,"past_year_pull_requests_closed_count":25,"past_year_pull_request_authors_count":10,"past_year_issue_authors_count":2,"past_year_avg_comments_per_issue":7.0,"past_year_avg_comments_per_pull_request":1.5357142857142858,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":0,"past_year_merged_pull_requests_count":22,"issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint/issues","maintainers":[{"login":"facundominguez","count":92,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/facundominguez"},{"login":"ranjitjhala","count":42,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/ranjitjhala"},{"login":"vrindisbacher","count":8,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/vrindisbacher"},{"login":"nikivazou","count":5,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/nikivazou"},{"login":"Ethan-Schwartzman","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/Ethan-Schwartzman"}],"active_maintainers":[{"login":"facundominguez","count":17,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/facundominguez"},{"login":"ranjitjhala","count":3,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/ranjitjhala"},{"login":"nikivazou","count":2,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/nikivazou"},{"login":"vrindisbacher","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/vrindisbacher"}]},"versions_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/liquid-fixpoint/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/liquid-fixpoint/version_numbers","latest_version_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/liquid-fixpoint/latest_version","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/liquid-fixpoint/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/liquid-fixpoint/related_packages","codemeta_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/liquid-fixpoint/codemeta","maintainers":[{"uuid":"AndresLoeh","login":"AndresLoeh","name":null,"email":null,"url":null,"packages_count":31,"html_url":"https://hackage.haskell.org/user/AndresLoeh","role":null,"created_at":"2022-11-14T18:48:16.535Z","updated_at":"2022-11-14T18:48:16.535Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/AndresLoeh/packages"},{"uuid":"FacundoDominguez","login":"FacundoDominguez","name":null,"email":null,"url":null,"packages_count":54,"html_url":"https://hackage.haskell.org/user/FacundoDominguez","role":null,"created_at":"2023-02-03T12:02:01.952Z","updated_at":"2023-02-03T12:02:01.952Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/FacundoDominguez/packages"},{"uuid":"AlfredoDiNapoli","login":"AlfredoDiNapoli","name":null,"email":null,"url":null,"packages_count":29,"html_url":"https://hackage.haskell.org/user/AlfredoDiNapoli","role":null,"created_at":"2022-11-14T18:48:16.512Z","updated_at":"2022-11-14T18:48:16.512Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/AlfredoDiNapoli/packages"},{"uuid":"ranjitjhala","login":"ranjitjhala","name":null,"email":null,"url":null,"packages_count":17,"html_url":"https://hackage.haskell.org/user/ranjitjhala","role":null,"created_at":"2022-11-14T18:48:16.590Z","updated_at":"2022-11-14T18:48:16.590Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/ranjitjhala/packages"},{"uuid":"EricSeidel","login":"EricSeidel","name":null,"email":null,"url":null,"packages_count":5,"html_url":"https://hackage.haskell.org/user/EricSeidel","role":null,"created_at":"2022-11-14T18:48:16.560Z","updated_at":"2022-11-14T18:48:16.560Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/EricSeidel/packages"},{"uuid":"niki","login":"niki","name":null,"email":null,"url":null,"packages_count":4,"html_url":"https://hackage.haskell.org/user/niki","role":null,"created_at":"2022-11-14T18:48:16.608Z","updated_at":"2022-11-14T18:48:16.608Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/niki/packages"},{"uuid":"clayrat","login":"clayrat","name":null,"email":null,"url":null,"packages_count":4,"html_url":"https://hackage.haskell.org/user/clayrat","role":null,"created_at":"2023-11-18T12:12:14.210Z","updated_at":"2023-11-18T12:12:14.210Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/clayrat/packages"}]}