Top 4 Haskell logic-programming Projects
Dataflow programming and declarative concurrencyProject 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.
A reference library for constraint-solving with propagators and CDCL.
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.
A minimal, fast Datalog implementation in HaskellProject 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. :)
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.
Haskell logic-programming related posts
How would I go about implementing search over a lazy tree in Rust?
1 project | reddit.com/r/rust | 14 Aug 2022
Question: Type system for Lojban structure and semantics
1 project | reddit.com/r/lojban | 24 Jul 2022
Any semantic note taking apps out there?
2 projects | reddit.com/r/semanticweb | 26 Jun 2022
What are some of the best open-source logic-programming projects in Haskell? This list will help you:
Are you hiring? Post a new remote job listing for free.