Skip to content
View solrun's full-sized avatar

Block or report solrun

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. bottomquickspec bottomquickspec Public

    QuickSpecing bottoms!

    Haskell 3

  2. ActivityRecognition ActivityRecognition Public

    Jupyter Notebook 2 1

  3. CoreTypedLuaParser CoreTypedLuaParser Public

    A parser in Haskell for core Typed Lua

    Haskell 1

  4. GoEuroTest GoEuroTest Public

    Solution to GoEuro's Java Developer Test

    Java 1

  5. LibraryOfLemmas LibraryOfLemmas Public

    LOL: a Library of Lemmas

    Haskell 1

  6. vampspec vampspec Public

    Combining Vampire and QuickSpec

    Jupyter Notebook 1