GitHub repository: programming-formalisms/programming_formalisms_project_2023
Primary language: Python
Description: The Programming Formalisms project of 2023