0
0% upvoted

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

-1

nimfmt

Nim code formatter / linter / style checker

  • DeprecatedDeprecated
  • DeprecatedNim
  • Deprecatedcli
  • Deprecatedlinter
  • 0% upvoted

1 Multi-Language Tools

0

Kimün

Code health metrics from the terminal. Grades a project from A++ to F-- on cognitive complexity, duplication, indentation, Halstead effort and file size, and lists the files to look at first. Separate commands report cyclomatic and cognitive complexity per function, duplicates, code smells and the Maintainability Index. From git history it finds hotspots, code ownership and temporal coupling, and measures which files a diff reaches. A CI gate fails when a changed file gets worse.

  • MaintainedMaintained
  • MaintainedMulti-Language
  • Maintainedcli
  • Maintainedlinter
  • 0% upvoted

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.

  • CodeRabbit