circuithub/fast-downward external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

circuithub/fast-downward

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/circuithub/fast-downward)

Close

circuithub / fast-downwardView on GitHubMore

• External links
• Readme badge

Solve classical planning problems (STRIPS/SAS+) using Haskell & Fast Downward

☆32May 11, 2023Updated 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

• lancelet / star-stream

  View on GitHub
  Starfield renderer
  ☆11Jun 26, 2019Updated 6 years ago
• csabahruska / demoscene

  View on GitHub
  Demoscene: Lambda Team
  ☆20Jun 18, 2019Updated 6 years ago
• jkachmar / scale-by-the-bay-2018

  View on GitHub
  ☆13Nov 16, 2018Updated 7 years ago
• keera-studios / magic-cookies

  View on GitHub
  Remove all the cookies on the tray! - The Haskell iOS & Android board game
  ☆28Mar 2, 2020Updated 5 years ago
• fosskers / streaming-osm

  View on GitHub
  A hand-written streaming byte parser for OpenStreetMap Protobuf data.
  ☆12Dec 8, 2021Updated 4 years ago
• haskell-works / hw-simd

  View on GitHub
  Library of simd functions
  ☆19Jul 24, 2025Updated 7 months ago
• pepeiborra / schemas

  View on GitHub
  A library for schema-guided serialization of Haskell datatypes
  ☆17Dec 21, 2020Updated 5 years ago
• freckle / faktory_worker_haskell

  View on GitHub
  Faktory Worker for Haskell
  ☆17Feb 20, 2026Updated last week
• sras / servant-examples

  View on GitHub
  A bunch of examples that show how to do stuff using Haskell's Servant web framework
  ☆43Apr 26, 2021Updated 4 years ago
• iconnect / api-tools

  View on GitHub
  A Haskell embedded DSL for generating an API's JSON wrappers and documentation.
  ☆34Feb 10, 2026Updated 2 weeks ago
• ixy-languages / ixy.hs

  View on GitHub
  ☆17Feb 13, 2021Updated 5 years ago
• ElvishJerricco / cross-nixos-aarch64

  View on GitHub
  Cross compile minimal NixOS to aarch64
  ☆21Aug 6, 2018Updated 7 years ago
• Profpatsch / libnix-haskell

  View on GitHub
  Haskell library to interface with the nix package manager
  ☆25Nov 23, 2021Updated 4 years ago
• pepeiborra / gc-benchmarks

  View on GitHub
  Benchmarks using the non-moving incremental GHC garbage collector
  ☆22Oct 24, 2019Updated 6 years ago
• Gabriella439 / HasCal

  View on GitHub
  Haskell embedding of PlusCal
  ☆62May 21, 2022Updated 3 years ago
• haskell / deepseq

  View on GitHub
  Deep evaluation of data structures
  ☆43Jun 14, 2025Updated 8 months ago
• target / row-types

  View on GitHub
  A Haskell library for open records and variants using closed type families and type literals
  ☆112Jul 10, 2022Updated 3 years ago
• LeventErkok / sbvPlugin

  View on GitHub
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆46Jan 12, 2026Updated last month
• pjones / nix-hs

  View on GitHub
  Haskell + nixpkgs = nix-hs
  ☆24Jun 2, 2021Updated 4 years ago
• ocharles / hsfmt

  View on GitHub
  A Haskell code formatter using prettyprinter and the GHC API
  ☆24Oct 7, 2018Updated 7 years ago
• luc-tielen / debugger-hs

  View on GitHub
  Write your GDB scripts in Haskell!
  ☆27Dec 13, 2021Updated 4 years ago
• input-output-hk / nix-tools

  View on GitHub
  Translate Cabals Generic Package Description to a Nix expression
  ☆95Jun 26, 2023Updated 2 years ago
• mpickering / apply-refact

  View on GitHub
  Refactor Haskell source files
  ☆159Jan 29, 2025Updated last year
• circuithub / rel8

  View on GitHub
  Hey! Hey! Can u rel8?
  ☆163Dec 5, 2025Updated 2 months ago
• rudymatela / leancheck

  View on GitHub
  enumerative property-based testing for Haskell
  ☆53Aug 7, 2025Updated 6 months ago
• haskell / ghc-events

  View on GitHub
  Library and tool for parsing .eventlog files from GHC
  ☆37Feb 18, 2026Updated last week
• georgewhewell / nixos-nanopim3

  View on GitHub
  ☆11Nov 16, 2017Updated 8 years ago
• icicle-lang / jetski-ambiata

  View on GitHub
  Runtime compilation and invocation of C.
  ☆10Mar 25, 2019Updated 6 years ago
• bartavelle / stateWriter

  View on GitHub
  A RWS like monad without the slow writer stuff
  ☆12Jun 17, 2023Updated 2 years ago
• kazu-yamamoto / network-run

  View on GitHub
  Simple network runner library in Haskell
  ☆11Nov 19, 2025Updated 3 months ago
• qknight / nixos-declarative-containers-example

  View on GitHub
  example how to use declarative containers to deploy arbitrarty webservices on the same system
  ☆11Apr 27, 2014Updated 11 years ago
• ip1981 / sproxy2

  View on GitHub
  HTTP proxy for authenticating users via OAuth2
  ☆10Sep 6, 2019Updated 6 years ago
• JeffreyBenjaminBrown / haskell-servant-ludicrous-speed

  View on GitHub
  An extreme condensation of the tutorial for Haskell's Servant (web server and client) library
  ☆11Feb 2, 2018Updated 8 years ago
• obsidiansystems / obelisk-oauth

  View on GitHub
  ☆12Feb 9, 2026Updated 2 weeks ago
• joelburget / easytest

  View on GitHub
  Simple testing toolkit
  ☆10May 28, 2021Updated 4 years ago
• lspitzner / iridium

  View on GitHub
  Automated Testing and Package Uploading
  ☆12Oct 3, 2018Updated 7 years ago
• Gabriella439 / sig

  View on GitHub
  Blazing fast signature detection
  ☆11Sep 5, 2022Updated 3 years ago
• harendra-kumar / monad-recorder

  View on GitHub
  Record and play the results of monadic actions
  ☆13Mar 18, 2018Updated 7 years ago
• haskell-cryptography / HsOpenSSL

  View on GitHub
  OpenSSL binding for Haskell
  ☆24Jan 31, 2026Updated last month