Ecosyste.ms: Awesome

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

https://github.com/aergoio/aergolite

AergoLite: Trustless SQLite Replication

blockchain database distributed immutable relational replication sqlite3 trustless

Last synced: 01 Jul 2024

https://github.com/spring-projects/spring-data-r2dbc

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.

ddd framework r2dbc reactive relational spring spring-data

Last synced: 20 Jun 2024

https://github.com/logsem/clutch

A probabilistic relational separation logic with support for asynchronous couplings.

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

Last synced: 29 May 2024

https://github.com/ixjf/logic-rs

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

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

Last synced: 22 May 2024

https://github.com/Roenbaeck/bareclad

Based on transitional modeling, bareclad is a new type of database that provides features from relational, graph, columnar, and name-value pair databases.

columnar database graph nvp relational

Last synced: 01 Apr 2024