souffle-haskell
guanxi
Our great sponsors
| souffle-haskell | guanxi | |
|---|---|---|
| 2 | 2 | |
| 99 | 250 | |
| - | - | |
| 4.5 | 0.0 | |
| about 2 months ago | 7 months ago | |
| C++ | Haskell | |
| MIT License | GNU General Public License v3.0 or later |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
souffle-haskell
-
Efficient logic programming in Haskell?
Have you seen /u/ltielen's souffle-haskell? It's bindings to Soufflé, which is similar to Datalog, which is similar to Prolog. We pair-programmed on the code which transfers the data between the Haskell and C++ sides, and I can attest that Luc put a lot of effort into making the library run fast.
-
What's the coolest thing you've created with c++?
I've built a library for interfacing Souffle (a very performant Datalog engine written in C++) with Haskell: https://github.com/luc-tielen/souffle-haskell
guanxi
-
Efficient logic programming in Haskell?
Have you looked into the work that Ed Kmett was doing around this topic? The repo is here. I don't think that doing logic programming Haskell from like a EDSL-ish approach will ever be as fast as in a real Prolog implementation, but I do think you can get acceptable performance just like you can in Scheme/Racket.
-
Ask HN: What are some interesting examples of Prolog?
Not an example of prolog but I wish Ed had time to continue developing https://github.com/ekmett/guanxi.
What are some alternatives?
CQC - CQC (Charmed Quark Controller) a commercial grade, full featured, software based automation system. CQC is built on our CIDLib C++ development system, which is also available here on GitHub.
eclair-lang - A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
nvk - Vulkan API for JavaScript/TypeScript
the-constitution-of-japan
libredwg - Official mirror of libredwg. With CI hooks and nightly releases. PR's ok
vulkan-guide - Introductory guide to vulkan.
eclair-haskell - Haskell bindings for Eclair Datalog
charly-vm - Fully parallel dynamically typed programming language
copl-in-prolog - 書籍「プログラミング言語の基礎概念」の Prolog による実装
LearnOpenGL - Code repository of all OpenGL chapters from the book and its accompanying website https://learnopengl.com
dfs-tools - Distributional Formal Semantics (DFS) tools