All Projects → chessai → hsdatalog

chessai / hsdatalog

Licence: other
BDD-based implementation of Datalog

Programming Languages

haskell
3896 projects
Nix
1067 projects
Makefile
30231 projects

Projects that are alternatives of or similar to hsdatalog

datajoint-python
Relational data pipelines for the science lab
Stars: ✭ 140 (+366.67%)
Mutual labels:  relational-databases, relational-algebra
activerecord-setops
Union, Intersect, and Difference set operations for ActiveRecord (also, SQL's UnionAll).
Stars: ✭ 21 (-30%)
Mutual labels:  relational-databases, relational-algebra
pireal
Relational Algebra Interpreter writting in Python and Qt
Stars: ✭ 31 (+3.33%)
Mutual labels:  relational-databases, relational-algebra
AlgebraicRelations.jl
Relational Algebra, now with more algebra!
Stars: ✭ 31 (+3.33%)
Mutual labels:  relational-databases, relational-algebra
site-infrastructure-tests
Test framework that allows analysts/marketers to specify site infrastructure regression tests for dev
Stars: ✭ 23 (-23.33%)
Mutual labels:  bdd
gavel-spec
Behavior specification for Gavel, validator of HTTP transactions
Stars: ✭ 105 (+250%)
Mutual labels:  bdd
apple-mango
Python BDD Pattern
Stars: ✭ 18 (-40%)
Mutual labels:  bdd
demo-webdriverio-cucumber
E2E Tests with WebdriverIO and Cucumber
Stars: ✭ 28 (-6.67%)
Mutual labels:  bdd
orion
A next-generation testing tool. Orion provides a powerful DSL to write and automate your acceptance tests
Stars: ✭ 40 (+33.33%)
Mutual labels:  bdd
beam-nuggets
Collection of transforms for the Apache beam python SDK.
Stars: ✭ 64 (+113.33%)
Mutual labels:  relational-databases
relational
Educational tool for relational algebra
Stars: ✭ 70 (+133.33%)
Mutual labels:  relational-algebra
Jatalog
Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation
Stars: ✭ 62 (+106.67%)
Mutual labels:  datalog
Android-Cucumber-BDD-Sample
A sample project that has most of the tests and code written in a Behaviour Driven Development style, using the Cucumber framework.
Stars: ✭ 29 (-3.33%)
Mutual labels:  bdd
karate-runner
VSCode Extension for Karate
Stars: ✭ 23 (-23.33%)
Mutual labels:  bdd
CEDS-IDS
The CEDS Integrated Data Store factors the entities and attributes of the CEDS Domain Entity Schema (DES) with standard technical syntax and 3rd normal form database normalization. The IDS Logical Model provides a standard framework for integration of P-20 data systems through a well-normalized “operational data store”. In a P-20 data system, th…
Stars: ✭ 29 (-3.33%)
Mutual labels:  relational-databases
kheera-testrunner-android
BDD Framework for Android
Stars: ✭ 18 (-40%)
Mutual labels:  bdd
containers-security-project
A place for documenting threats and mitigations related to containers orchestrators (Kubernetes, Swarm etc)
Stars: ✭ 25 (-16.67%)
Mutual labels:  bdd
jds
Jenesis Data Store: a dynamic, cross platform, high performance, ORM data-mapper. Designed to assist in rapid development and data mining
Stars: ✭ 17 (-43.33%)
Mutual labels:  relational-databases
phpunit-expect
BDD-style assertions for PHPUnit
Stars: ✭ 15 (-50%)
Mutual labels:  bdd
RDMP
Research Data Management Platform (RDMP) is an open source application for the loading,linking,anonymisation and extraction of datasets stored in relational databases.
Stars: ✭ 20 (-33.33%)
Mutual labels:  relational-databases

hsdatalog

A compiler from Datalog to relational algebra, as well as an interpreter for relational algebra that uses binary decision diagrams (BDDs).

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].