souffle-haskell
Notes-To-WAV-converter
DISCONTINUED
Our great sponsors
souffle-haskell | Notes-To-WAV-converter | |
---|---|---|
2 | 2 | |
98 | 3 | |
- | - | |
4.5 | 0.0 | |
about 1 month ago | almost 4 years ago | |
C++ | C++ | |
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
Notes-To-WAV-converter
-
What can be done with C++?
Well, the compiler for my programming language is written in standard C++, using no external frameworks. It is 5'500 lines of code: https://github.com/FlatAssembler/AECforWebAssembly.git Something simpler, but only slightly less exciting, the program that converts musical notes stored in a text file to WAV files can be written in 150 lines of code in C++, again using no frameworks: https://github.com/FlatAssembler/Notes-To-WAV-converter/blob/master/convertNotesToWAV.cpp
-
What's the coolest thing you've created with c++?
I have also made a very simple music synthesizer in C++: https://github.com/FlatAssembler/Notes-To-WAV-converter
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.
charly-vm - Fully parallel dynamically typed programming language
nvk - Vulkan API for JavaScript/TypeScript
eclair-lang - A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
LearnOpenGL - Code repository of all OpenGL chapters from the book and its accompanying website https://learnopengl.com
xll - Excel add-in library
AECforWebAssembly - A port of ArithmeticExpressionCompiler from x86 to WebAssembly, so that the programs written in the language can run in a browser. The compiler has been rewritten from JavaScript into C++.
JetStory2018 - Source code for JetStory2018 game