Typables and dynamic casting.
Composable, testable and typable side effects for Redux
React.js prop-types wrapper for easy extraction to documentation
Typable event emitter system based on callback functions
Noble base58check. Typed, native, 0-dep port of bs58check module.
A library for string and URL transformations
A library for cleaning AI-generated text by removing or transforming various artifacts and formatting issues
Steel language server
A plugin for making interactive Bevy applications with a TUI instead of a graphical interface.
Umbrella crate re-exporting the hdl-cat workspace
Bit-precise unsigned and signed integer newtypes for hdl-cat
Circom AST + emitter for hdl-cat IR graphs (bit-level, combinational + time-unrolled Mealy machines)
Circuit as symmetric monoidal category built on comp-cat-rs and hdl-cat-ir
Shared Error enum for hdl-cat
Hardware IR: typed wires, gate instructions, free-category embedding
Hardware-describable-type trait (Hw) and type descriptors for hdl-cat
#[kernel] attribute macro for lifting Rust functions into hdl-cat IR
Clock-domain-indexed signal type over comp-cat-rs Stream
Stream-based simulator for hdl-cat Sync machines
TypableMap library inspired by TweetIrcGateway and FacebookIrcGateway
Ruby mixin that facilitates English-like type checking in an inheritance hierarchy via "type_name?" methods