A tool to convert JSON to Prolog
Lojban PEG parser with semantic analysis - integrated camxes parser and tersmu semantic engine
Convert between XML JSON using quickxml and serde
Convert between XML JSON using roxmltree and serde
A Meta-Interpretive Learning framework implementing second-order SLD resolution
A simple, low-level, syntax highlighting library with unicode support
Command-line utility for monitoring GPU hardware. It provides a real-time view of GPU utilization, memory usage, temperature, power consumption, and other metrics.
A fast, modern Rust implementation of cloc (Count Lines of Code)
Core types, traits, and error surfaces shared across XLOG
Relational intermediate representation for XLOG query plans
Command-line interface for deterministic and probabilistic XLOG execution
CUDA kernel provider, buffers, and interop for XLOG