!= a RPN calculator using math.js (http://mathjs.org/)
Automated theorem prover for first-order predicate logic with equality based on resolution/paramodulation
Convenience macros for creating domain objects with serde support.
A Rust rewrite of jemdoc, a light text-based markup language for creating static websites.
Strongly Typed ID types macro