eric-wieser - Overview

Skip to content

Navigation Menu

Sign in

Appearance settings

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