circuithub / fast-downward
Solve classical planning problems (STRIPS/SAS+) using Haskell & Fast Downward
☆32Updated last year
Related projects: ⓘ
- Automatic type class law checking.☆24Updated 9 months ago
- rewrite rules for type-level equalities☆61Updated 5 months ago
- Efficient non-empty variants of containers data types, with full API☆25Updated 2 months ago
- Tools for functors from Hask^k to Hask☆23Updated 5 years ago
- Quickcheck Properties for common typeclasses☆34Updated 4 months ago
- Generate a command line client from a servant API☆29Updated 8 months ago
- There are many category theory implementations, but this one is mine☆14Updated 3 weeks ago
- Maps using values' monoidal structure during merging☆42Updated 3 months ago
- coverage driven random testing framework☆20Updated 4 months ago
- Extensible type-safe unions for Haskell☆31Updated last week
- Signature inference for Functional Property Discovery in Haskell☆36Updated 7 years ago
- Use Pandoc to write simple reports within haskell code. Inspired by R-markdown.☆29Updated 2 months ago
- ☆45Updated 2 years ago
- Wailing into the primordial ooze of category theory☆54Updated 3 months ago
- Compare the public API of different versions of a Hackage library☆63Updated 6 years ago
- ☆33Updated 7 months ago
- experimenting with unlifted classes via backpack☆36Updated 2 years ago
- Web front UI for interactive Haskell projects☆33Updated 4 years ago
- Generic types and functions for encoding and decoding columns☆43Updated 6 months ago
- ☆20Updated last year
- Automation of Haskell package release process.☆31Updated 10 months ago
- Framework for artificial life and other evolutionary algorithms.☆30Updated 2 years ago
- GHC plugin to branch on whether a constraint is satisfied☆30Updated last year
- Safe web routing in haskell☆30Updated last year
- Keep your laziness in check!☆32Updated 2 years ago
- Example repository setup that deploys GHCJS programs to GitHub Pages☆24Updated 5 years ago
- a modern library for typed path manipulation in Haskell☆36Updated 3 years ago
- Easy bidirectional serialization in Haskell☆50Updated 5 years ago
- CI assistant☆44Updated 2 weeks ago
- Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).☆33Updated 3 months ago