Pinned Loading

1. FM-Index FM-Index Public

   C++ implementation of FM Index data structure wrapped in Python

   C++ 15 4

2. poncelet poncelet Public

   Interactive Poncelet Porism

   JavaScript 2 2

3. icosahedral_quintic icosahedral_quintic Public

   Demonstrating Klein's icosahedral solution of the quintic equation

   Python 9 3

4. leanprover-community/mathlib4 leanprover-community/mathlib4 Public

   The math library of Lean 4

   Lean 4k 1.6k