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 4 years ago
- Show programming language printed values in a web UI☆24Updated 6 years ago
- Continuously varying values, made easy :)☆42Updated 5 years ago
- Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.☆47Updated 8 years ago
- DSL for forward and reverse mode automatic differentiation in Haskell. Port of DiffSharp.☆28Updated 6 years ago
- Flush system metrics to statsd☆26Updated 5 months ago
- Dependently typed convolutional neural networks☆35Updated 8 years ago
- Tasty integration for the Hedgehog property testing library☆38Updated last week
- FoldMap lists☆12Updated 2 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 10 months ago
- 🤳 ignore the differences between `a` and `Identity a`☆25Updated 6 years ago
- A preprocessor for GHC for alternate Haskell syntaxes☆38Updated 10 years ago
- A collection of Edward Kmett's packages in a single repository☆16Updated 4 years ago
- Haskell 2010 stream comonads☆23Updated 10 months ago
- Keep your laziness in check!☆35Updated last month
- Automatic type class law checking.☆24Updated 8 months ago
- Easy and powerful typeful logging without monad towers, in Haskell.☆26Updated last year
- Run cabal inside nix-shell☆14Updated 6 years ago
- Comma (and other) separated values☆78Updated last year
- A package exposing a function for generating catamorphisms.☆28Updated 7 years ago
- Benchmarks for numbers: ints, doubles, bignums, rationals, etc.☆20Updated 8 years ago
- FRP block game☆15Updated 8 years ago
- Accessing Postgres in a data frame in Haskell☆24Updated last year
- Deprecated in favour of https://github.com/tonyday567/numhask☆14Updated 8 years ago
- Nat, Fin, Vec☆25Updated 5 months ago
- Haskell library for efficiently building up buffers☆26Updated 9 months ago
- An experiment in functional interface design☆24Updated 8 years ago
- Kleene algebra, regular expressions☆33Updated last year
- Haskell implementation of a nix binary cache and client.☆13Updated 7 years ago
- A collection of computational methods in science.☆12Updated 8 years ago