Docs.rs

Tetris rules enforcement via ontology — spatial constraints, gravity, rotation, line clears

Elevator dispatch rules enforcement via ontology — optimal multi-elevator scheduling with safety guarantees

Tracing subsystem for ReifyDB using tracing_subscriber

Chess rules enforcement via ontology — guarantees no illegal moves

Task execution subsystem for ReifyDB

WebSocket server subsystem for ReifyDB

Formal logic: propositional logic, predicates, truth tables, proof rules

Molecular visualization tools by rust

OpenTelemetry/Jaeger tracing subsystem for ReifyDB

Category theory primitives — categories, functors, natural transformations, with property-based validation

Molecular visualization tools by rust

HTTP server subsystem for ReifyDB using Axum

gRPC server subsystem for ReifyDB

A library for handling ISBNs.

Ephemeral subscription subsystem for ReifyDB