GitHub repository: monocodus-demonstrations/path_semantics
Description: A research project in path semantics, a re-interpretation of functions for expressing mathematics