Statically bounds-checked (machine-word-abstracting? TBD) ranged types as zero or low-runtime overhead abstractions providing safe (no unintentional overflow) arithmetic.
Superego - Metacognitive advisor for Claude Code
HTTP/1.1 Library (HTTP/2 coming soon) using Tokio Project (core, proto, service). Used with https://github.com/lambdastackio/httpd.
High-fidelity time library for applications where sub-nanosecond accuracy and exact arithmetic are needed
Psychology and artificial intelligence for my Hornvale project.
Non-deterministic parser for natural languages (Montague Semantics)
Core types and parsing engine for Montague — Lambek-calculus categorial-grammar parser with subtyping
Unsafe thin wrappers around OS memory locking syscalls (mlock/munlock/madvise)
Mock crate for slog to compile out all logging
A client to manage innernet network interfaces.
A server to coordinate innernet networks.
Library utilities shared between innernet (client) and innernet-server
No description provided.
No description provided.
No description provided.
No description provided.