A tool to auto-generate literal macros for your data structure
Hierarchical Derived keys for LIT Protocol
Self-relative pointer library for region-based allocation
Derive macros for the nearest crate
Declarative Kalman filtering from dynamics expressions. Write the physics, derive the filter.
Provides a `refl` encoding which you can use to provide a proof witness that one type is equivalent (identical) to another type. You can use this to encode a subset of what GADTs allow you to in Haskell.
Support for serialising and deserialising literals directly into enum unit variants
minimal convertion utilities between literal and enum
A memory efficient syntax tree for language developers.
Arena-based recursion schemes: stack-safe folds, unfolds, transforms, and zippers
Convert an [`enum`] to a [`literal`], and try to convert it back
Traits and functions to make writing proc macros more ergonomic.