A declarative, prefix-notation DSL for formal verification of structured data.
AI/Human task management system with file-based storage
Text alignment library with ANSI escape sequence and Unicode support
Problemo
A compact protobuf-like serializer and deserializer for the Rust Language.
Command line utility for generating sample streams for the Volca Sample
Facade crate and prelude for agentrs
Senior SysAdmin, Network Admin, Data Analyst, and Software Engineer living in your terminal. A high-precision local AI agent harness for LM Studio, Ollama, and other local OpenAI-compatible runtimes that runs 100% on your own silicon. Reads repos, edits files, runs builds, inspects full network state and workstation telemetry, and runs real Python/JS for data analysis.
A collection of utilities for working with Node.js projects from Rust applications
Rocketmq rust error module
The official SDK for Arachnid Shield
AbsurderSQL - SQLite + IndexedDB that's absurdly better than absurd-sql