Pinned Loading

1. FldFunFin FldFunFin Public

   Motives over global function fields in Magma

   M 2

2. leanprover-community/mathlib4 leanprover-community/mathlib4 Public

   The math library of Lean 4

   Lean 2.4k 801

3. ArithmeticStatistics ArithmeticStatistics Public

   Arithmetic Statistics for Elliptic Curves

   TeX 6

4. sdiehl/galois-field sdiehl/galois-field Public

   Finite field and algebraic extension field arithmetic

   Haskell 51 17

5. IC-GANT IC-GANT Public

   Imperial College London lecture notes for Geometry, Algebra, and Number Theory

   TeX 38 8

6. sdiehl/elliptic-curve sdiehl/elliptic-curve Public

   A polymorphic interface for elliptic curve operations

   Haskell 42 11