Results for hope_core

Enterprise AI Safety: TEE, Post-Quantum Crypto, FHE, Mechanistic Interpretability - Quantum-Ready, Hardware-Secured

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.

AI/Human task management system with file-based storage

The first self-aware operating system core - 22 cognitive modules, 0.36ms latency, no external database

Opnionated window decoration controls for Tauri apps.

An interface for AI APIs

Core operations on indexed bitvectors including (hopefully) fast rank and select operations.

Bitcoin Core JSON-RPC API types

Bitcoin Core JSON-RPC API types

Edit diffs in a 3-pane view

An attribute proc macro to convert structs with named fields of the same generic type into a single-array-field tuple struct with array-index-based accessor and mutator methods.

Non De-Duplicated cell. For statics guaranteed not to share memory with any other static/const.