Type description for serialize/deserialize request/responce in alice's skills.
A simple timetracker for the command line
Slideshow application for digital picture frames, streaming photos from an Immich server with smooth, GPU‑accelerated rendering on low‑power devices
Playwright CLI for browser automation using CSS selectors.
ASON is a data serialization format that evolved from JSON, featuring strong numeric typing and native support for enumeration types.
HEDL linting and best practices validation
JIS Core - Cryptographic identity where intent comes first. jis: URIs, .aint domains, TIBET provenance.
An implementation of Multiparty Session Types
Cedrus REST API server for Cedar Policy
Session types, as an implementation of linear logic with MIX
Forward/backward rule engine for RDFS, OWL, and SWRL reasoning
Pure Rust CRDT library: Fugue-Maximal list, OR-Set, LWW-Map, PN-Counter, Peritext rich text, Yjs Delta interop, anchor-based cursors, undo/redo, AVL OST for O(log N) ops