Pinned Loading

1. expander-decomposition expander-decomposition Public

   Implementation of the expander decomposition algorithm in https://arxiv.org/abs/1812.08958. Decompose graph with cluster expansion guarantee.

   C++ 7 1

2. formal-methods formal-methods Public

   KTH Royal Institute of Technology DD2452

   C 2

3. UniMath UniMath Public

   Forked from UniMath/UniMath

   This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

   Coq 2

4. thu-computational-biology thu-computational-biology Public

   THU Computational Biology (30470093-0)

   Jupyter Notebook 1

5. thu-web-information-retrieval thu-web-information-retrieval Public

   Web Information Retrieval (80240573-0)

   Python 1

6. Puzzles Puzzles Public

   Solutions to competitive programming puzzles. Leetcode, Kattis, Project Euler and more.

   Python 2