DrNim logo

DrNim

MaintainedMaintained

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 to DrNim

nimfmt

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
  • CodeScene
  • semgrep
  • Offensive 360