Cross-platform terminal IDE, file manager and virtual terminal
A fast and safe crate for working with biomedical ontologies.
Core library for Lean-Agentic: hash-consed dependent types with 150x faster equality
REST API bindings for Traduora, an open-source translation management platform
Theory Solvers (EUF, Arithmetic, BitVectors) for OxiZ
Core AST, Sorts, and Traits for OxiZ SMT Solver
Main CDCL(T) Solver API for OxiZ
Prolog8 — byte-capped proof engine for policy, workflow, and agent action admission
Compact, mmap‑friendly on‑disk format for RDF 5‑tuples