Haskell logic-programming

Open-source Haskell projects categorized as logic-programming Edit details

Top 4 Haskell logic-programming Projects

  • streamly

    Dataflow programming and declarative concurrency

    Project mention: Haskell Libraries I Love | reddit.com/r/haskell | 2022-05-30

    I want to like streamly, but the API is so huge, yet I feel like I'm doing things on a too low level of abstraction. (And as long as it needs a ghc plugin I doubt it'll become the de facto standard.) Though maybe I just haven't used it enough. It does have great docs at https://streamly.composewell.com/ and they seem to be taking both performance, dependency weight and API design quite seriously.

  • holmes

    A reference library for constraint-solving with propagators and CDCL.

  • InfluxDB

    Build time-series-based applications quickly and at scale.. InfluxDB is the Time Series Data Platform where developers build real-time applications for analytics, IoT and cloud-native services in less time with less code.

  • eclair-lang

    A minimal, fast Datalog implementation in Haskell

    Project mention: Efficient logic programming in Haskell? | reddit.com/r/haskell | 2022-09-10

    For these reasons I've been building eclair, which is another high performance Datalog compiler written in Haskell, that compiles to LLVM, and is also based on Souffle. So far it is still in a fairly early stage, but I'm making progress. :)

  • Montague

    A library for non-deterministically parsing natural language expressions into a structured form.

    Project mention: How would I go about implementing search over a lazy tree in Rust? | reddit.com/r/rust | 2022-08-14

    But basically, I'm interested in figuring out how I might re-implement the search algorithm I implemented in this repo in Rust to make it blazingly fast more performant.

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020). The latest post mention was on 2022-09-10.

Haskell logic-programming related posts


What are some of the best open-source logic-programming projects in Haskell? This list will help you:

Project Stars
1 streamly 743
2 holmes 290
3 eclair-lang 86
4 Montague 10
Find remote jobs at our new job board 99remotejobs.com. There are 8 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.
Clean code begins in your IDE with SonarLint
Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.