1. Dictionary Builder
Real world example to demonstrate advanced techniques to unmarshall very large xml document with very low memory footprint.
2. awesome-rust-formalized-reasoning
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
1-2 of 2 user projects