Pinned Repositories
fs-sim
Haskell libraries for file system simulation
io-sim
Haskell's IO simulator which closely follows core packages (base, async, stm).
lsm-tree
A Haskell library for on-disk tables based on LSM-Trees
ouroboros-consensus
Implementation of a Consensus Layer for the Ouroboros family of protocols
bloomfilter
A fast Haskell Bloom filter library.
cardano-node-tests
Functional tests for cardano-node
generics-sop
Generic Programming using True Sums of Products
hbral
Hetergeneous binary random-access lists
blockio-uring
Library to perform batches of asynchronous disk IO operations. Implemented using Linux io_uring API.
quickcheck-lockstep
Support for lockstep-style testing using quickcheck-dynamic
jorisdral's Repositories
jorisdral/bloomfilter
A fast Haskell Bloom filter library.
jorisdral/cardano-node-tests
Functional tests for cardano-node
jorisdral/generics-sop
Generic Programming using True Sums of Products
jorisdral/hbral
Hetergeneous binary random-access lists
jorisdral/quickcheck-dynamic
A library for stateful property-based testing
jorisdral/quickcheck-lockstep
Support for lockstep-style testing using quickcheck-dynamic
jorisdral/quickcheck-state-machine
Test monadic programs using state machine based models
jorisdral/unix
POSIX functionality
jorisdral/wide-word
A haskell library providing Word128 and Int128 types
jorisdral/hsc2hs
Pre-processor for .hsc files
jorisdral/lukko
File locking
jorisdral/tasty
Modern and extensible testing framework for Haskell
jorisdral/zurihac-2024-ghc-wasm
My ZuriHac 2024 project