GitHub repository: Davide-Mele/kitty
Primary language: C
Description: C++ truth table library