Results for know_more

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.

TensorLogic command-line interface and library for compiling logical expressions to tensor graphs

Compiler for transforming logic expressions into tensor computation graphs

A high-performance graph database with Gremlin-style traversals and GQL query language

SciRS2-powered tensor execution backend for TensorLogic

The KNOW Framework for Rust

The KNOW Framework for Rust

The Know Ontology command-line interface (CLI).

Command line tool for know-thy-shell.info

Simple program to run commands and get notified when they finish

Embedded graph database with Cypher queries — no server, no subscription, no cloud

Schema catalog (labels, properties, rel-types) for SparrowDB