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:
- Haskell implementation of a nix binary cache and client.☆13Updated 8 years ago
- Easy and powerful typeful logging without monad towers, in Haskell.☆26Updated last year
- Simplify managing Haskell projects by generating files like README.md, .travis.yml, etc.☆12Updated 10 years ago
- Automatic type class law checking.☆24Updated last month
- Various type-aligned sequence data structures.☆21Updated 4 years ago
- Flush system metrics to statsd☆26Updated last month
- 💧 Liquid Haskell integration for Cabal and Stack☆25Updated 6 years ago
- Tasty integration for the Hedgehog property testing library☆38Updated last month
- An OS written in Idris (eventually...)☆20Updated 10 years ago
- Kleene algebra, regular expressions☆33Updated 2 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆49Updated last month
- Dependently typed convolutional neural networks☆35Updated 8 years ago
- Continuously varying values, made easy :)☆42Updated 6 years ago
- A Haskell library supporting flexible, dynamic file-based configuration.☆16Updated 6 years ago
- Quickcheck Properties for common typeclasses☆35Updated last month
- A preprocessor for GHC for alternate Haskell syntaxes☆38Updated 10 years ago
- This will, one day, be a Haskell implementation of Cap'n Proto.☆11Updated 9 years ago
- A package exposing a function for generating catamorphisms.☆29Updated 7 years ago
- Show programming language printed values in a web UI☆24Updated 6 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 3 weeks ago
- Double-ended queues☆14Updated last year
- ☆21Updated 3 years ago
- Comma (and other) separated values☆78Updated 2 years ago
- Benchmarks for numbers: ints, doubles, bignums, rationals, etc.☆20Updated 8 years ago
- HTML to Hamlet converter☆16Updated 6 years ago
- Generate a cabal freeze file from a stack.yaml☆36Updated 7 years ago
- Classes for types where we know all the values☆39Updated last year
- Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.☆47Updated 8 years ago
- Accessing Postgres in a data frame in Haskell☆24Updated 2 years ago
- Automation of Haskell package release process.☆31Updated 2 years ago