.github bench bin contrib doc example fuzz proof script src tests .dockerignore .gitignore Cargo.lock Cargo.toml IDEOLOGY.md LICENSE.md Makefile README.md king.png rust-toolchain.toml rustfmt.toml