Pinned

1. numpy/numpy Public

   The fundamental package for scientific computing with Python.

   Python 20.6k 7k

2. leanprover-community/mathlib Public

   Lean mathematical components library

   Lean 1.2k 251

3. cocotb/cocotb Public

   cocotb, a coroutine based cosimulation library for writing VHDL and Verilog testbenches in Python

   Python 1.1k 357

4. pygae/clifford Public

   Geometric Algebra for Python

   Python 639 61

5. raven-client Public

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

   Python 1

6. nanopb-arduino Public

   Arduino stream wrappers for nanopb

   C++ 32 5