{"id":15425091,"url":"https://github.com/lsils/kitty","last_synced_at":"2025-10-14T11:07:00.463Z","repository":{"id":25553434,"uuid":"104330021","full_name":"lsils/kitty","owner":"lsils","description":"C++ truth table library","archived":false,"fork":false,"pushed_at":"2025-07-30T14:53:45.000Z","size":888,"stargazers_count":59,"open_issues_count":3,"forks_count":78,"subscribers_count":9,"default_branch":"master","last_synced_at":"2025-08-21T02:43:56.424Z","etag":null,"topics":["algorithms","boolean-function","logic-synthesis"],"latest_commit_sha":null,"homepage":null,"language":"C++","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/lsils.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":"2017-09-21T09:45:09.000Z","updated_at":"2025-07-30T14:53:50.000Z","dependencies_parsed_at":"2025-06-03T21:34:52.376Z","dependency_job_id":"b7e9b25c-63d6-4d14-8ca0-55bd09d1e8ca","html_url":"https://github.com/lsils/kitty","commit_stats":{"total_commits":370,"total_committers":14,"mean_commits":"26.428571428571427","dds":"0.21351351351351355","last_synced_commit":"5b7ea895c803cb05f62559fce85ac0a8bef79388"},"previous_names":["lsils/kitty","msoeken/kitty"],"tags_count":8,"template":false,"template_full_name":null,"purl":"pkg:github/lsils/kitty","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lsils%2Fkitty","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lsils%2Fkitty/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lsils%2Fkitty/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lsils%2Fkitty/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/lsils","download_url":"https://codeload.github.com/lsils/kitty/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lsils%2Fkitty/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":279019029,"owners_count":26086510,"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","status":"online","status_checked_at":"2025-10-14T02:00:06.444Z","response_time":60,"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"}},"keywords":["algorithms","boolean-function","logic-synthesis"],"created_at":"2024-10-01T17:49:51.593Z","updated_at":"2025-10-14T11:07:00.070Z","avatar_url":"https://github.com/lsils.png","language":"C++","funding_links":[],"categories":[],"sub_categories":[],"readme":"[![Actions Status](https://github.com/msoeken/kitty/workflows/Linux%20CI/badge.svg)](https://github.com/msoeken/kitty/actions)\n[![Actions Status](https://github.com/msoeken/kitty/workflows/MacOS%20CI/badge.svg)](https://github.com/msoeken/kitty/actions)\n[![Actions Status](https://github.com/msoeken/kitty/workflows/Windows%20CI/badge.svg)](https://github.com/msoeken/kitty/actions)\n[![Documentation Status](https://readthedocs.org/projects/libkitty/badge/?version=latest)](http://libkitty.readthedocs.io/en/latest/?badge=latest)\n[![Latest release](https://img.shields.io/github/release/msoeken/kitty.svg)](https://github.com/msoeken/kitty/releases)\n[![License: MIT](https://img.shields.io/badge/License-MIT-yellow.svg)](https://opensource.org/licenses/MIT)\n\n# kitty\n\n\u003cimg src=\"https://cdn.rawgit.com/msoeken/kitty/master/kitty.svg\" width=\"64\" height=\"64\" align=\"left\" style=\"margin-right: 12pt\" /\u003e\nkitty is a C++-17 truth table library.  It provides efficient implementations for basic truth table manipulations and various algorithms.\n\n[Read the full documentation.](http://libkitty.readthedocs.io/en/latest/?badge=latest)\n\n## Example\n\nThe following code snippet generates truth tables for the 3-variable functions `sum` and `carry` for a 1-bit full-adder with carry.\n\n```c++\n#include \u003ckitty/kitty.hpp\u003e\n\ndynamic_truth_table a( 3 ), b( 3 ), c( 3 );\n\ncreate_nth_var( a, 0 );\ncreate_nth_var( b, 1 );\ncreate_nth_var( c, 2 );\n\nconst auto sum = a ^ b ^ c;\nconst auto carry = ternary_majority( a, b, c );\n```\n\nOne can use `static_truth_table` instead of `dynamic_truth_table`, if the number of variables is known at compile-time.  The interface stays the same.\n\n```c++\n#include \u003ckitty/kitty.hpp\u003e\n\nstatic_truth_table\u003c3\u003e a, b, c;\n\ncreate_nth_var( a, 0 );\ncreate_nth_var( b, 1 );\ncreate_nth_var( c, 2 );\n\nconst auto sum = a ^ b ^ c;\nconst auto carry = ternary_majority( a, b, c );\n```\n\n## EPFL logic sythesis libraries\n\nkitty is part of the [EPFL logic synthesis](https://lsi.epfl.ch/page-138455-en.html) libraries.  The other libraries and several examples on how to use and integrate the libraries can be found in the [logic synthesis tool showcase](https://github.com/lsils/lstools-showcase).\n\n\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Flsils%2Fkitty","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Flsils%2Fkitty","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Flsils%2Fkitty/lists"}