Results for ki_format

AXON — the formal cognitive language: a deterministic, proof-carrying AI runtime. Native Rust lexer/parser/type-checker/IR generator (re-exported from axon-frontend) plus the runtime: typed channels (π-calculus mobility, capability extrusion), algebraic effects via Free Monad CPS handlers, lease kernel + reconcile loop, the Epistemic Security Kernel, Trust Types, Proof-Carrying Code (independently verifiable proof objects), and the closed-catalog extension mechanism. Crate publishes as `axon-lang`; library import is `use axon::*` so existing call sites keep working unchanged.

binary modification tool, cut, stitch, replace, sign

A process monitor for Linux

Rust Port of human-format from node, formatting numbers for us, while the machines are still at bay.

Yet another ls(1) implementation

Functions to format numbers as decimal (1000 is 1.0k) and IEC (1024 is 1.0ki) up to YOTTA suffix.

Number Formatter of Fixed Significance with Metric or Binary Prefix

Trainable, modular AI engine in Rust with compile-time knowledge

Format values using the appropriate SI scale: seconds(1.3e-5) -> 13 µs

Single line progress indicator for terminal/console.

Japanese text tokenizer with deinflection support

A human friendly format parser for numeric types