souffle-haskell
CIDLib
souffle-haskell | CIDLib | |
---|---|---|
2 | 35 | |
99 | 208 | |
- | - | |
4.5 | 0.0 | |
2 months ago | over 2 years ago | |
C++ | C++ | |
MIT License | MIT License |
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
CIDLib
- Remaining Relevant Over Four Decades
-
When Zig is safer and faster than (unsafe) Rust
It's open source. It's in two parts CIDLib, which is the general purpose layer: https://github.com/DeanRoddey/CIDLib/
- Using Exceptions for all Error Handling.... in Theory
- The Cargo Cult of Good Code
- Do any of you use python or another scripting language instead of a build system?
- Why C++ devs earn so much more than js and python?
- C++ Developers of Reddit, tell your story
- 30,000 hours
- Systems Programming & Memory Safety
- Can't modern c++ be as safe as rust?
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.
vulkan-guide - Introductory guide to vulkan.
nvk - Vulkan API for JavaScript/TypeScript
kanzi-cpp - Fast lossless data compression in C++
eclair-lang - A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
NetFabric.Hyperlinq - High performance LINQ implementation with minimal heap allocations. Supports enumerables, async enumerables, arrays and Span<T>.
going-native-py - Bringing the power, stability and functional capabilities of C++ to Python.
charly-vm - Fully parallel dynamically typed programming language
cmake-init-executable - Example executable output of cmake-init
LearnOpenGL - Code repository of all OpenGL chapters from the book and its accompanying website https://learnopengl.com
cmake-init - The missing CMake project initializer