Pinned Loading

1. spex-lang/spex spex-lang/spex Public

   The Spex specification language and toolkit

   Haskell 8

2. armstrong-distributed-systems armstrong-distributed-systems Public

   Notes on how we potentially could build reliable, scalable and maintainable computer systems.

   Makefile 316 11

3. property-based-testing-stateful-systems-tutorial property-based-testing-stateful-systems-tutorial Public

   A tutorial about how to apply property-based testing to stateful systems.

   Haskell 70 4

4. quickcheck-state-machine quickcheck-state-machine Public

   Forked from advancedtelematic/quickcheck-state-machine

   Test monadic programs using state machine based models

   Haskell 17 11

5. bits-and-bobs bits-and-bobs Public

   Bit-level codec library

   Haskell 17

6. elastically-scalable-thread-pools elastically-scalable-thread-pools Public

   An experiment in controlling the size of a thread pool using a PID controller.

   Haskell 117 1