Popular repositories Loading

1. Impredicative Impredicative Public

   Forked from awodey/Impredicative

   impredicative encodings in Lean

   Lean

2. condensed-sets condensed-sets Public

   Forked from ImperialCollegeLondon/condensed-sets

   Condensed mathematics in Lean

   Lean

3. website website Public

   Forked from softwarecrafters/website

   Website for softwarecrafters.org

   JavaScript

4. python python Public

   Forked from Show-Me-the-Code/python

   Show Me the Code Python version.

   HTML

5. Java-Network-Analyzer Java-Network-Analyzer Public

   Forked from agouge/Java-Network-Analyzer

   Graph theory and social network analysis algorithms implemented on JGraphT graphs.

   Java

6. Java Java Public

   Forked from HelloWorld521/Java

   java项目实战练习

   Java