Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

https://github.com/chessai/hsdatalog

bdd compiler datalog logic-programming relational-algebra relational-databases

Last synced: 8 days ago
JSON representation

BDD-based implementation of Datalog

Host: GitHub
URL: https://github.com/chessai/hsdatalog
Owner: chessai
License: other
Created: 2020-05-20T03:52:01.000Z (over 4 years ago)
Default Branch: master
Last Pushed: 2020-06-14T07:00:45.000Z (over 4 years ago)
Last Synced: 2024-10-13T23:50:13.161Z (22 days ago)
Topics: bdd, compiler, datalog, logic-programming, relational-algebra, relational-databases
Language: Haskell
Homepage:
Size: 166 KB
Stars: 36
Watchers: 7
Forks: 2
Open Issues: 0