Popular repositories Loading
-
Polygons-Identification
Polygons-Identification PublicA program that will extract and analyse the various characteristics of (simple) polygons, their contours being coded and stored in a file, and either display those characteristics: perimeter, area,…
Python 3
-
Automated-Theorem-Proving
Automated-Theorem-Proving PublicIn 1958 the logician Hao Wang implemented one of the first automated theorem provers. He succeeded in writing several programs capable of automatically proving a majority of theorems from the first…
Python 2
-
A-Reliable-Transport-Protocol-over-UDP-Protocol
A-Reliable-Transport-Protocol-over-UDP-Protocol PublicPython 2
-
-
-
Word-Chains
Word-Chains PublicA program for computing the longest word chains that can be built from a given collection of words.
C 1
If the problem persists, check the GitHub status page or contact support.