nix-flakes

A collection of nix flakes

Packages

• quint quint-lang.org
• quint-lsp language server for quint
• d2-vim vim plugin for d2lang.com
• nvim-treesitter-context vim plugin for treesitter-context
• roslyn-nvim roslyn lsp for neovim
• victoria-logs a lot aggregator and query server