Popular repositories Loading

1. Math-notes Math-notes Public

   A collection of math notes that I've prepared mainly on algebraic topology, algebraic geometry, homological algebra and category theory

2. RSKShadowPathCorrespondence RSKShadowPathCorrespondence Public

   Prepared an algorithm to obtain the pair of Young Tableaux corresponding to two square integer matrices which is essential to the RSK correspondence and the classification of the irreducible repres…

   C

3. Algorithms-Data-Structures Algorithms-Data-Structures Public

   Random collection of algorithms

   C++

4. su20-pr3-pair-17 su20-pr3-pair-17 Public

   Java

5. citra citra Public

   Forked from neobrain/citra

   A Nintendo 3DS Emulator

   C++

6. HoTT-Arend HoTT-Arend Public

   Forked from niklaslauffer/HoTT-Arend

   This repository contains a library of type definitions and constructions written in Arend that follow the Homotopy Type Theory book.