Results for "relation-algebras"

Claude Code Claude Desktop GitHub Copilot Cursor Windsurf Cline Zed JetBrains

📄SKILL.md 🤖CLAUDE.md ⚡Claude Commands 📐.cursorrules 📐Cursor Rules 🕹️AGENTS.md 🧬codex.md 🏄.windsurfrules 🔧.clinerules 🧑‍✈️Copilot Instructions

All Development Operations Data Product Marketing Customer Design Sales

5 skills found

damien-pous / Relation Algebra

Relation algebra library for Coq

universal

Updated 19d ago

alreich / Qualreas

Qualitative Reasoning: Spatio-Temporal Reasoning using Relation Algebras and Constraint Networks. Documentation is under construction at ReadTheDocs. See link below.

universal

artificial-intelligencebitsetsconstraint-propagation+16

Updated 1mo ago

ayshrv / Dbms Project RelationalParser

Implemented the functionalities of a Relation Algebra Parser in C++ with various operations like Select, Project, Rename, Union Set Difference and Cartesian Product.

universal

cppdbmsrelation-algebra-parser

Updated 2y ago

philzook58 / Rel.jl

Experiments for categories and relation algebra in Julia

universal

Updated 4y ago

marcelolynch / Relif

Relation algebra model finder

universal

Updated 3y ago