{"id":24288773,"url":"https://github.com/nicoabie/quickcheck","last_synced_at":"2026-01-28T06:08:08.750Z","repository":{"id":12520025,"uuid":"15189842","full_name":"nicoabie/quickcheck","owner":"nicoabie","description":"Randomized testing for Prolog à la QuickCheck","archived":false,"fork":false,"pushed_at":"2019-07-30T13:40:27.000Z","size":74,"stargazers_count":20,"open_issues_count":4,"forks_count":1,"subscribers_count":3,"default_branch":"master","last_synced_at":"2024-05-18T20:38:15.097Z","etag":null,"topics":["prolog","property-based-testing","quickcheck","swi-prolog"],"latest_commit_sha":null,"homepage":null,"language":"Prolog","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"unlicense","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/nicoabie.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG.md","contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2013-12-14T17:48:24.000Z","updated_at":"2024-03-16T14:18:34.000Z","dependencies_parsed_at":"2022-09-14T01:25:19.377Z","dependency_job_id":null,"html_url":"https://github.com/nicoabie/quickcheck","commit_stats":null,"previous_names":[],"tags_count":10,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/nicoabie%2Fquickcheck","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/nicoabie%2Fquickcheck/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/nicoabie%2Fquickcheck/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/nicoabie%2Fquickcheck/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/nicoabie","download_url":"https://codeload.github.com/nicoabie/quickcheck/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":242128808,"owners_count":20076255,"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":["prolog","property-based-testing","quickcheck","swi-prolog"],"created_at":"2025-01-16T10:50:26.799Z","updated_at":"2026-01-28T06:08:08.680Z","avatar_url":"https://github.com/nicoabie.png","language":"Prolog","readme":"\u003ch3 align=\"center\"\u003e\n  \u003cimg align=\"center\" src=\"https://raw.githubusercontent.com/nicoabie/quickcheck/master/logo/owly.svg?sanitize=true\" width=\"400px\" alt=\"quickcheck logo\" /\u003e\n\u003c/h3\u003e\n\n\u003cbr/\u003e\n\nRandomized testing of program properties in the spirit of [QuickCheck](http://hackage.haskell.org/package/QuickCheck).  \nDescribe properties of your predicates and let `library(quickheck)` generate test cases for you.  \n\n[![CircleCI](https://circleci.com/gh/nicoabie/quickcheck.svg?style=shield)](https://circleci.com/gh/nicoabie/quickcheck)\n[![SemVer](https://img.shields.io/:SemVer-0.3.0-brightgreen.svg)](https://semver.org/)\n[![PRs Welcome](https://img.shields.io/badge/PRs-welcome-brightgreen.svg)](https://github.com/nicoabie/quickcheck/labels/good%20first%20issue)\n[![License](https://img.shields.io/badge/license-UNLICENSE-brightgreen.svg)](https://unlicense.org)\n\n## Example\n\n    :- use_module(library(quickcheck)).\n\n    % reversing a list twice gives back the same list\n    prop_reverse_twice(L:list) :-\n        reverse(L, R),\n        reverse(R, L).\n\n    prop_silly_list(L:list(integer)) :-\n        length(L, Len),\n        Len =:= 3.  % nonsense!\n\n    ?- quickcheck(prop_reverse_twice/1).\n    100 tests OK\n    true.\n\n    ?- quickcheck(prop_silly_list/1).\n    Shrinking to depth 1\n    Failed test prop_silly_list([]:list(integer))\n    false.\n\n\n## Installation\n\nTo install as a package:\n\n    ?- pack_install(quickcheck).\n\nTested with Swi-Prolog 8.0.x but should work with earlier versions too.\n\n## Running tests\n\nIn the package root, insert into swipl:\n\n    [tests/tests].\n    run_tests.\n\nOr if you cloned the repo:\n\n    make test\n\n## Built With\n\n* [library(apply)](http://www.swi-prolog.org/pldoc/man?section=apply) - Apply predicates on a list\n* [library(error)](http://www.swi-prolog.org/pldoc/man?section=error) - Error generating support\n* [library(random)](http://www.swi-prolog.org/pldoc/man?section=random) - Random numbers\n* [library(settings)](http://www.swi-prolog.org/pldoc/man?section=settings) - Setting management\n\n## Bug reports/feature requests\n\nPlease send bug reports/feature request through the GitHub\nproject [page](https://github.com/nicoabie/quickcheck).\n\n## Contributing\n\nPlease read [CONTRIBUTING.md](CONTRIBUTING.md) for details on our code of conduct, and the process for submitting pull requests to us.\n\n## Versioning\n\nWe use [SemVer](http://semver.org/) for versioning. For the versions available, see the [tags on this repository](https://github.com/nicoabie/quickcheck/tags). \n\n## Authors\n\n* **Michael Hendricks** - *Initial work* - [quickcheck for prolog](http://blog.ndrix.com/2013/12/quickcheck-for-prolog.html)\n\nSee also the list of [contributors](https://github.com/nicoabie/quickcheck/contributors) who participated in this project.\n\n## License\n\nThe UNLICENSE license. See the [LICENSE](LICENSE) file for details.","funding_links":[],"categories":[],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fnicoabie%2Fquickcheck","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fnicoabie%2Fquickcheck","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fnicoabie%2Fquickcheck/lists"}