Analysis tools logo

2 Nim Static Analysis Tools

Type:
Any
0

DrNim

  • Type: cli

DrNim combines the Nim frontend with the Z3 proof engine in order to allow verify / validate software written in Nim.

❤️ Sponsor this project

We are currently looking for partners who want to sponsor hosting and development of the project.

Check out our Github Sponsors page here

Missing an entry? Please let us know.