Pinned Loading

1. FM-Index FM-Index Public

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

   C++ 13 4

2. poncelet poncelet Public

   Interactive Poncelet Porism

   JavaScript 1 2

3. icosahedral_quintic icosahedral_quintic Public

   Demonstrating Klein's icosahedral solution of the quintic equation

   Python 8 3

4. AIB_online_banking AIB_online_banking Public

   Security theatre at Allied Irish Banks: a demonstration in python

   Python 5 5

5. lean-shannon-lovasz lean-shannon-lovasz Public

   A project to formalise a proof that the Shannon capacity of the 5-cycle is √5

   Lean 3 2

6. leanprover-community/mathlib4 leanprover-community/mathlib4 Public

   The math library of Lean 4

   Lean 1.5k 332