Banish – A declarative DSL for rule-based state machines in Rust
Fixed-point rule evaluation as a procedural macro; compiles to zero-overhead Rust, not a VM.
Firmion is DSL and engine for firmware image generation.
Declarative firmware DSL in Rust with fuzz testing replacing manual linker script hell.
Embedded developers and firmware engineers
objcopy · GNU ld · Yocto
Fixed-point rule evaluation as a procedural macro; compiles to zero-overhead Rust, not a VM.
Semantic typing for AI methods, but LangChain, LlamaIndex, and Anthropic's tools already compose agents.
Rust-native audio graphs without learning SuperCollider or MaxMSP.
Formal Galois laws replace silent truncation bugs in Rust numeric casts.
Yet another CLI test framework; BATS, Aruba, and pytest-shell already solve this.
Yet another resilience library in a space dominated by tower and tokio-retry.