dejafu
Concurrency tester
A tool for testing concurrent Haskell programs to ensure they behave deterministically and correctly
Systematic concurrency testing meets Haskell.
196 stars
11 watching
19 forks
Language: Haskell
last commit: almost 2 years agoconcurrencyhaskelltesting
Related projects:
| Repository | Description | Stars |
|---|---|---|
 parapluu/concuerror | Tools for systematically testing Erlang programs for concurrency errors and verifying their absence. | 333 |
 crabmusket/haskell-simple-concurrency | A tutorial project introducing basic concurrency mechanisms in Haskell through simple examples and inspiration from Go's concurrency primitives. | 79 |
 iu-parfunc/lvars | Provides a data structure and framework for monotonically-growing concurrent programs | 80 |
 jberryman/unagi-chan | A high-performance concurrent queue implementation using atomic counters and the x86 fetch-and-add instruction | 127 |
 nick8325/quickcheck | Automated testing of program properties in Haskell programs. | 728 |
 bodigrim/smallcheck | A testing library that checks Haskell code properties exhaustively using automatic test case generation | 134 |
 simonmar/par-tutorial | A tutorial and code samples for parallel and concurrent programming in Haskell. | 219 |
 awkward-squad/ki | A lightweight library for structured concurrency in Haskell, providing a simple and efficient way to manage concurrent operations. | 83 |
 puniverse/pulsar | Provides a concurrency framework with fibers, channels and actors for Clojure. | 911 |
 chbatey/kafka-unit | Allows developers to test Kafka applications in isolation with a simple setup and teardown process. | 174 |
 mzero/haskell-amuse-bouche | A collection of Haskell code examples and resources illustrating the language's features and programming techniques. | 114 |
 pravoru/gatling-junitrunner | A JUnit wrapper around Gatling simulations to enable debugging and unit testing of load tests. | 3 |
 hspec/hspec | A testing framework for Haskell programming language | 755 |
 imjacobclark/herd | An experimental HTTP load testing application built using Rust to simulate large volumes of concurrent requests | 110 |
 bgamari/ghc-debug | Enables heap inspection and analysis of running Haskell programs from an external debugger | 61 |