MCP server for Coda.io API - enables AI assistants to read and write Coda documents, tables, and rows
Markdown-defined data that serialize to and from bytes on any platform—from web apps to robots!
The Limitation Game
Pure Rust implementation of the AES-GCM-SIV Misuse-Resistant Authenticated Encryption Cipher (RFC 8452) with optional architecture-specific hardware acceleration
Pure Rust implementation of the AES-GCM-SIV Misuse-Resistant Authenticated Encryption Cipher (RFC 8452) with optional architecture-specific hardware acceleration
iReal Pro chart renderer (SVG skeleton)
Low-latency, high-throughput bounded queues ("data flows") for (a)synchronous and event-driven systems.
AI-driven feature development CLI powered by Claude — analyze, plan, implement, review, and ship
Core execution engine for CODA — orchestrates AI-driven feature development workflows
Prompt template manager for CODA — loads, renders, and manages Jinja2 prompt templates
Lockstitch is an incremental, stateful cryptographic primitive for symmetric-key cryptographic operations in complex protocols.
A rust library to doc Calculus of Construction