Pinned Loading

1. The math library of Lean 4

   Lean 3k 1.1k

2. Lean 3's obsolete mathematical components library: please use mathlib4

   Lean 1.7k 291

3. The fundamental package for scientific computing with Python.

   Python 31.6k 12.1k

4. cocotb: Python-based chip (RTL) verification

   Python 2.3k 617

5. Geometric Algebra for Python

   Python 851 78

6. A python requests adapter to automatically login to the Cambridge University Raven Login

   Python 3