Skip to content
Avatar
230 followers · 38 following

Achievements

Achievement: Pair Extraordinairex2Achievement: YOLOAchievement: QuickdrawAchievement: Starstruckx2Achievement: Pull Sharkx4Achievement: Arctic Code Vault ContributorAchievement: Mars 2020 Contributor
BetaSend feedback

Achievements

Achievement: Pair Extraordinairex2Achievement: YOLOAchievement: QuickdrawAchievement: Starstruckx2Achievement: Pull Sharkx4Achievement: Arctic Code Vault ContributorAchievement: Mars 2020 Contributor
BetaSend feedback

Highlights

  • Pro
  • 1 discussion answered

Organizations

@sympy @numpy @systemetric @Technobotts @mit @lego-line @skrub-wreckers @kymata-atlas @pygae @leanprover-community @cocotb
Block or Report

Block or report eric-wieser

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

  1. numpy/numpy Public

    The fundamental package for scientific computing with Python.

    Python 21k 7.1k

  2. leanprover-community/mathlib Public

    Lean mathematical components library

    Lean 1.3k 262

  3. cocotb/cocotb Public

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

    Python 1.1k 373

  4. pygae/clifford Public

    Geometric Algebra for Python

    Python 642 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

4,599 contributions in the last year

Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Mon Wed Fri
Learn how we count contributions
Less More
NEW! View your contributions in 3D, VR and IRL!

Contribution activity

July 2022

Created 106 commits in 8 repositories
Created 4 repositories

Created a pull request in leanprover-community/mathlib that received 8 comments

[Merged by Bors] - chore(linear_algebra/matrix): Use the new matrix notation in most places

depends on: #15351

+87 −72 • 8 comments
Opened 44 other pull requests in 7 repositories
leanprover-community/mathlib 29 closed 4 open
leanprover-community/lean 5 closed
nlohmann/json 2 open
leanprover/vscode-lean 1 open
codersrank-org/libraries 1 merged
ATOMSLab/LeanChemicalTheories 1 closed
eric-wieser/lean-graded-rings 1 merged
Reviewed 192 pull requests in 9 repositories
leanprover-community/mathlib 25 pull requests
leanprover-community/lean 5 pull requests
leanprover-community/doc-gen 2 pull requests
executablebooks/mdit-py-plugins 1 pull request
numba/numba 1 pull request
github/docs 1 pull request
numpy/numpy 1 pull request
sympy/sympy 1 pull request
python/cpython 1 pull request
Opened 1 issue in 1 repository
38 contributions in private repositories Jul 5 – Jul 26

Seeing something unexpected? Take a look at the GitHub profile guide.