Haskell logic-programming

Open-source Haskell projects categorized as logic-programming

Top 4 Haskell logic-programming Projects

  • streamly

    High performance, concurrent functional programming abstractions

    Project mention: [ANN] Haskell Streamly 0.9.0 Release! | /r/haskell | 2023-05-25

    https://github.com/composewell/streamly/issues/1307 seems related, but it was a long time ago. We weren't heavy users anyway, so our streaming philosophy is now "conduit if it's simple and plugging into a conduit-using library, streaming if you're doing complicated things".

  • holmes

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

  • Onboard AI

    Learn any GitHub repo in 59 seconds. Onboard AI learns any GitHub repo in minutes and lets you chat with it to locate functionality, understand different parts, and generate new code. Use it for free at www.getonboard.dev.

  • eclair-lang

    A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR

    Project mention: Should I abandon using haskell for my compiler? | /r/haskell | 2023-04-20

    /u/ltielen's Éclair language targets LLVM and is actively maintained, so I'd look at that implementation's LLVM setup.

  • Montague

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

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 2023-05-25.

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 835
2 holmes 292
3 eclair-lang 179
4 Montague 12
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives