Docs.rs

Recent Releases

logicaffeine-proof-0.9.9

Backward-chaining proof engine with Socratic hints
4 seconds ago
logicaffeine-data-0.9.9

WASM-safe data structures and CRDTs - NO IO
27 seconds ago
logicaffeine-kernel-0.9.9

Pure Calculus of Constructions type theory - NO LEXICON
34 seconds ago
logicaffeine-lexicon-0.9.9

English vocabulary types and compile-time lexicon lookup for logicaffeine
37 seconds ago
vil_db_dynamodb-0.1.2

VIL Database Plugin — AWS DynamoDB with semantic logging
43 seconds ago
vil_db_cassandra-0.1.2

VIL Database Plugin — Apache Cassandra/ScyllaDB with semantic logging
49 seconds ago
vil_db_neo4j-0.1.2

VIL Database Plugin — Neo4j graph database with semantic logging
53 seconds ago
vil_db_timeseries-0.1.2

VIL Database Plugin — Time-series backends (InfluxDB / TimescaleDB) with semantic logging
one minute ago
logicaffeine-base-0.9.9

Pure structural atoms for logicaffeine - arena, tokens, spans
one minute ago
vil_storage_azure-0.1.2

VIL Storage Plugin — Azure Blob Storage
2 minutes ago
vil_db_mongo-0.1.2

VIL Database Plugin — MongoDB with semantic logging and Tri-Lane bridge
2 minutes ago
vil_db_clickhouse-0.1.2

VIL Database Plugin — ClickHouse OLAP with batch INSERT and semantic logging
2 minutes ago
qwen3-tts-rs-0.2.2

Rust port of Qwen3 TTS - Text-to-Speech model
2 minutes ago
nodedb-0.0.0-beta.1

Local-first, real-time, edge-to-cloud hybrid database for multi-modal workloads
3 minutes ago
vil_storage_gcs-0.1.2

VIL Storage Plugin — Google Cloud Storage
3 minutes ago