{"id":16538336,"url":"https://github.com/japgolly/nyaya","last_synced_at":"2025-04-05T11:13:08.814Z","repository":{"id":25639587,"uuid":"29074959","full_name":"japgolly/nyaya","owner":"japgolly","description":"Random Data Generation and/or Property Testing in Scala \u0026 Scala.JS.","archived":false,"fork":false,"pushed_at":"2024-08-12T21:38:55.000Z","size":593,"stargazers_count":185,"open_issues_count":27,"forks_count":19,"subscribers_count":5,"default_branch":"master","last_synced_at":"2024-10-12T18:45:07.656Z","etag":null,"topics":["fp","functional-programming","property-based-testing","property-testing","random","random-data-generation","scala","scalajs"],"latest_commit_sha":null,"homepage":"","language":"Scala","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"lgpl-2.1","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/japgolly.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":".github/FUNDING.yml","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},"funding":{"patreon":"japgolly"}},"created_at":"2015-01-10T23:31:45.000Z","updated_at":"2024-08-28T17:44:57.000Z","dependencies_parsed_at":"2023-12-18T16:21:16.200Z","dependency_job_id":"f7365f12-0441-4a24-9fbe-6afba9c6bdf3","html_url":"https://github.com/japgolly/nyaya","commit_stats":{"total_commits":370,"total_committers":12,"mean_commits":"30.833333333333332","dds":0.1459459459459459,"last_synced_commit":"91032192f02af479662e50ee06e78bde873c6c1b"},"previous_names":[],"tags_count":30,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/japgolly%2Fnyaya","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/japgolly%2Fnyaya/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/japgolly%2Fnyaya/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/japgolly%2Fnyaya/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/japgolly","download_url":"https://codeload.github.com/japgolly/nyaya/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":247325696,"owners_count":20920714,"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":["fp","functional-programming","property-based-testing","property-testing","random","random-data-generation","scala","scalajs"],"created_at":"2024-10-11T18:45:02.793Z","updated_at":"2025-04-05T11:13:08.797Z","avatar_url":"https://github.com/japgolly.png","language":"Scala","funding_links":["https://patreon.com/japgolly","https://www.patreon.com/japgolly)!"],"categories":[],"sub_categories":[],"readme":"Nyaya\n=====\n\nNyaya is a Scala/Scala.JS library to:\n* Test properties using random data.\n* Prove properties with (reasonably-sized) finite domains.\n* Assert properties in real data.\n* Generate random data.\n* Ensure uniqueness in random data.\n\nIt is:\n* **Fast**. Probably the fastest Scala random data gen / prop tester. (Benchmarks coming soon…)\n* Has a nice, fluent API for generating random data. [(examples)](doc/FEATURES.md#generating-random-data)\n```\nscala\u003e import nyaya.gen._\nimport nyaya.gen._\n\nscala\u003e val g = Gen.int mapTo Gen.boolean.option\ng: nyaya.gen.Gen[Map[Int,Option[Boolean]]] = Gen(\u003cfunction1\u003e)\n\nscala\u003e g.samples().take(1).foreach(println)\nMap(609117252 -\u003e None, -339 -\u003e Some(true), 1684851879 -\u003e Some(false), 78379 -\u003e None)\n```\n\n\u003cbr\u003e\n\n#### SBT setup\n\n```scala\nver nyayaVer = \"1.1.0\"\n\n// Property expression, evaluation, assertion.\nlibraryDependencies += \"com.github.japgolly.nyaya\" %%% \"nyaya-prop\" % nyayaVer\n\n// Random data generation.\nlibraryDependencies += \"com.github.japgolly.nyaya\" %%% \"nyaya-gen\" % nyayaVer\n\n// Random JSON generation\nlibraryDependencies += \"com.github.japgolly.nyaya\" %%% \"nyaya-gen-circe\" % nyayaVer\n\n// Property testing with random data.\n// Property proving.\nlibraryDependencies += \"com.github.japgolly.nyaya\" %%% \"nyaya-test\" % nyayaVer % Test\n```\n\n\u003cbr\u003e\n\n#### Doc\n\n* [Features in more detail](doc/FEATURES.md).\n* [Changelogs](doc/changelog/).\n\n\u003cbr\u003e\n\n#### Requires:\n* Scala 2.13+\n* Scala.JS 1.10+ *(optional)*\n\n\u003cbr\u003e\n\n##### What does Nyaya mean?\n\nSee:\n* https://en.wikipedia.org/wiki/Nyaya\n* https://en.wikipedia.org/wiki/History_of_logic\n\n\u003cbr\u003e\n\n#### Support\nIf you like what I do\n—my OSS libraries, my contributions to other OSS libs, [my programming blog](https://japgolly.blogspot.com)—\nand you'd like to support me, more content, more lib maintenance, [please become a patron](https://www.patreon.com/japgolly)!\nI do all my OSS work unpaid so showing your support will make a big difference.\n\n\u003cbr\u003e\n\n#### Licence\n```\nCopyright (C) 2014-2022 David Barri\n\nThis library is free software; you can redistribute it and/or\nmodify it under the terms of the GNU Lesser General Public\nLicense as published by the Free Software Foundation; either\nversion 2.1 of the License, or (at your option) any later version.\n\nThis library is distributed in the hope that it will be useful,\nbut WITHOUT ANY WARRANTY; without even the implied warranty of\nMERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU\nLesser General Public License for more details.\n```\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fjapgolly%2Fnyaya","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fjapgolly%2Fnyaya","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fjapgolly%2Fnyaya/lists"}