relational

Provide support to increase developer productivity in Java when using Reactive Relational Database Connectivity. Uses familiar Spring concepts such as a DatabaseClient for core API usage and lightweight repository style data access.

framework reactive spring spring-data ddd relational r2dbc

UpdatedNov 17, 2023

sixthnormal /clj-3df

Star332

Clojure(Script) client for Declarative Dataflow.

client clojure datalog relational differential-dataflows

UpdatedNov 8, 2019
Clojure

comnik /declarative-dataflow

Star324

A reactive query engine built on differential dataflow.

graphql datalog relational differential-dataflows reactive-query-engine

UpdatedJan 20, 2020
Rust

aergoio /aergolite

Star113

AergoLite: Trustless SQLite Replication

immutable database replication blockchain distributed sqlite3 relational trustless

UpdatedDec 15, 2025
C

junyang /radb

Star68

RA (radb): A relational algebra interpreter over relational databases

sql algebra databases relational educational-software

UpdatedFeb 16, 2026
Python

AlgebraicJulia /AlgebraicRelations.jl

Star55

Relational Algebra, now with more algebra!

algebra category-theory relational-databases algebraic-structures relational-algebra relational

UpdatedSep 14, 2025
Julia

kaiso /relmongo

Star54

Java relationship-enabled domain model persistence framework for MongoDB

java data framework database spring mongodb reference mapping lazy annotations document association relationship spring-data-mongodb onetoone relational relation bi-directional onetomany dbref

UpdatedMar 21, 2024
Java

mootensai /yii2-relation-trait

Star47

Yii 2 Models add functionality for load with relation, & transactional save with relation PLUS soft delete/restore feature

yii2 model yii2-extension relational-databases relational relational-model softdelete

UpdatedOct 2, 2021
PHP

KonstantinosX /graphgen-project

Star37

A Python wrapper over the GraphGen system

analytics graph databases relational

UpdatedSep 15, 2017
Python

logsem /clutch

Star35

Probabilistic separation logics for verifying higher-order probabilistic programs.

asynchronous coq logic iris probabilistic relational higher-order separation-logic couplings

UpdatedFeb 20, 2026
Rocq Prover

tekknolagi /db.py

Sponsor

Star22

python sql database toy small db tiny relational

UpdatedSep 8, 2024
Python

ixjf /logic-rs

Star20

A parser of relational predicate logic & truth tree solver, written in Rust.

rust parser consistency logic wasm order first validity pest relational tautology predicate formulas contingency truth-tree first-order formal-validity contradiction

UpdatedMay 1, 2019
Rust

Roenbaeck /positorium

Star18

Positorium is a new type of database that provides features from relational, graph, columnar, and name-value pair databases.

database graph relational nvp columnar

UpdatedOct 16, 2025
Rust

mike-jung /ubiaccess-framework

Star10

Ready-to-use boilerplate project for MVC architecture using node, express and Relational Database(ex. MySQL or MariaDB) with ES6, Promise and Web Annotation support. Database failover, SocketIO messaging, Redis failover, WebRTC streaming and FCM push are also supported.