Docs.rs

Recent Releases

issy-0.0.1

An Isabelle-like Boolean frontend for Vav-admitted Rust
4 seconds ago
belle-0.0.1

A bounded implicational fragment for Minerva's Isabelle contact
7 seconds ago
vav-0.1.0

Rust vis-à-vis mathematical liftings and lowerings
9 seconds ago
inferlab-proxy-0.15.1

The built-in serving proxy for Inferlab experiment topologies.
52 seconds ago
ratatui_orzma-0.2.0

Ratatui backend for the orzma in-process webview bridge
one minute ago
velme-sema-0.0.0

Reserved for the Velme programming language (https://github.com/velme-lang/velme).
one minute ago
inferlab-protocol-0.15.1

Wire types for the Inferlab framework-integration protocol: strict, versioned one-shot JSON adapter operations.
one minute ago
inferlab-runtime-0.15.1

Framework-neutral runtime lifecycle mechanics for the InferLab product.
one minute ago
citenexus-core-0.13.1

CiteNexus's Rust engine: extraction (pdf/docx/pptx/xlsx/html/md/csv/txt), any-format→markdown emission, lance store access, lid.176 detection. One core, FFI for all languages (SPEC-PORTS-v1 §3.4).
2 minutes ago
hqe-infra-0.2.0

Infrastructure layer for hq-engine
2 minutes ago
swc_cli_impl-81.0.0

Commandline for SWC (Internal crate with implementation)
3 minutes ago
swc_node_bundler-80.0.0

Speedy web compiler
4 minutes ago
swc_cli-0.126.0

Commandline for SWC
4 minutes ago
swc_html_minifier-62.0.0

HTML minifier
4 minutes ago
swc_ecmascript-73.0.0

Ecmascript
4 minutes ago