Code
- Here is a list of Repositories:
- A Repository that exposes a set of files implementing many Data-Structures in a Functional Paradigm in SML : functional-data-structures
- A Repository with directories that contain implementation of Types in Coq : coq-types
- A Repository that exposes a set of files to implement the Vertex, Edge and Graph classes, and Graph Algorithms in Python : graph-algorithms