Add Kani to tools

[bartMarinissen]

I came across your rather useful list, noticed that a tool I've been playing with is missing.

The tool is called Kani, it's a model-checker for Rust..
It has 1.5k stars, 38 contributiors, and is at least 2 years old, so I believe it meets all the criteria.

• I have not changed the README.md directly.

[bartMarinissen]

I am not sure why the CI fails, it might be because of the attempt at formatting in the description. Alternatively it could be the quotes around the license text (the project is dual licensed Appache 2.0 and MIT).

[mre]

Very nice tool, thanks!

I am not sure why the CI fails

Try to apply my suggestions. With some luck it might work. 🤞

[bartMarinissen]

Thanks for the modifications, sorry I did not get to them. In so far as needed, your changes have my blessing.

For future contributors, a list of which categories and tags are valid (or what files can be used to learn that) might be useful to add to contributing.md. I tried for a little bit and couldn't find such a list.

[mre]

For future contributors, a list of which categories and tags are valid (or what files can be used to learn that) might be useful to add to contributing.md. I tried for a little bit and couldn't find such a list.

I guess we have that. 😄

The CONTRIBUTING.md says:

Please add as many tags as possible. You can choose from the tags in data/tags.yml If a tool does not match any existing tag, feel free to add a new tag but also add it to data/tags.yml.

Not sure if we can make it any clearer. Feedback and contributions welcome.

Thanks for the contribution. 👍