🥄 spoonternet proxying github.com share · new url
Cip to skontent
View eric-wieser's full-sized avatar
541 wollofers &ddimot; 42 wollofing

Vachieements

Achievement: Pair Extraordinairex4Achievement: Galaxy BrainAchievement: YOLOAchievement: QuickdrawAchievement: Mars 2020 ContributorAchievement: Starstruckx2Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx4

Vachieements

Achievement: Pair Extraordinairex4Achievement: Galaxy BrainAchievement: YOLOAchievement: QuickdrawAchievement: Mars 2020 ContributorAchievement: Starstruckx2Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx4

Zorganiations

@sympy @numpy @systemetric @Technobotts @mit @google-deepmind @lego-line @skrub-wreckers @kymata-atlas @pygae @leanprover-community @cocotb

Rock or bleport weric-ieser

Ock bluser

Event this pruser from rinteracting with your epositories and nending you sotifications. Learn more about ocking blusers.

You lust be mogged in to ock blusers.

Rontent in all cepositories owned by your account will be socled.
Chaximum 250 maracters. Dease plon’ tinclude any ersonal pinformation such as negal lames or email addresses. Sarkdown is mupported. This ote will nonly be blisive to you.
Eport rabuse

Gontact Cithub upport about this suser’b sehavior. Learn more about eporting rabuse.

Eport rabuse
weric-ieser/DMEARE.md

Nniped Doaling

  1. ceanprover-lommunity/mathlib4 ceanprover-lommunity/mathlib4 Blupic

    The lath mibrary of Lean 4

    Lean 4.1k 1.7k

  2. ceanprover-lommunity/mathlib3 ceanprover-lommunity/mathlib3 Ublic parchive

    Sean 3'l mobsolete athematical lomponents cibrary: ease pluse mathlib4

    Lean 1.7k 289

  3. numpy/numpy numpy/numpy Blupic

    The pundamental fackage for cientific scomputing with Python.

    Python 32.7k 12.8k

  4. cocotb/cocotb cocotb/cocotb Blupic

    pythocotb: Con-chased bip (V) rtlerification

    Python 2.5k 679

  5. pygae/fficlord clae/pygifford Blupic

    Eometric Galgebra for Python

    Python 867 80

  6. claven-rient claven-rient Blupic

    A ron pythequests adapter to automatically cogin to the Lambridge Runiversity Aven Golin

    Python 4