souffle-haskell VS charly-vm

Compare souffle-haskell vs charly-vm and see what are their differences.

Our great sponsors
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • WorkOS - The modern identity platform for B2B SaaS
  • SaaSHub - Software Alternatives and Reviews
souffle-haskell charly-vm
2 2
99 93
- -
4.5 0.0
about 2 months ago over 1 year ago
C++ C++
MIT License -
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
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

Posts with mentions or reviews of souffle-haskell. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-09-10.
  • Efficient logic programming in Haskell?
    4 projects | /r/haskell | 10 Sep 2022
    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++?
    9 projects | /r/cpp | 3 May 2021
    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

charly-vm

Posts with mentions or reviews of charly-vm. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-05-03.

What are some alternatives?

When comparing souffle-haskell and charly-vm you can also consider the following projects:

vulkan-guide - Introductory guide to vulkan.

Notes-To-WAV-converter - A program that converts musical notes stored in a text file into WAV files. I know this is not a good Git repository.

nvk - Vulkan API for JavaScript/TypeScript

xll - Excel add-in library

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.

go-expression-calculator - Custom implementation of calculator handling operator precedence and parentheses.

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

CIDLib - The CIDLib general purpose C++ development environment

LearnOpenGL - Code repository of all OpenGL chapters from the book and its accompanying website https://learnopengl.com

JetStory2018 - Source code for JetStory2018 game