GitHub repository: sgachoud/kitty
Primary language: C
Description: C++ truth table library