circuithub / fast-downwardLinks
Solve classical planning problems (STRIPS/SAS+) using Haskell & Fast Downward
☆32Updated 2 years ago
Alternatives and similar repositories for fast-downward
Users that are interested in fast-downward are comparing it to the libraries listed below
Sorting:
- rewrite rules for type-level equalities☆62Updated last year
- Maps using values' monoidal structure during merging☆42Updated 2 months ago
- Keep your laziness in check!☆33Updated 2 years ago
- Automation of Haskell package release process.☆31Updated last year
- Ties the knot on data structures that reference each other by unique keys☆47Updated 10 months ago
- Efficient non-empty variants of containers data types, with full API☆26Updated 2 weeks ago
- Automatic type class law checking.☆24Updated 4 months ago
- Generate a command line client from a servant API☆28Updated last year
- Extensible type-safe unions for Haskell☆34Updated 2 months ago
- reverse dependency build matrix generator☆33Updated 4 years ago
- Example repository setup that deploys GHCJS programs to GitHub Pages☆24Updated 6 years ago
- Demonstrating how to make type families faster using typechecker plugins☆21Updated 4 years ago
- Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).☆35Updated 2 months ago
- Overloaded plugin☆30Updated 11 months ago
- On-line accumulation of rank-based statistics such as quantiles and trimmed means☆31Updated 11 months ago
- Use Pandoc to write simple reports within haskell code. Inspired by R-markdown.☆29Updated 4 months ago
- ☆20Updated 2 years ago
- Literally the best anonymous records☆36Updated 2 years ago
- GHC plugin to branch on whether a constraint is satisfied☆33Updated 2 months ago
- Generic types and functions for encoding and decoding columns☆44Updated 7 months ago
- Generate your PureScript types and API client from a Haskell Servant backend.☆30Updated 2 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Compare the public API of different versions of a Hackage library☆63Updated 7 years ago
- a modern library for typed path manipulation in Haskell☆36Updated 3 years ago
- There are many category theory implementations, but this one is mine☆16Updated 9 months ago
- CI assistant☆46Updated last week
- Universal build and CI testing for Haskell packages☆93Updated 2 months ago
- ☆20Updated last year
- A total recursion scheme library for Dhall☆66Updated 3 weeks ago
- Batteries-included structured logging library☆30Updated 3 weeks ago