gcross / LogicGrowsOnTreesLinks
A library and framework for massively parallelizing backtracking searches in Haskell with a strong emphasis on ease of use.
☆31Updated 6 years ago
Alternatives and similar repositories for LogicGrowsOnTrees
Users that are interested in LogicGrowsOnTrees are comparing it to the libraries listed below
Sorting:
- Various type-aligned sequence data structures.☆21Updated 3 years ago
- Haskell implementation of a nix binary cache and client.☆13Updated 7 years ago
- Easy and powerful typeful logging without monad towers, in Haskell.☆26Updated last year
- GHCJS FFI bindings to the Electron API (WIP).☆10Updated 8 years ago
- FoldMap lists☆12Updated 2 years ago
- your dynamic optimization buddy☆27Updated 5 years ago
- DSL for forward and reverse mode automatic differentiation in Haskell. Port of DiffSharp.☆28Updated 6 years ago
- Automatic type class law checking.☆24Updated 6 months ago
- 🤳 ignore the differences between `a` and `Identity a`☆25Updated 5 years ago
- Flush system metrics to statsd☆26Updated 3 months ago
- Run cabal inside nix-shell☆14Updated 6 years ago
- This will, one day, be a Haskell implementation of Cap'n Proto.☆11Updated 9 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 8 months ago
- An approach to managing composable effects, ala mtl/transformers/extensible-effects/Eff☆24Updated 7 years ago
- A preprocessor for GHC for alternate Haskell syntaxes☆38Updated 9 years ago
- Deprecated in favour of https://github.com/tonyday567/numhask☆14Updated 8 years ago
- Show programming language printed values in a web UI☆24Updated 6 years ago
- Generate a cabal freeze file from a stack.yaml☆36Updated 6 years ago
- Extensible type-safe unions for Haskell☆34Updated 4 months ago
- it's a starcraft clone but with a dope typesystem☆51Updated 5 years ago
- Benchmarks for numbers: ints, doubles, bignums, rationals, etc.☆20Updated 8 years ago
- Continuously varying values, made easy :)☆42Updated 5 years ago
- Dependently typed convolutional neural networks☆35Updated 8 years ago
- A package exposing a function for generating catamorphisms.☆28Updated 7 years ago
- 💧 Liquid Haskell integration for Cabal and Stack☆25Updated 6 years ago
- ghc --make reimplemented with Shake☆32Updated last year
- Tasty integration for the Hedgehog property testing library☆38Updated 8 months ago
- Simplify managing Haskell projects by generating files like README.md, .travis.yml, etc.☆12Updated 9 years ago
- Robust persistence for typed immutable data☆17Updated 8 years ago
- Lists, Texts, ByteStrings and Vectors with type-encoded length☆10Updated 4 years ago