GitHub repository: tilir/concrete
Primary language: C++
Description: Different computability and combinatorics experiments and visualizations