Skip to content
View walck's full-sized avatar

Block or report walck

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

Popular repositories Loading

  1. learn-physics learn-physics Public

    A library of functions for vector calculus, calculation of electric field, electric flux, magnetic field, and other quantities in mechanics and electromagnetic theory.

    Haskell 176 16

  2. cyclotomic cyclotomic Public

    A subfield of the complex numbers for exact calculation.

    Haskell 20 1

  3. stackage stackage Public

    Forked from commercialhaskell/stackage

    "Stable Hackage": vetted consistent packages from Hackage

    Shell

  4. HoTT-UF-Agda-Lecture-Notes HoTT-UF-Agda-Lecture-Notes Public

    Forked from martinescardo/HoTT-UF-Agda-Lecture-Notes

    Lecture notes on univalent foundations of mathematics with Agda

    Agda

  5. walck.github.io walck.github.io Public

    HTML

  6. not-gloss not-gloss Public

    Forked from ghorn/not-gloss

    easy 3d plotting in haskell

    Haskell