Rust bindings for the Listen Notes Podcast API
Formal verification layer for RuVector: proof-carrying vector operations with sub-microsecond overhead using lean-agentic dependent types
TD Mk Landscape benchmark generator, for use with black-box optimization algorithms.
Production-grade Rust SDK for the Monk Events API with automatic retries, exponential backoff, client-side buffering, and circuit breaking.
Yet another simple task runner 🦀
Type-level heterogeneous lists with compile-time intersection and sorting using typenum.
Tools for doing data management on a match journal, specifally for Hunt Showdown, but it'll work for any sport / game
DTLS 1.2/1.3 implementation (Sans‑IO, Sync)
3D Models for Gl processing
A template language for Rust metaprogramming using partial staging.
High-performance trajectory distance & similarity measures in Rust with Python bindings
A Rust driver for the JSY MK-194 power monitor IC, supporting both synchronous and asynchronous operation modes.