Sebastian Fischer's starred repositories
fair-predicates
A Haskell library for predicates with interleaved evaluation.
parallel-tree-search
Haskell library for parallel tree search
tree-monad
Haskell library for monadic tree search.
explicit-sharing
Explicit Sharing of Monadic Effects
incremental-sat-solver
Simple, Incremental SAT Solving as a Haskell Library
stream-monad
Simple, Fair and Terminating Backtracking Monad
level-monad
Non-Determinism Monad for Level-Wise Search
cabal2macpkg
A program to generate OSX installer files for Cabal libraries (Haskell Platform)