GitHub repository: wagner-lubis/counter
Primary language: Tcl
Description: Sample project to showcase the Formal Core