SaaSHub helps you find the best software and product alternatives Learn more →
Top 4 Haskell logic-programming Projects
High performance, concurrent functional programming abstractionsProject 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".
A reference library for constraint-solving with propagators and CDCL.
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.
A minimal, fast Datalog implementation in Haskell that compiles to LLVM IRProject 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.
A library for non-deterministically parsing natural language expressions into a structured form.
Haskell logic-programming related posts
If given a list of properties/definitions and relationship between them, could a machine come up with (mostly senseless, but) true implications?
5 projects | /r/math | 11 Jul 2023
An experimental and minimal Datalog implementation that compiles down to LLVM
1 project | news.ycombinator.com | 23 Nov 2022
How would I go about implementing search over a lazy tree in Rust?
1 project | /r/rust | 14 Aug 2022
Question: Type system for Lojban structure and semantics
1 project | /r/lojban | 24 Jul 2022
Any semantic note taking apps out there?
2 projects | /r/semanticweb | 26 Jun 2022
A note from our sponsor - #<SponsorshipServiceOld:0x00007f0f9bb3c098>
www.saashub.com | 11 Dec 2023
What are some of the best open-source logic-programming projects in Haskell? This list will help you: