Nick Smallbone Nick Smallbone

Tracking 4.33K commits to 44 open source packages


Location: Göteborg, Sweden


Repositories

nick8325/quickcheck
Automatic testing of Haskell programs.
Haskell - Other - Last pushed - 413 stars - 79 forks
nick8325/quickspec
Equational laws for free
Haskell - Other - Last pushed - 142 stars - 13 forks
nick8325/twee
An equational theorem prover based on Knuth-Bendix completion
Haskell - Other - Last pushed - 8 stars - 2 forks
nick8325/quickcheck-with-counterexamples
Get counterexamples out of QuickCheck as Haskell values
Haskell - Other - Last pushed - 2 stars
nick8325/jukebox
A theorem prover
Haskell - Other - Last pushed - 6 stars
nick8325/remarkable-fs
A FUSE filesystem wrapper for the reMarkable tablet
Python - Other - Last pushed - 8 stars - 1 forks
See all Nick Smallbone's repositories

Repositories Contributed To

jacobstanley/QuickSpec
Haskell - Other - Last pushed - 1 stars
AlexBaranosky/QuickCheck
Haskell - BSD-3-Clause - Updated - 1 stars
koengit/RealTesting
Testing using numerical methods
C - Last pushed - 2 stars - 1 forks
danr/hipspec
A hip inductive theorem prover!
Haskell - GPL-3.0 - Last pushed - 65 stars - 6 forks
moajohansson/IsaHipster
Theory Exploration for Isabelle using HipSpec
HTML - Last pushed - 4 stars - 1 forks
danr/tip
Tools for Inductive Provers
Haskell - Last pushed - 1 stars
See all Nick Smallbone's contributions

Published Packages

QuickCheck
QuickCheck is a library for random testing of program properties. The programmer provides a speci...
Latest release 2.12.6.1 - Updated - 413 stars
quickspec
QuickSpec takes your Haskell code and, as if by magic, discovers laws about it. You give QuickSpe...
Latest release 2.1 - Updated - 142 stars
twee
Twee is an experimental equational theorem prover based on Knuth-Bendix completion. Given a set ...
Latest release 2.1.5 - Updated - 8 stars
quickcheck-with-counterexamples
When QuickCheck finds a counterexample, it prints it out but doesn't save it so that the programm...
Latest release 1.1 - Updated - 2 stars
remarkable-fs
A FUSE filesystem driver for the reMarkable tablet
Latest release 0.1.2 - Updated - 8 stars
twee-lib
Twee is an experimental equational theorem prover based on Knuth-Bendix completion. Given a set ...
Latest release 2.1.5 - Updated - 8 stars
See all Nick Smallbone's packages

Most Used Packages

base
This package contains the Prelude and its support libraries, and a large collection of useful lib...
Latest release 4.12.0.0 - Updated
tf-random
This package contains an implementation of a high-quality splittable pseudorandom number generato...
Latest release 0.5 - Updated
deepseq
This package provides methods for fully evaluating data structures ("deep evaluation"). Deep eval...
Latest release 1.4.4.0 - Updated - 17 stars
template-haskell
This package provides modules containing facilities for manipulating Haskell source code using Te...
Latest release 2.14.0.0 - Updated
ghc-prim
GHC primitives.
Latest release 0.5.3 - Updated
QuickCheck
QuickCheck is a library for random testing of program properties. The programmer provides a speci...
Latest release 2.12.6.1 - Updated - 413 stars
See all Nick Smallbone's most used packages

Last synced: 2016-12-16 17:04:30 UTC

Login to resync this page