8000 nick8325 (Nick Smallbone) · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View nick8325's full-sized avatar
110 followers · 4 following
  • Göteborg, Sweden

Achievements

Achievement: QuickdrawAchievement: Starstruckx3Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: QuickdrawAchievement: Starstruckx3Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Block or report nick8325

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. < 7240 div class="Box pinned-item-list-item d-flex p-3 width-full public source" >
    quickcheck quickcheck Public

    Automatic testing of Haskell programs.

    Haskell 748 125

  • quickspec quickspec Public

    Equational laws for free

    Haskell 255 26

  • remarkable-fs remarkable-fs Public

    A FUSE filesystem wrapper for the reMarkable tablet

    Python 84 14

  • twee twee Public

    An equational theorem prover based on Knuth-Bendix completion

    Haskell 50 12

  • equinox equinox Public

    Paradox model finder and equinox theorem prover for first-order logic.

    Haskell 20 4

  • jukebox jukebox Public

    A theorem prover

    Haskell 13

    • 0