Skip to content
View nick8325's full-sized avatar
101 followers · 4 following
  • Göteborg, Sweden

Achievements

Achievement: Starstruckx3Achievement: Arctic Code Vault ContributorAchievement: Pull Shark
BetaSend feedback

Achievements

Achievement: Starstruckx3Achievement: Arctic Code Vault ContributorAchievement: Pull Shark
BetaSend feedback
Block or Report

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

  1. quickcheck quickcheck Public

    Automatic testing of Haskell programs.

    Haskell 692 117

  2. quickspec quickspec Public

    Equational laws for free

    Haskell 247 24

  3. remarkable-fs remarkable-fs Public

    A FUSE filesystem wrapper for the reMarkable tablet

    Python 83 13

  4. twee twee Public

    An equational theorem prover based on Knuth-Bendix completion

    Haskell 45 12

  5. equinox equinox Public

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

    Haskell 18 4

  6. jukebox jukebox Public

    A theorem prover

    Haskell 13