A smart date time parser and formatter for rust
Quick and smart converter of time across time zones
Natural-language calculator for math, units, time zones, dates, fiat, and crypto conversions
AI/Human task management system with file-based storage
Rust bindings for the Listen Notes Podcast API
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.
A fast beancount file formatter with CJK support
Barebones Watch Face for Mynewt on PineTime Smart Watch
An mdBook preprocessor that provides Astro-like content collections with typed frontmatter, validation, and structured content indexing
A Language Server Protocol implementation for Beancount, providing rich editing features like completions, diagnostics, and formatting
Hand-Drawn Watch Face for Mynewt on PineTime Smart Watch
A high-performance, cross-platform file search engine library with REST API
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.