{"id":17131001,"url":"https://github.com/m4lvin/hascacbdd","last_synced_at":"2025-04-13T07:34:04.822Z","repository":{"id":30049608,"uuid":"33598813","full_name":"m4lvin/HasCacBDD","owner":"m4lvin","description":"λ🎄 Haskell bindings for CacBDD, a Binary Decision Diagram (BDD) package with dynamic cache management.","archived":false,"fork":false,"pushed_at":"2025-01-05T21:43:16.000Z","size":986,"stargazers_count":4,"open_issues_count":3,"forks_count":1,"subscribers_count":4,"default_branch":"main","last_synced_at":"2025-02-05T14:12:17.265Z","etag":null,"topics":["binary-decision-diagrams","ffi","haskell-bindings"],"latest_commit_sha":null,"homepage":"https://hackage.haskell.org/package/HasCacBDD","language":"C++","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"gpl-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/m4lvin.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG.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}},"created_at":"2015-04-08T09:57:13.000Z","updated_at":"2025-02-01T18:54:13.000Z","dependencies_parsed_at":"2024-03-21T16:29:12.704Z","dependency_job_id":"8c7b7b32-b3d0-46c5-a316-c746ffe20e4c","html_url":"https://github.com/m4lvin/HasCacBDD","commit_stats":{"total_commits":94,"total_committers":2,"mean_commits":47.0,"dds":"0.021276595744680882","last_synced_commit":"6bdb07c2463b44f6e8a9e0058ed799908451d7d1"},"previous_names":[],"tags_count":6,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/m4lvin%2FHasCacBDD","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/m4lvin%2FHasCacBDD/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/m4lvin%2FHasCacBDD/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/m4lvin%2FHasCacBDD/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/m4lvin","download_url":"https://codeload.github.com/m4lvin/HasCacBDD/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":240045016,"owners_count":19739186,"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":["binary-decision-diagrams","ffi","haskell-bindings"],"created_at":"2024-10-14T19:13:45.538Z","updated_at":"2025-02-23T02:30:36.155Z","avatar_url":"https://github.com/m4lvin.png","language":"C++","funding_links":[],"categories":[],"sub_categories":[],"readme":"HasCacBDD\n=========\n\n[![Release](https://img.shields.io/github/release/m4lvin/HasCacBDD.svg)](https://github.com/m4lvin/HasCacBDD/releases)\n[![Hackage](https://img.shields.io/hackage/v/HasCacBDD.svg)](https://hackage.haskell.org/package/HasCacBDD)\n[![GitLab CI](https://gitlab.com/m4lvin/HasCacBDD/badges/main/pipeline.svg)](https://gitlab.com/m4lvin/HasCacBDD/-/pipelines)\n[![Test Coverage](https://gitlab.com/m4lvin/HasCacBDD/badges/main/coverage.svg)](https://gitlab.com/m4lvin/HasCacBDD/-/jobs/artifacts/main/file/hpc/combined/all/hpc_index.html?job=test)\n\nHaskell bindings for CacBDD, a Binary Decision Diagram (BDD) package with dynamic cache management.\n\nOriginal C++ code from \u003chttp://kailesu.net/CacBDD\u003e and a C wrapper are included.\n\n\n# Getting Started\n\n1. Install C compilers and stack if necessary:\n\n       apt install build-essential git\n       curl -sSL https://get.haskellstack.org/ | sh\n\n2. Download, build and load the lastest version:\n\n       git clone https://github.com/m4lvin/HasCacBDD.git\n       cd HasCacBDD\n       stack setup\n       stack build\n       stack exec ghci\n\n    Note: `stack ghci` apparently does not work with the shared library.\n    You really need `stack build` and then `stack exec ghci`.\n\n    To use cabal instead of stack: `cabal build`, then `cabal exec ghci` and then `:set -package HasCacBDD`.\n\n3. Now you can play with Boolean functions :-)\n\n       λ\u003e import Data.HasCacBDD\n       λ\u003e var 5\n       Var 5 Top Bot\n       λ\u003e neg (var 5)\n       Var 5 Bot Top\n       λ\u003e dis (neg (var 3)) (var 3)\n       Top\n\nFor further documentation, see \u003chttps://hackage.haskell.org/package/HasCacBDD/docs/Data-HasCacBDD.html\u003e\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fm4lvin%2Fhascacbdd","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fm4lvin%2Fhascacbdd","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fm4lvin%2Fhascacbdd/lists"}