DrNim logo



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

Tutorials / Guides

  • DrNim screenshot

1 Alternatives for DrNim


Nim code formatter / linter / style checker

  • DeprecatedDeprecated
  • DeprecatedNim
  • Deprecatedcli
  • Deprecatedlinter

Our Sponsors

This website is completely open source. To fund our work, we fully rely on sponsors. Thanks to them, we can keep the site free for everybody. Please check out their offers below.

  • Bearer
  • BugProve
  • Pixee
  • CodeScene
  • semgrep
  • Offensive 360