DrNim
DrNim combines the Nim frontend with the Z3 proof engine in order to allow verify / validate software written in Nim.
- from
- Static Analysis & Code Quality
- added
- 2026-10-10
- likes
- 0
similar
-
nimnjs github.com
JSON to nimn bidirectional converter.
-
Neovim github.com
-
jceb/jiejie.nvim github.com
Frontend for Jujutsu in the style of fugitive.
-
ibhagwan/fzf-lua github.com
The Lua version of fzf.vim, high-performance and fully async, supports nvim-web-devicons, Git indicators, LSP, quickfix/location lists and more. Also supports skim as its fzf binary.
-
Julian/lean.nvim github.com
Support for the Lean Theorem Prover.
-
kevinhwang91/rnvimr github.com
A simple yet amazing file explorer.
Static Analysis & Code Quality › Programming Languages: “DrNim combines the Nim frontend with the Z3 proof engine in order to allow verify / validate software written in Nim.”