Skip to content
View runKleisli's full-sized avatar
3 followers · 1 following

Achievements

Achievement: Pull Sharkx2

Achievements

Achievement: Pull Sharkx2

Block or report runKleisli

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. verified-integer-gaussian-elimination verified-integer-gaussian-elimination Public

    Idris package defining, implementing, and verifying naiive Gaussian elimination over the integers in some system of linear algebra.

    Idris 9

  2. focused-list-machines focused-list-machines Public

    Languages for index-centric manipulation of lists

    Haskell 4

  3. netwire-vinylglfw-examples netwire-vinylglfw-examples Public

    Netwire/GLFW/VinylGL input handling demo

    Haskell 2 1

  4. idris-classdata idris-classdata Public

    Using type classes like data types

    Idris 1

  5. idris-algebra idris-algebra Public

    Forked from idris-hackers/idris-algebra

    This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"

    Idris

  6. netwire-input-glfw netwire-input-glfw Public

    Forked from Mokosha/netwire-input-glfw

    MonadInput instances for GLFW based netwire programs

    Haskell