SaaSHub helps you find the best software and product alternatives Learn more →
Top 4 Haskell logic-programming Projects
-
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".
-
-
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.
-
/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.
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?
- An experimental and minimal Datalog implementation that compiles down to LLVM
- How would I go about implementing search over a lazy tree in Rust?
- Question: Type system for Lojban structure and semantics
- Any semantic note taking apps out there?
-
A note from our sponsor - #<SponsorshipServiceOld:0x00007f0f9bb3c098>
www.saashub.com | 11 Dec 2023
Index
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 |