{"id":37154881,"url":"https://github.com/hiwane/ganrac","last_synced_at":"2026-01-14T18:18:59.741Z","repository":{"id":42676443,"uuid":"348981884","full_name":"hiwane/ganrac","owner":"hiwane","description":"Go language version QE tool for Real Algebraic Constraints","archived":false,"fork":false,"pushed_at":"2025-04-27T14:51:34.000Z","size":793,"stargazers_count":0,"open_issues_count":8,"forks_count":0,"subscribers_count":1,"default_branch":"main","last_synced_at":"2025-04-27T15:40:12.739Z","etag":null,"topics":["computer-algebra-system","golang","real-quantifier-elimination"],"latest_commit_sha":null,"homepage":"","language":"Go","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/hiwane.png","metadata":{"files":{"readme":"README.md","changelog":null,"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}},"created_at":"2021-03-18T07:35:09.000Z","updated_at":"2025-04-27T14:51:37.000Z","dependencies_parsed_at":"2023-10-17T04:26:46.698Z","dependency_job_id":"b0eccd51-c4f0-44ce-8b03-7f12c8a135e9","html_url":"https://github.com/hiwane/ganrac","commit_stats":null,"previous_names":[],"tags_count":6,"template":false,"template_full_name":null,"purl":"pkg:github/hiwane/ganrac","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/hiwane%2Fganrac","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/hiwane%2Fganrac/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/hiwane%2Fganrac/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/hiwane%2Fganrac/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/hiwane","download_url":"https://codeload.github.com/hiwane/ganrac/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/hiwane%2Fganrac/sbom","scorecard":{"id":465776,"data":{"date":"2025-08-11","repo":{"name":"github.com/hiwane/ganrac","commit":"cf1fc750d15f044538bf2b81affbdfa0cfc3cd90"},"scorecard":{"version":"v5.2.1-40-gf6ed084d","commit":"f6ed084d17c9236477efd66e5b258b9d4cc7b389"},"score":3.3,"checks":[{"name":"Dangerous-Workflow","score":10,"reason":"no dangerous workflow patterns detected","details":null,"documentation":{"short":"Determines if the project's GitHub Action workflows avoid dangerous patterns.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#dangerous-workflow"}},{"name":"Packaging","score":-1,"reason":"packaging workflow not detected","details":["Warn: no GitHub/GitLab publishing workflow detected."],"documentation":{"short":"Determines if the project is published as a package that others can easily download, install, easily update, and uninstall.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#packaging"}},{"name":"Code-Review","score":0,"reason":"Found 0/30 approved changesets -- score normalized to 0","details":null,"documentation":{"short":"Determines if the project requires human code review before pull requests (aka merge requests) are merged.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#code-review"}},{"name":"Maintained","score":0,"reason":"0 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 0","details":null,"documentation":{"short":"Determines if the project is \"actively maintained\".","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#maintained"}},{"name":"Pinned-Dependencies","score":0,"reason":"dependency not pinned by hash detected -- score normalized to 0","details":["Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/go.yml:13: update your workflow using https://app.stepsecurity.io/secureworkflow/hiwane/ganrac/go.yml/main?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/go.yml:16: update your workflow using https://app.stepsecurity.io/secureworkflow/hiwane/ganrac/go.yml/main?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/reviewdog.yml:10: update your workflow using https://app.stepsecurity.io/secureworkflow/hiwane/ganrac/reviewdog.yml/main?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/reviewdog.yml:14: update your workflow using https://app.stepsecurity.io/secureworkflow/hiwane/ganrac/reviewdog.yml/main?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/reviewdog.yml:26: update your workflow using https://app.stepsecurity.io/secureworkflow/hiwane/ganrac/reviewdog.yml/main?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/reviewdog.yml:30: update your workflow using https://app.stepsecurity.io/secureworkflow/hiwane/ganrac/reviewdog.yml/main?enable=pin","Info:   0 out of   4 GitHub-owned GitHubAction dependencies pinned","Info:   0 out of   2 third-party GitHubAction dependencies pinned"],"documentation":{"short":"Determines if the project has declared and pinned the dependencies of its build process.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#pinned-dependencies"}},{"name":"Token-Permissions","score":0,"reason":"detected GitHub workflow tokens with excessive permissions","details":["Warn: no topLevel permission defined: .github/workflows/go.yml:1","Warn: no topLevel permission defined: .github/workflows/reviewdog.yml:1","Info: no jobLevel write permissions found"],"documentation":{"short":"Determines if the project's workflows follow the principle of least privilege.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#token-permissions"}},{"name":"CII-Best-Practices","score":0,"reason":"no effort to earn an OpenSSF best practices badge detected","details":null,"documentation":{"short":"Determines if the project has an OpenSSF (formerly CII) Best Practices Badge.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#cii-best-practices"}},{"name":"Binary-Artifacts","score":10,"reason":"no binaries found in the repo","details":null,"documentation":{"short":"Determines if the project has generated executable (binary) artifacts in the source repository.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#binary-artifacts"}},{"name":"SAST","score":0,"reason":"no SAST tool detected","details":["Warn: no pull requests merged into dev branch"],"documentation":{"short":"Determines if the project uses static code analysis.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#sast"}},{"name":"Security-Policy","score":0,"reason":"security policy file not detected","details":["Warn: no security policy file detected","Warn: no security file to analyze","Warn: no security file to analyze","Warn: no security file to analyze"],"documentation":{"short":"Determines if the project has published a security policy.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#security-policy"}},{"name":"Fuzzing","score":0,"reason":"project is not fuzzed","details":["Warn: no fuzzer integrations found"],"documentation":{"short":"Determines if the project uses fuzzing.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#fuzzing"}},{"name":"License","score":10,"reason":"license file detected","details":["Info: project has a license file: LICENSE:0","Info: FSF or OSI recognized license: MIT License: LICENSE:0"],"documentation":{"short":"Determines if the project has defined a license.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#license"}},{"name":"Signed-Releases","score":0,"reason":"Project has not signed or included provenance with any releases.","details":["Warn: release artifact v0.0.6 not signed: https://api.github.com/repos/hiwane/ganrac/releases/174654298","Warn: release artifact v0.0.5 not signed: https://api.github.com/repos/hiwane/ganrac/releases/128933856","Warn: release artifact v0.0.4 not signed: https://api.github.com/repos/hiwane/ganrac/releases/116627338","Warn: release artifact v0.0.3 not signed: https://api.github.com/repos/hiwane/ganrac/releases/89475485","Warn: release artifact v0.0.2 not signed: https://api.github.com/repos/hiwane/ganrac/releases/88315173","Warn: release artifact v0.0.6 does not have provenance: https://api.github.com/repos/hiwane/ganrac/releases/174654298","Warn: release artifact v0.0.5 does not have provenance: https://api.github.com/repos/hiwane/ganrac/releases/128933856","Warn: release artifact v0.0.4 does not have provenance: https://api.github.com/repos/hiwane/ganrac/releases/116627338","Warn: release artifact v0.0.3 does not have provenance: https://api.github.com/repos/hiwane/ganrac/releases/89475485","Warn: release artifact v0.0.2 does not have provenance: https://api.github.com/repos/hiwane/ganrac/releases/88315173"],"documentation":{"short":"Determines if the project cryptographically signs release artifacts.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#signed-releases"}},{"name":"Branch-Protection","score":-1,"reason":"internal error: error during branchesHandler.setup: internal error: githubv4.Query: Resource not accessible by integration","details":null,"documentation":{"short":"Determines if the default and release branches are protected with GitHub's branch protection settings.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#branch-protection"}},{"name":"Vulnerabilities","score":9,"reason":"1 existing vulnerabilities detected","details":["Warn: Project is vulnerable to: GO-2022-0493 / GHSA-p782-xgp4-8hr8"],"documentation":{"short":"Determines if the project has open, known unfixed vulnerabilities.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#vulnerabilities"}}]},"last_synced_at":"2025-08-19T12:27:52.860Z","repository_id":42676443,"created_at":"2025-08-19T12:27:52.860Z","updated_at":"2025-08-19T12:27:52.860Z"},"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":28430320,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-01-14T16:38:47.836Z","status":"ssl_error","status_checked_at":"2026-01-14T16:34:59.695Z","response_time":107,"last_error":"SSL_connect returned=1 errno=0 peeraddr=140.82.121.5:443 state=error: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"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"}},"keywords":["computer-algebra-system","golang","real-quantifier-elimination"],"created_at":"2026-01-14T18:18:59.224Z","updated_at":"2026-01-14T18:18:59.730Z","avatar_url":"https://github.com/hiwane.png","language":"Go","funding_links":[],"categories":[],"sub_categories":[],"readme":"![GaNRAC Logo](https://user-images.githubusercontent.com/7787544/200804776-38f1853e-62ac-494f-97c4-c4173036dcef.png) ![GaNRAC Logo](https://user-images.githubusercontent.com/7787544/200834398-d8f9e757-aea4-4696-948e-4dc057001731.png)\n\n\nGaNRAC\n======\n\n## Getting started\n\n### Requirements\n\n- [ox-asir](http://www.math.sci.kobe-u.ac.jp/OpenXM/),\n- [SageMath](https://www.sagemath.org/) or\n- [SymPy](https://www.sympy.org/)\n\n#### install ox-asir\n\nCentOS\n```sh\n# yum install libX11-devel libXt-devel libXaw-devel\n\u003e curl -O \"http://www.math.sci.kobe-u.ac.jp/pub/OpenXM/Head/openxm-head.tar.gz\"\n\u003e tar xf openxm-head.tar.gz\n\u003e (cd OpenXM/src; make install)\n\u003e (cd OpenXM/rc; make install)\n\u003e while :; do ox -ox ox_asir -control 1234 -data 4321; done\n```\n\nUbuntu\n```sh\n# apt install build-essential m4 bison\n# apt install libx11-dev libxt-dev libxaw7-dev\n\u003e curl -O \"http://www.math.sci.kobe-u.ac.jp/pub/OpenXM/Head/openxm-head.tar.gz\"\n\u003e tar xf openxm-head.tar.gz\n\u003e (cd OpenXM/src; make install)\n\u003e (cd OpenXM/rc; make install)\n\u003e while :; do ox -ox ox_asir -control 1234 -data 4321; done\n```\n\n\n## Installation\n\n### downloading the binary\n\nSee https://github.com/hiwane/ganrac/releases\n\n### compiling from source code\n\nRequired: go (1.18 or newer)\n\nox-asir version\n```sh\n\u003e go install github.com/hiwane/ganrac/cmd/ganrac-ox@latest\n\u003e # go get github.com/hiwane/ganrac/cmd/ganrac-ox\n```\n\nSageMath version\n```sh\n\u003e go install github.com/hiwane/ganrac/cmd/ganrac-sage@latest\n\u003e # go get github.com/hiwane/ganrac/cmd/ganrac-sage\n```\n\n\n## Demo\n\n![ganrac9](https://user-images.githubusercontent.com/7787544/123178824-fc812c80-d4c2-11eb-8c5a-3cb209b83478.gif)\n\n### real Quantifier Elimination\n\nSee [qe.md](doc/qe.md) for details.\n\n![ganrac7](https://user-images.githubusercontent.com/7787544/122847029-0891b080-d342-11eb-84ab-f085f5bbaad6.gif)\n\n```\nF = ex([x], a*x^2+b*x+c==0);\nqe(F);\nG = example(\"quad\");\nH = time(qe(G[0]));\nqe(all([x,y,z], equiv(G[1], H)));\n```\n\n### real QE by Cylindrical Algebraic Decomposition\n\nSee [cad.md](doc/cad.md) for details.\n\n![ganrac8](https://user-images.githubusercontent.com/7787544/122847006-fdd71b80-d341-11eb-8156-8a0e5f49b535.gif)\n\n```\nvars(c,b,a,x);\nF = ex([x], a*x^2+b*x+c \u003c= 0);\nF;\nC = cadinit(F);\ncadproj(C);\nprint(C, \"proj\");\nprint(C, \"proj\", 3, 0);\ncadlift(C);\nprint(C, \"sig\");\nprint(C, \"sig\", 0);\nprint(C, \"cell\", 0, 1);\ncadsfc(C);\nprint(C, \"stat\");\n```\n\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fhiwane%2Fganrac","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fhiwane%2Fganrac","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fhiwane%2Fganrac/lists"}